顶层const(top-level const)
顶层 const 可以表示任意的对象是常量。这一点对任何数据类型都适用,如算术类型、类、指针等。
int i = 0;
int *const p1 = &i; // 若对象为指针,则靠右的 const 是顶层 const
// p1 是常量指针,不能修改它本身的值(即初始化之后,它不能再指向其他对象),但可以通过它修改对象 i 的值
const int ci = 42; // 除了指针和引用之外的其他类型, const 只能写在左边,并且是顶层 const。
底层const(low-level const)
任何常量引用都是底层const。对于指针来说,靠左的 const 是底层const。
const int *p2 = &ci; // 底层const,允许改变p2的值,
// 即p2可以指向其他常量或变量,但是不能通过p2修改ci的值。
// p2可以绑定到一个普通int上,也可以绑定到一个const int上
const int *const p3 = p2; // 靠右的是顶层 const,靠左的是底层 const
// 它包含顶层和底层const的特性,它可以绑定到顶层或底层const指针上,也可以绑定到一个普通指针上
const int &r = ci; // 用于声明引用的 const 都是底层 const
// const int & 可以绑定到一个普通int上,也可以绑定到一个const int上
// 但不能修改 const int & 的值