C++ const关键字（四）：顶层const和底层const

马谦马谦马谦

613
文章

17
评论

2018年1月6日22:55:43

评论 468字阅读1分33秒

经常我们都会被“常量是指针还是指针所指向的对象”这个问题所困扰。

因为在使用const修饰指针时，指针的属性有三种状态：const int *,int * const, const int * const，这三个状态很容易混淆。

通常，我们用名词顶层const表示指针本身是个常量，名词底层const表示指针所指向的对象是一个常量。

例如：

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 *

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 i = 0;
const int * p1 = &i;
int *x = p1; // 错误，*x不具备底层const资格
const int *x2 = p1; // 正确，具备底层const资格
const int *x3 = &i;  // 正确，&i是int *，可以转成const int *

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在拷贝时可以被忽略：

int i = 0;
int * const p1 = &i;  //顶层const
int *x = p1;  // 正确，可以忽略p1的顶层const
int n = *p1;  // 正确

int i = 0;

int * const p1 = &i; //顶层const

int *x = p1; // 正确，可以忽略p1的顶层const

int n = *p1; // 正确

但是对于底层const的限制却不能忽略，拷贝底层const对象只有当两个对象都具备相同的底层const资格才能拷贝。

或者两者的数据类型能够进行转换，如非const可以转成const。

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;  // 正确