C++ const与指针，以及顶层const和底层const

const与指针的组合，可能会稍微有点令人困扰。

 

const的作用是限定一个对象为常量，在定义const 对象后, 对象的值在程序中将不能被改变。

指针*是一种对象（用来存储其他对象的内存地址），它可以指向另外一个对象。

 

如果const与指针组合起来，const是限定指针对象，还是限定指针指向的对象呢？

 

在primer C++ 中提到，const在*左边，则限定指针指向变量为常量，const在*右边，则限定指针变量为常量。

即：

int val1 = 0;
int val2 = 1;
const int * p  = &val1;//p可变，*p为常量，不可变。
//int const * p = &val1;同上
p = &val2;//可行
*p = 2;//不可行

int * const p = &val1;//p为常量，不可变，*p可变。
p = &val2;//不可行
*p = 2;//可行

在不熟练之前，我的记忆方法如下，不过可能不适合大家。

由于*p是解引用，即是返回内存地址中对应的对象

对于const int *p ，可以将其看做const+ * p， 即限定解引用后的变量为常量。

对于int * const p, 则可以看成(int *)  + const   p,  即p是类型为int型指针的常量。

 

对于 const int *p 的情况，指针对象为变量， 指针指向对象为常量的情况，则称为底层const。

对于 int* const p 的情况， 指针对象为常量，指针指向对象为变量的情况，则称为顶层const。