指针是一个对象,占据内存空间,而指针本身可以指向另一个对象,这就导致指针是常量和指针指向的对象是常量是两个不同的概念。而名词顶层const指代指针是一个常量,名词底层const指代指针指向的对象是一个常量。
更一般的说,顶层const可以用来指定其他更普通的数据类型,而底层const只在复合的数据类型的时候出现,比如指针和引用。就像是复合函数,里层的函数和外层的函数的定义域是不一样的。
int i = 0;
int *const p1 = &i;//不能改变p1的值,这是一个顶层const
const int ci = 42;//不能改变ci的值,这是一个顶层const
const int *p2 = &ci;//允许改变p2的值,这是一个底层const
const int *const p3 = p2;//靠右的const是顶层const,靠左的是底层const
const int &r = ci;//用于声明引用的const都是底层const
值得注意的是,顶层const和底层const进行拷贝操作时有所不同。总的来说,顶层const常量一般不受影响,而底层const必须是拷入和拷出的对象必须具有相同的底层const,或者能够进行数据转换,常常是非常量可以转换成常量。
i = ci;//正确:拷贝ci的值,ci是一个顶层const,对此操作无影响
p2 = p3;//正确:p2和p3指向的对象类型相同,p3顶层const的部分不影响
int *p = p3;//错误:p3包含底层const的定义,而p没有
p2 = p3;//正确:p2和p3都是底层const
p2 = &i;//正确:int*能转换成const int*
int &r = ci;//错误:普通的int&不能绑定到int常量上
const int &r2 = i;//正确:const int&可以绑定到一个普通int上