C++的顶层const和底层const / const_cast

顶层const和底层const

• 顶层const(top-level const)：指针本身是const，不可修改指针的值（指针不能再指向别的地址）,即该指针为指向int类型的const指针, 请参考下面的例子:

int a=1;
int b=2;
int * const p=&a;
p=&b; //错误，指针是const，不能修改
*p=b; //正确，指针指向的值不是const可以修改

• 底层const(low-level const)：指针指向的对象是const，不可修改指针指向的值，即该指针为指向const int类型的指针, 需要注意的是const int指针也可以指向非const的int对象，但在指针看来是const int，不能修改。

参考下面的例子

const int *p=&a;
p=&b; //正确
*p=b; //错误
a=b;  //正确

一个指针可以既具有顶层const又具有底层const:

const int * const p=&a;

该指针为指向const int类型的const指针

---

const_cast

const_cast关键字用于指针或引用, 只能去除底层const, 即把一个指向const int类型的指针改成指向int类型的指针,不能将指针的const属性(顶层const)去除, 也不能将指向的对象的const属性去除

其应用场景是：一个const int指针或引用指向了一个非const的int对象，使用const_cast去除指针或引用的底层const以便对其进行修改，如下面的pa指针即是正确的使用

int a=1;
const int b=2;
int c=3;

const int *p1=&a;
const int *p2=&b; 

int *pa=const_cast<int*>(p1);
int *pb=const_cast<int*>(p2);

*pa=c; //正确，现在pa为指向int类型的指针且a不是const
*pb=c; //错误，const_cast不能去除b的const属性，属于未定义行为