关于常量折叠(转)

首先来看一个例子：

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++》里面说这一点在数组定义里尤其重要(为啥呢？没有查到相关的资料)。

 

以上博文转自：http://www.cppblog.com/xmli/archive/2010/11/23/134425.html（貌似不是原始链接，请见谅）。

下面补充一点：

“《thinking in c++》里面说这一点在数组定义里尤其重要(为啥呢？没有查到相关的资料)。”这里应该是针对数组名称——这一特殊变量来说的吧。当定义一个数组的时候：

例如：

int a[9]={1,2,3,4,5,6,7,8,9};

这里如果利用&进行取址：&a可以发现，其地址与&a[0]是相同的。也就是说，a——这一数组名称，可以想象成为内存空间中的一块连续的占用了9*4（32位系统）字节的空间的名称（相当于门牌号）。那么既然是变量名，那么变量本身又存储在什么地方呢？答案是：编译器没有为数组名称开辟自己的存储空间，个人猜想应该也是类似于常量折叠的方式，当遇到数组名a的时候就意味着内存中那块9*4字节的连续空间。

以上是一点点自己个人的看法，没有深究下去（彻底明白了再发博文讲解），想了解更多资料可以参考《C语言深度剖析》《C和指针》等相关书籍。