常量指针 & 指针常量

常量指针

常量指针，即指向常量的指针(make a pointer point to a contant object)，即pointer-to-const。

指针指向的值是常量，因此指针指向的值不可以通过指针修改，如(*pa) ，*pa = &b或cin >> *pa都是不允许的。但其指向的值可以通过其他方式修改，比如直接修改a的值，或者修改指针的指向pa = &b;

例子：

int a = 12;
int b = 23;
const int* pa = &a;  // 指向a的常量指针
cout << "before, *pa = " << *pa << ", pa = " << pa << endl;  // before, *pa = 12, pa = 012FFE88
// 7-10行每次只运行其中一行
(*pa)  ;  // 编译错误，不能给常量赋值
*pa  ;	  // after, *pa = -858993460, pa = 012FFE92，这是因为操作符优先级，这种写法等同于*(pa  )，为了避免语义不清或错误不建议这样写
a = 11;   // after, *pa = 11, pa = 012FFE88
pa = &b;  // after, *pa = 23, pa = 00F5FCB4
cout << "after, *pa = " << *pa << ", pa = " << pa << endl;

指针常量(const pointer)

指针常量(const pointer)，指针本身是常量，即指针的指向不可被修改。

其实很容易理解，指针中保存的是地址，该指针为常量则该指针的内容不可被修改，即这个地址是不能被修改的，但这个地址中的内容是可以被修改的。

例子：

int a = 12;
int b = 23；
int* const pb = &b;  // 指针本身是常量
cout << "before, *pb = " << *pb << ", pb = " << pb << endl;  // before, *pb = 23, pb = 00F5FCB4
pb = &a;  // 编译错误，不能给常量赋值
*pb = a;  // after, *pb = 12, pb = 00F5FCB4
cout << "after, *pb = " << *pb << ", pb = " << pb << endl;

指向常量的指针常量

const float g_earth = 9.80;
const float* const pe = &g_earth;  // g_earth不可修改，也无法通过pe修改g_earth的值，pe也不能指向其他地址

这里的pe和*pe都是const。

普通指针可以指向常量吗？

不行!

例子：

const float g_earth = 9.80;
float* p = &g_earth;		 // 编译错误

假设C 允许这种方式，那么就可以通过*p来修改常量g_earth的值，C 不允许这种行为，因此指向常量的指针必须为常量指针。

但我就想让p指向g_earth，真的就没办法了吗？

可以用<const_cast>。

const float g_earth = 9.80;
float* p = const_cast<float*>(&g_earth);

常量指针可以指向非常量吗？

只有指向的非常量不是指针才可以。

例子：

const int** pp2;
int* p1;
const int n = 13;
pp2 = &p1;	// 编译错误
*pp2 = &n;
*p1 = 10;

假设pp2 = &p1是被允许的，那么*pp2 = &n则会将p1指向n，那么就可以通过p1来修改const int n的值。

小结

常量指针(pointer-to-const)可以指向常量(const data)或非常量(non-const data)，但被指向的数据不能是指针；

而普通指针(non-const pointer)只能指向非常量(non-const data)。

int a = 3;
const int* p1 = &a;  // a pointer to const int
int* const p2 = &a;  // a const pointer to int