KK's question 1(for beginner)

我啃 2007-11-18 05:08:47



#include <iostream>

using namespace std;

int main()

{

int const c1=4;

int const c2[4] = {2, 4, 6, 8};

*(int *)&c1 = 5;

*(int *)&c2[2] = 9;

cout<<c1+c2[2]<<endl;

return 0;

}

result ? why ?

...全文

236 22 打赏收藏转发到动态举报

写回复

用AI写文章

22 条回复

切换为时间正序

请发表友善的回复…

发表回复

我啃 2007-12-02

打赏
举报

eatta有点接近了～

yuyunliuhen 2007-12-01

打赏
举报

不管怎样，值得学习^_^

eatta 2007-12-01

打赏
举报

如果你想用加上const的方法来看到修改后的值的话,避免编译器优化.可以这样做
const int *cp=&c1;
cout<<*cp<<endl;
此时可以输出5.
因为它访问了内存

eatta 2007-12-01

打赏
举报

如果不加const转换的话,强制转换时会生成的临时值来保存转换后的值,对该值解引用就得到内存实体值.
如果加了,就没必要生成临时值了,因为类型一样不用转换.

eatta 2007-12-01

打赏
举报

如果这样的话,因为c1本来就是常量地址,所以那个强转相当于没干什么,所以就相当于*&c1,结果仍是4啊,就相当于取地址跟解引用抵消了.编译时优化了.所以没有去读取内存的值

JobSeeker 2007-12-01

打赏
举报

那如果“cout < <*(const int *)&c1 < <endl; ”呢？

eatta 2007-12-01

打赏
举报

cout < <*(int *)&c1 < <endl;
这样做的话,输出不是4而是修改后的5.
因为常量折叠只是将名字用值来代替,在修改之后,该实体值已被改成5,而名字仍是折叠成4没有改变.如果是通过解引用地址去提取值的话,就可以看到值是已改后的值.

eatta 2007-12-01

打赏
举报

c1是常量,而且是在编译时刻能知道的值,所以C++编译器作了常量折叠,用常量的值代替该对象名字.应该是c++定义的,书上没有说是编译器做的.
而数组常量中的元素是没有名字的,只能通过下标操作来提取值,或者类似的指针间访,所以无法做常量折叠.

JobSeeker 2007-12-01

打赏
举报

"理论上这个不是编译器依赖的"
此话怎么讲？
C++标准说const objects can be used as compile-time values in C++, 最终的决定难道不是编译器做的么？

mu_yang 2007-11-19

打赏
举报

const不是不可以被改变,
c只承诺const不被在explicit attempts的情况下被改变.

现在看来c++也只承诺只有explicit的const(比如c1)在运算时保持不变,
c2[2]不属于那种explicit的const，c2才是，c2[2]在编译器看来只是一个表达式*（c2+2）.
如果c2[2]可以被优化替换掉(按说对编译器来说这应该不是很难),
那么编译器面临的尴尬就太大了,
比如
int i=1;
c2[i+i]就很可能会与c2[2]不一致 .

所以看来const要么是一个陷阱的盖子，要么就是有盖子的陷阱.

粗浅之见，欢迎拍砖！

我啃 2007-11-19