C++顶层const和底层const

顶层const表示对象本身是一个常量
底层const表示不能通过指针或引用改变所指向的对象

例如

1
2
3
4
5
6
7
const int a = 42; //顶层const，不能改变a的值，int只能有顶层const
//--------------------------指针------------------------------
int b = 12;
const int* b1 = &b; //底层const，不能通过b1改变a的值
int* const b2 = &b; //顶层const，b2的值本身不能改变，即不能指向其他对象
//--------------------------引用------------------------------
const int& c = a; //底层const，不能通过引用改变a的值，用于声明引用的const都是底层const

第一个要注意的是

1
2
3
4
5
6
//对于一个常量只能用指向const的指针指向它
int* b3 = &a; //错误
//对于一个常量也只能进行常量引用
int& c2 = 3; //错误
int& c2 = 3 * b; //错误

第二个要注意的是

1
2
3
4
5
6
7
8
9
//顶层const在声明是必须初始化
const int a；//错误
int* const b2; //错误
const int* b1;
b1 = &b; //可以
//当然引用在声明是也必须初始化
const int& c; // 错误