今天刚学到,以此为记。
先看一个例子:
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++){
......
}