c++++中const关键字的位置不同会影响指针或变量的常量性质。1. const int p 或 int const p 表示指向常量的指针,数据不可修改但指针可变;2. int const p 表示常量指针,指针不可变但数据可修改;3. const int const p 表示指针和数据均不可变。数组使用const时如const int arr[],元素为只读,传给指针需匹配底层const,如const int p = arr。顶层const如const int a或int const p,表示对象本身是常量,拷贝时被忽略;底层const如const int *p或const int &r,表示所指或所引用的对象是常量,赋值时必须匹配。理解这些区别有助于编写更安全、清晰的代码。
在C++中,
const
关键字用来定义常量,但它的位置不同会导致含义大相径庭,尤其是在处理数组和指针时。理解这些差异能帮助我们写出更安全、清晰的代码。
const
const
修饰指针的不同写法
指针本身可以指向常量,也可以是常量指针,这取决于
const
的位置:
-
指向常量的指针:
const int *p;
或
int const *p;
表示
p
指向的数据不能通过
p
来修改,但指针本身可以改变指向。
-
常量指针:
int * const p;
表示
p
一旦初始化后就不能再指向其他地方,但可以通过
p
修改它所指向的数据。
-
指向常量的常量指针:
const int * const p;
指针和它指向的内容都不能被修改。
举个例子:
int a = 10, b = 20; const int *p1 = &a; p1 = &b; // 合法,可以改变指向 // *p1 = 30; // 错误,不能修改指向的内容 int * const p2 = &a; *p2 = 30; // 合法,可以修改内容 // p2 = &b; // 错误,不能改变指向 const int * const p3 = &a; // *p3 = 30; // 错误 // p3 = &b; // 错误
const
const
修饰数组的表现形式
数组本身不能直接作为常量存在(因为数组名不是变量),但我们经常用
const
数组来限制元素不可修改。
例如:
const int arr[] = {1, 2, 3}; // arr[0] = 10; // 错误,arr的元素是只读的
这里的关键点是:数组中的每个元素都是
const int
类型,因此不能修改它们的值。但如果你把数组名传给一个指针,要注意指针本身的
const
属性是否匹配。
比如下面这个写法会报错:
int *p = arr; // 错误!arr是const int[],p是非const指针
应该改为:
const int *p = arr; // 正确
顶层const与底层const的区别
这是理解
const
行为的关键概念。
-
顶层const(top-level const):表示对象本身是一个常量,比如基本类型、类类型或指针变量本身是const。
const int a = 5; // a是顶层const int * const p; // p是指针类型的顶层const
-
底层const(low-level const):表示指针指向的对象是常量,或者引用绑定的对象是常量。
const int *p; // p指向的是const int,属于底层const const int &r = a; // r是对const int的引用,也是底层const
两者的主要区别在于传递和赋值时的行为。顶层const在拷贝初始化时会被忽略,而底层const必须匹配。
例如:
int i = 0; const int ci = i; int j = ci; // 合法,ci是顶层const,不影响赋值 const int *pc = &ci; // int *p = pc; // 错误,pc是底层const,不能赋给非const指针
小结一下常见误区
有时候我们会误以为
const
放在前面就一定是“常量指针”,其实要看具体上下文:
-
const T *
:指向常量的指针(底层const)
-
T const *
:等价于上面
-
T * const
:常量指针(顶层const)
另外,当我们在函数参数中使用指针或数组时,加上
const
可以帮助防止意外修改原始数据。
基本上就这些。理解清楚
const
的位置和作用,才能写出更健壮的C++代码。
评论(已关闭)
评论已关闭