顶层const:指针本身是一个常量
底层const:指针所指对象是一个常量
- 顶层const可以表示任意的对象是常量,这一点对任何数据类型都适用,如算术类型、类、指针等
- 底层const则与指针和引用等复合型的基本类型部分有关
指针类型既可以是顶层const也可以是底层const,这一点和其他类型相比区别明显:
int i = ;
int *const p1 = &i;//不能改变p1的值,顶层const
const int ci = ;//不能改变ci的值,顶层const
const int *p2 = &ci;//允许改变p2的值,这是一个底层const
const int *const p3 = p2;//靠右的const是顶层const,靠左的是底层const
const int &r = ci;//用于声明引用的const都是底层const
当执行对象的拷贝操作时,顶层对象不受影响:
i = ci;//正确:拷贝ci的值,ci是一个顶层const,对此操作毫无影响
p2 = p3;//正确:p2和p3指向的对象类型相同,p3顶层const的部分不影响
当执行拷贝操作时,拷入和拷出的对象必须具有相同的底层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上
p3即是一个顶层const也是底层const,拷贝p3可以不在乎它是一个顶层const,但是必须清楚它指向的对象也是一个常量,因此不能用p3去初始化p,因为p指向是一个普通的(非常量)整数。
p3的值可以赋给p2,因为两个指针都是底层const。尽管p3也是一个常量指针,仅就这次赋值而言不会由什么影响。