读c语言深度剖析 -- 闲谈const(3)

const 常量折叠




现象及原因解释如下
const int i = 3;
int * p = (int*)&i; //让p指向与i相同的内存空间
(*p)++; // 本应该 i 的值也改变，实际却没有,这就是常量折叠.
"常量折叠"就是在编译器进行语法分析的时候，将常量表达式计算求值,并用求得的值来替换表达式，放入常量表。可以算作一种编译优化。
在这里只是改了这个地址的内容,但是 i 还是3,
因为编译器在优化的过程中，会把碰见的const全部以内容替换掉 （跟宏很像: #define PI 3.1415926,用到PI时就用3.1415926代替）
这个出现在预编译阶段；但是在运行阶段，它的内存里的东西确实改变了、、、
编译器会为常量分配地址,但是在使用常量的时,常量会被一立即数替换
这么做的原因是出于对const数据的保护, 防止被破坏性修改, 这个例子也再一次说明指针的灵活性, 大家使用时一点要注意.

常量折叠，就是类似于c语言中的宏定义。
#define X 5
那么程序中任何出现X的地方都用5代替，X是不需要存储空间的，这叫宏展开。

对于c++中
const int X = 5;
那么，如果没对X取地址或其他用到X存储空间相关的操作，那么X是不分配储存空间的，
编译期间直接进行常量折叠，把程序中的X均用5代替。
常量折叠 分为可以常量折叠的常量和不可以常量折叠的常量
例如
const int a = 8;
cout < < a < < endl;
经过编译器扫描后，变为：
cout < < 8 < < endl;

常量一般分为两种：可以常量折叠的常量和不可以常量折叠的常量。下面具个不可以常量折叠的常量的例子：
int test(){ return 8; }
const int a = test();//常量a不可以常量折叠
cout < < a < < endl;//由于a不可以常量折叠，所以经过编译器扫描之后仍然是“cout < < a < < endl;”
切记。