常量指针 & 指针常量
常量指针
常量指针 ,即指向常量的指针(make a pointer point to a contant object),即pointer-to-const。
指针指向的值是常量,因此指针指向的值不可以通过指针修改,如(*pa)++
,*pa = &b
或cin >> *pa
都是不允许的。但其指向的值可以通过其他方式修改,比如直接修改a的值,或者修改指针的指向pa = &b
;
例子:
C++
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),指针本身是常量,即指针的指向不可被修改。
其实很容易理解,指针中保存的是地址,该指针为常量则该指针的内容不可被修改,即这个地址是不能被修改的,但这个地址中的内容是可以被修改的。
例子:
C++
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;
指向常量的指针常量
C++
const float g_earth = 9.80;
const float* const pe = &g_earth; // g_earth不可修改,也无法通过pe修改g_earth的值,pe也不能指向其他地址
这里的pe
和*pe
都是const。
普通指针可以指向常量吗?
不行!
例子:
C++
const float g_earth = 9.80;
float* p = &g_earth; // 编译错误
假设C++允许这种方式,那么就可以通过*p
来修改常量g_earth
的值,C++不允许这种行为,因此指向常量的指针必须为常量指针。
但我就想让p
指向g_earth
,真的就没办法了吗?
可以用<const_cast>
。
C++
const float g_earth = 9.80;
float* p = const_cast<float*>(&g_earth);
常量指针可以指向非常量吗?
只有指向的非常量不是指针才可以。
例子:
C++
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)。
C++
int a = 3;
const int* p1 = &a; // a pointer to const int
int* const p2 = &a; // a const pointer to int