经常我们都会被 「常量是指针还是指针所指向的对象」 这个问题所困扰。
因为在使用 const
修饰指针时,指针的属性有三种状态:const int *
,int * const
, const int * const
,这三个状态很容易混淆。
通常,我们用名词顶层 const
表示指针本身是个常量,名词底层 const
表示指针所指向的对象是一个常量。
例如:
1 2 3 4 5 |
int i = 0; const int * p1 = &i; int *x = p1; // 错误,*x 不具备底层 const 资格 const int *x2 = p1; // 正确,具备底层 const 资格 const int *x3 = &i; // 正确,&i 是 int *,可以转成 const int * |
对于其他类型的常量,都是顶层 const
,例如:
1 2 3 4 5 |
int i = 0; const int * p1 = &i; int *x = p1; // 错误,*x 不具备底层 const 资格 const int *x2 = p1; // 正确,具备底层 const 资格 const int *x3 = &i; // 正确,&i 是 int *,可以转成 const int * |
在对象之间进行拷贝和赋值操作时,对象是顶层 const 还是底层 const 这个属性很重要。
一般情况下,顶层 const 在拷贝时可以被忽略:
1 2 3 4 |
int i = 0; int * const p1 = &i; //顶层 const int *x = p1; // 正确,可以忽略 p1 的顶层 const int n = *p1; // 正确 |
但是对于底层 const 的限制却不能忽略,拷贝底层 const 对象只有当两个对象都具备相同的底层 const 资格才能拷贝。
或者两者的数据类型能够进行转换,如非 const 可以转成 const 。
1 2 3 4 5 6 |
int i = 0; const int * p1 = &i; int *x = p1; // 错误,*x 不具备底层 const 资格 const int *x2 = p1; // 正确,具备底层 const 资格 const int *x3 = &i; // 正确,&i 是 int *,可以转成 const int * const int &r = i; // 正确 |
评论