c++如何区分顶层const和底层const

https://blog.csdn.net/qq_19528953/article/details/50922303

指针实际定义了两个对象，指针本身和它所指的对象。这两个对象都可以用const进行限定

当指针本身被限定时，称指针为顶层const;

当指针所指的对象被限定为常量时，而指针本身未被限定，称指针为底层const

声明时const可以放在类型名前后都行，const int和int const 是等价的。

1.声明指向常量的指针也就是底层const

int a = 1;
const int *pa = &a;//底层const
*pa = 2 是错误的因为底层const是限定了指针所指的对象，你不能改变对象的内容
指针pa指向的内容不是常量，可以通过赋值语句
a = 2是可以的

2.指针常量

代表指针本身，定义时必须初始化，它存储的地址值就不能再改变。声明时const必须放在指针符号*后面 如*const

1 int a = 1;
2 int b = 2;
3 *const int pa = &a;//顶层指针
4 pa = &b;是错误的，常量指针不能改变存储的地址值

那么区分这两个的作用是什么？

1 执行对象拷贝时有限制，常量的底层const不能赋值给非常量的底层const。也就是说，你只要能正确区分顶层const和底层const，你就能避免这样的赋值错误

1 int num_c = 3;
2 const int *p_c = &num_c;  //p_c为底层const的指针
3 //int *p_d = p_c;  //错误，不能将底层const指针赋值给非底层const指针
4 const int *p_d = p_c; //正确，可以将底层const指针复制给底层const指针

2 使用命名的强制类型转换函数const_cast时，需要能够分辨底层const和顶层const，因为const_cast只能改变运算对象的底层const。

1 int num_e = 4;
2 const int *p_e = &num_e;
3 //*p_e = 5;  //错误，不能改变底层const指针指向的内容
4 int *p_f = const_cast<int *>(p_e);  //正确，const_cast可以改变运算对象的底层const。但是使用时一定要知道num_e不是const的类型。
5 *p_f = 5;  //正确，非顶层const指针可以改变指向的内容
6 cout << num_e;  //输出5

举例子

1 const int a = 1;  
2 //int * pi = &a;  //错误，&a是底层const，不能赋值给非底层const 
3 const int * pi = &a; //正确，&a是底层const，可以赋值给底层const
4 const int *const *const ppi = &pi  //即是底层const，也是顶层const
5 const int  *const *const *pppi = &ppi; //底层const