如前所述,指针本身是一个对象,它又可以指向另外一个对象。因此,指针本身是不是常量以及指针所指的是不是一个常量就是两个独立的问题。用名字顶层const(top-level const)表示指针本身是个常量,用名词底层const(low-level const)表示指针所指的对象是一个常量。
更一般的,顶层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 const int &r = ci; //用于声明引用的是都是底层const