c++顶层const与底层const

变量和基本类型

c++顶层const与底层const

从 const 指针开始说起。

const int* pInt;
nt *const pInt = &someInt;

前者是 *pInt 不能改变，而后者是 pInt 不能改变。因此指针本身是不是常量和指针所指向的对象是不是常量就是两个互相独立的问题。用顶层表示指针本身是个常量，底层表示指针所指向的对象是个常量。

更一般的，顶层 const 可以表示任意的对象是常量，这一点对任何数据类型都适用；底层 const 则与指针和引用等复合类型有关，比较特殊的是，指针类型既可以是顶层 const 也可以是底层 const 或者二者兼备。

定义

底层const是代表对象本身是一个常量（不可改变）；

顶层const是代表指针的值是一个常量,而指针的值(即对象的地址)的内容可以改变（指向的不可改变）；

例子

 #include <iostream>
 2 
 3 int main()
 4 {
 5     int i=0;
 6     int* const p1=&i;   //-----不能改变p1的值，这是一个顶层const
 7     const int b=i;      //-----不能改变b的值，这是一个顶层const（一般变量前const都是顶层const）
 8     const int* p2=&b;   //-----可以改变p2的值，这是一个底层const（对象是个const，所以可以底层指向顶层）
 9     const int*const p3=p2; //--靠右边的是顶层const，靠左的事底层const；
10     const int& some=i;   //--- 用于声明引用的，都是底层const；
11 }

拷贝与顶层和底层 const

int i = 0;
int *const p1 = &i;     //  不能改变 p1 的值，这是一个顶层
const int ci = 42;      //  不能改变 ci 的值，这是一个顶层
const int *p2 = &ci;    //  允许改变 p2 的值，这是一个底层
const int *const p3 = p2;   //  靠右的 const 是顶层 const，靠左的是底层 const
const int &r = ci;      //  所有的引用本身都是顶层 const，因为引用一旦初始化就不能再改为其他对象的引用，这里用于声明引用的 const 都是底层 const

当执行对象的拷贝操作时，常量是顶层const还是底层const的区别明显。其中，顶层 const 不受什么影响。

i = ci;     //  正确：拷贝 ci 的值给 i，ci 是一个顶层 const，对此操作无影响。
p2 = p3;    //  正确：p2 和 p3 指向的对象相同，p3 顶层 const 的部分不影响。

与此相对的，底层 const 的限制却不能被忽视。当执行对象的拷贝操作时，拷入和拷出的对象必须具有相同的底层 const 资格，或者两个对象的数据类型必须能够转换，一般来说，非常量可以转化为常量，反之不行。

int *p = p3;    //  错误：p3 包含底层 const 的定义，而p没有。假设成功，p 就可以改变 p3 指向的对象的值。
p2 = p3;            //  正确：p2 和 p3 都是底层 const
p2 = &i;            //  正确：int* 能够转化为 const int*，这也是形参是底层const的函数形参传递外部非 const 指针的基础。
int &r = ci;    //  错误：普通 int& 不能绑定到 int 常量中。
const int &r2 = i;  //  正确：const int& 可以绑定到一个普通 int 上。