常量叠算(Constant folding),还是叫常量合并更合适点，呵呵

今天刚学到，以此为记。

先看一个例子：

const int c=111;
int& r=const_cast<int&>(c);
int* p=const_cast<int*>(&c);
cout<<"const [<<&c<<"]"<<c<<endl;
cout<<"refer [<<&r<<"]"<<r<<endl;
cout<<"point [<<p<<"]"<<*p<<endl;
r=222;

cout<<"after:"<<endl;
cout<<"const [<<&c<<"]"<<c<<endl;
cout<<"refer [<<&r<<"]"<<r<<endl;
cout<<"point [<<p<<"]"<<*p<<endl;

 答案如下：

const [0xbfff5614]111
refer [0xbfff5614]111
point [0xbfff5614]111
after:
const [0xbfff5614]111
refer [0xbfff5614]222
point [0xbfff5614]222

常量叠算(Constant   folding)是一个编译器的优化技巧, 指在编译时就对常量表达式进行预求值。 

比如上面小懒虫虫说的const int c = 1；常量折叠并不对a分配存储空间，而是把c = 1；保存到符号表里，

在用到c时，会根据符号表把c替换成1。想要不进行常量折叠，加extern就行了，即extern const int c = 1；不过c没有定义的话，加了extern也不能分配存储空间，还是要进行所谓的常量折叠。

如果整个程序中没有用到常量的地址的话,那么很有可能编译器不会为该常量分配空间。

比如表达式  array[ MAXSIZE + 1]   //#define   MAXSIZE 10    

在编译之后便被当作   array[11]，这样有利于提高运行时性能并减少目标代码尺寸。   

这种优化通常仅适用于内置的数值，布尔类型。

 

所以上面的代码实际上变成了

const int c=111;
int& r=const_cast<int&>(c);

cout<<"const [<<&c<<"]"<<111<<endl;
cout<<"refer [<<&r<<"]"<<r<<endl;
cout<<"point [<<p<<"]"<<*p<<endl;
r=222;
cout<<"after:"<<endl;
cout<<"const [<<&c<<"]"<<111<<endl;
cout<<"refer [<<&r<<"]"<<r<<endl;
cout<<"point [<<p<<"]"<<*p<<endl;

 

像这种表达式也在合并范围之内

for(int   i=0;i<100*200*300;i++){   
      ......   
}