C++中的顶层const和底层const

顶层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上