通过教材我们知道,const常量在定义时必须初始化,且初始化之后不能再修改,例如 ,const PI = 3.14; PI = 3.1415;将会编译错误。
但其实可以通过强大的指针来修改常量
#include<iostream>
using namespace std;
int main()
{
const int a = 1;
int *p = (int *)&a;
*p = 2;
cout<<"*q="<<*p<<",a="<<a<<endl;
return 0;
}
可以看见a的内存地址指向的内容(*p)已经修改为2,也就是说a已经被修改为2了,但实际输出的a仍然是初始化的1(看看常量折叠),这可能是因为const类似C中的宏定义define a 1,在程序中遇到的a直接简单粗暴地替换为1,而并没有由地址从内存中取真正的数2。这与编译过程有关,有好友在实验时去除编译的第四阶段代码优化后发现a的值已经为2了。
因此,可以通过指针修改常量,尽管编译器代码优化后处理仍简单处理a为1, 这符合常量“不可修改”的表面定义,为了减少访存次数,减少时间开销,毕竟修改常量肯定是非法操作。