关于常量折叠(转)

首先来看一个例子：


int main(int argc, char* argv[])
{
const int i=0;
int *j = (int *) &i;
*j=1;
cout<<&i<<endlcout<<j<<endl;
cout<<i<<endl;
cout<<*j<<endl;
return 0;
}


结果是


0012ff7c
0012ff7c


0


1


因为i和j都指向相同的内存地址，所以输出的前两个结果是相同的，但为啥相同的内存里的结果不相同么？－－这就是常量折叠.


这个"常量折叠"是 就是在编译器进行语法分析的时候，将常量表达式计算求值，并用求得的值来替换表达式，放入常量表。可以算作一种编译优化。
我只是改了这个地址内容,但是i还是0,


因为编译器在优化的过程中，会把碰见的const全部以内容替换掉（跟宏似的: #define pi 3.1415,用到pi时就用3.1415代替），这个出现在预编译阶段；但是在运行阶段，它的内存里存的东西确实改变了!!!


6.网上的一些问题（4）




关于常量


这些天被常量的一些概念折磨着,现在终于有些明白了，


问题始于const int i = 10;//i存在哪，10存在哪


说明一：符号表


这个语句是对i的声明，因为编译器一开始就知道i的值，所以以后出现i时就会用10代替，这好像叫做符号表的概念，i就对应10了。


网上一篇帖子上有这样的代码：


const int a = 3;


int *p = const_cast<int *>(&a);


*p = 4;


cout << a;//仍然输出3


这个结果可以用上面的说明来解释


说明二：常量折叠（const folding）与复写传播 (copy propagation)


网上人们普遍反映thinking in c++将const folding译为常量折叠是种误导，我觉得译的还行，本来folding就有折叠的意思，就是把原来的东西变小，而象const int i = 2*2;编译器确实将2*2算成4了，以后碰到i就用4替换，这个计算2*2的过程据说叫常量折叠--const folding，而用4替换i的过程叫做复写传播--copy propagation.他们都是编译器的优化技术




说明三：为常量分配空间


补充一下，这里说的都是const 定义的常量，而非文字常量，


（c++ primer翻译成文字常量--literal constant


the c++ programming language（tcpl）翻译成文字量，还分了不同类型）


至于文字常量存在哪，c++ primer 3ed上说它们是不可寻址的--nonaddressable，尽管它们也存在机器内存某个地方，但无法访问它们的地址


对于int double等类型还好理解，但是对于字符串常量（tcpl里说将字符串文字量作为常量，利于存储与访问时的优化）下面的代码似乎表示字符串常量存储在静态存储区里（字符串文字量是静态分配的--tcpl），那么字符串常量的地址不是可以访问了吗，在静态存储区里


http://bbs.bc-cn.net/dispbbs.asp?boardid=56&replyi...


字符串文字量的类型是常量字符数组--适当个数的const字符的数组


//有关字符常量的存储区的问题


//另外，char a[]和char *a的区别


//"hello world 1"存在哪
#include <iostream>
using namespace std;
int main()
{




char* p = "hello world1"；
char a[] = "hello world2"；
//会为a在栈上分配13个字节的空间
// p[2] = a;
a[2] = a;
char* p1 = "hello world1"
printf("%xn",&p[2]);//p应该指向常量区
printf("%x",&a[2]);//栈上数组第三个元素的地址
return 0;
//结果42f036 //这是常量区
//12ff6e果然不一样，这是栈区
}




6.总结


那么"常量折叠"到底是啥意思呢？


我理解，简单的说就是，当编译器处理const的时候，编译器会将其变成一个立即数。


《thinking in c++》里面说这一点在数组定义里尤其重要(为啥呢？没有查到相关的资料)。


Technorati : Zoundary, test, 常量折叠