C++：const限定符

const限定符

• const对象一旦创建后其值就不能再改变，所以const对象必须初始化。

const int i=get_size(); //正确：运行时初始化
const int j=42;         //正确：编译时初始化
const int k;            //错误：未初始化

• const对象的常量特征仅仅在执行改变其值的操作时才会发挥作用。

int i=42;
const int ci=i;   //正确
int j=ci;         //正确
ci=20;            //错误：const对象的值不可改变

顶层const/底层const

• 顶层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 int &r=ci;   //用于声明引用的const都是底层const

• 当执行对象的拷贝操作时，常量是顶层const还是底层const区别明显。其中顶层const不受什么影响，但底层const的限制不能忽略，当执行对象的拷贝操作时，拷入和拷出的对象必须具有相同的底层const资格，或者两个对象的数据类型必须能够转换。一般来说非常量可以转换成常量，反之则不行。

int *p=p3; //错误 p3包含底层const的定义，而p没有//顶层const可忽略//常量不能转换成非常量
p2=&i; //正确 int*能转换成const int*