编译阶段遇到对const常量的引用时,编译器直接查找符号表,用符号表中的值进行替换。而为了让别的单元对这个常量进行引用,必须提供这个常量的地址,所以要分配内存。由于提供了地址,出于对const常量的保护,即使指向该地址的指针改变了该内存单元的值,const常量的值不变(遇到对该变量的引用,用符号表值替换)。所以在运行阶段,const常量所在地址的内存内容可以发生改变,而const常量的值始终保持不变。
通常C++编译器并不为const变量创建存储空间,相反他把这个定义保存在他的符号表里,对这个变量的引用将用符号表中的值进行替换。但是以下两种情况将导致 为const分配内存:
①使用extern:因为const仅在const被定义定义过的文件里才是可见的,而在连接时不能被其他编译单元看到(内部连接)。当定义一个const时,必须赋一个值给它, 除非用extern作出了清楚的说明:extern const int a;
由于extern意味着使用外部连接,因此必须分配存储空间,只有这样其他的编译单元才能引用它。通常情况下, 当extern不是定义的一部分时,不会分配存储空间(如,普通变量的声明)。如果使用const,那么编译的时候会进行常量折叠。
②对一个const变量取地址的时候,也要进行存储空间分配。
#include <iostream>
#include <string>
using namespace std;
int main(){
const int ci = 1;
int *p = const_cast<int *>(&ci);
*p = 10;
cout << *p << endl;
cout << ci << endl;
return 0;
}
结果如下: