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

马谦马谦马谦

615
文章

17
评论

2018 年 1 月 6 日 22:55:43C/C++评论258字数 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;  // 正确