指针本身是一个对象,它又可以指向另一个对象,因此,指针是不是常量以及指针所指的对象是不是一个常量是两个独立的问题。顶层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