顶层const
顶层const是指指针本身是一个常量;更一般的,它可以指任何数据类型的对象是一个常量,如算术类型、指针等。
底层const
底层const是指指针指向一个常量对象;它一般与复合类型如指针和、引用等有关。
用以声明引用的const都是底层const。
执行对象的拷贝操作时,两者的区分
当执行对象的拷贝操作时,常量是顶层const还是底层const需要做区分。
-
顶层const不受什么影响。两个指针之间赋值,只要指向的对象类型相同即可。
因为拷贝操作并不会改变被拷贝对象的值,所以被拷贝对象即使是一个顶层const不受影响
int i = 0;
const int ci = 42;
const int *p2 = &ci;
i = ci;//正确,拷贝ci的值,ci是个顶层const不受影响
//p3既是顶层const,又是底层const
const int *const p3 = p2; //正确,p2和p3指向的对象类型相同,p3顶层const的部分不受影响
- 底层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上