清风竹林

ぷ雪飘绛梅映残红
   ぷ花舞霜飞映苍松
     ----- Do more,suffer less

关于常量折叠(转)

首先来看一个例子:

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 : 

posted on 2010-11-23 21:24 李现民 阅读(4511) 评论(3)  编辑 收藏 引用 所属分类: 语法试炼绝对盗版VC

评论

# re: 关于常量折叠(转)[未登录] 2013-02-06 10:39 edward

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

这个确实很让人挠头啊  回复  更多评论   

# re: 关于常量折叠(转) 2013-08-10 15:26

加入你需要开数组的时候必须用常量而不能用变量,估计就这个意思  回复  更多评论   

# re: 关于常量折叠(转)[未登录] 2014-12-12 15:25 none

如果采用静态分配内存的方式开辟数组,那么数组的内存创建是在编译时期就决定的,如果数组的大小用const的变量来表示,而如果编译的时候还无法决定数组大小,那不是就会在编译的时候报错吗?所以在这种情况下,const的变量是在编译时就应该被决定值大小的。  回复  更多评论   


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理