如下代码片段中声明const变量ci并初始化为1,原则上其值是无法被修改的。但是如下的代码对const变量的内容进行了修改
int main(){
const int ci = 1;
int *pci = (int *)(&ci);
*pci = 2;
cout<<"ci = "<<ci<<endl;
cout<<"*pci = "<<*pci<<endl;
return 0;
}
执行结果如下:
很诡异的结果:首先常量ci是不应该被修改的,但是却成功修改了,而且没有报错;其次是被修改后其值竟然没有变,也就是ci *pci的值竟然不同。
对于第一个问题,属于是机制问题:
因为是强制类型转换,所以编译器认定这种转换是合法的,于是就不会报错而且也去掉了对象的常量属性,那么转换后对其进行写操作也就变成了合法操作了。
第二个问题属于是编译器的优化问题:
编译器在进行优化的时候对代码进行了等价替换,将常量ci直接作为常量1进行了push .于是汇编代码和实际的C++代码是有差别的。
C++Primer第54页,56页,编译器找到所有常量ci的地方都使用1进行了替换。因为默认该值在后边是不会被修改的。如果不想让编译器直接push常量,那么可以在const前面添加volatile关键字,强制进行内存访问。强制内存访问保证了编译器不会对这种常量数据进行优化,这样内存中存储的数据与实际显示的数据就是一样的了