关于const的一个问题

下面的一段代码：

#include <iostream>

using namespace std;

int main(int argc,char*argv[])

{

const int a=1;

int*p = (int*)&a;

cout <<"source:a="
<<a <<"
" <<"&a="
<<&a
<<endl;

cout
<<"source:*p="
<<*p
<<" "
<<"p="
<<p
<<endl;

(*p)++;

cout <<"modify:a="
<<a <<"
" <<"&a="
<<&a
<<endl;

cout
<<"modify:*p="
<<*p
<<" "
<<"p="
<<p
<<endl;

return 0;

}

运行以后的结果如下：

source:a=1 &a=0012FF7C

source:*p=1 p=0012FF7C

modify:a=1 &a=0012FF7C

modify:*p=2 p=0012FF7C

Press any key to continue

有一点很奇怪，就是同时一块内存地址0012FF7C，为什么用a读取的时候就是1，但是用*p读取的时候怎么就变成了2呢？

这个是编译器优化的一个常量折叠，也就是说编译器在看到a的时候直接用1来替换，而不是去读取它的内存地址的值，事实上，0012FF7C这块内存地址的值在执行完（*p）++以后已经变成2了。