顶层const

顶层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也是一个常量指针，仅就这次赋值而言不会由什么影响。