一个关于const的问题，同几个地址，加不加const居然不一样？！！

[tarlou]

在DEV-CPP上运行如下代码，感到结果非常不可思议，请高手指教
#include <iostream>
using namespace std;
int main()
{
const int ten=10;
int *p;
p=(int *)&ten;
(*p)++;
cout<<ten<<endl; //ten is 10
cout<<&ten<<endl; //&ten is 0x22ff74
cout<<p<<endl; //p is 0x22ff74
cout<<*p<<endl; //*p is 11
cout<<*(&ten)<<endl; //*(&ten) is 10
cout<<*(int *)(&ten)<<endl; //*(int *)(&ten) is 11
cout<<*(const int*)p<<endl; //*(const int*)p is 11
return 0;
}
想不明白为什么同一个地址，用两种不同的类型输出，会得到不同的结果？？
（也并非完全如此，&ten转int *是11，p转const int*却不发生变化）
请高手解释一下吧！

[iambic]

欺骗编译器的报应。对你的编译器诚实点，声明为const就不要再修改它。

[stcatz]

我测试了一下，你的程序是用*p修改了const int ten的值。

cout<<ten<<endl;
这句的输出之所以没有+1是因为它读出的并不是内存中的值而是在缓存里的值。

你写成
const volatile int ten=10;
程序就会按照你所想的那样运行了。

[eggqq007]

原来还可以这样，学习了。

[cmail]

常量折叠
对于cout<<ten;函数调用时直接用10入栈了，并没有使用相应内存中的值．

[cmail]

pushl %ebp
movl %esp, %ebp
subl $24, %esp
andl $-16, %esp
movl $0, %eax
addl $15, %eax
addl $15, %eax
shrl $4, %eax
sall $4, %eax
movl %eax, -8(%ebp)
movl -8(%ebp), %eax
call __alloca
call ___main
movl $10, -4(%ebp)
movl $11, -4(%ebp)
movl $10, 4(%esp)　;直接用的10
movl $__ZSt4cout, (%esp)
call __ZNSolsEi
movl $0, %eax
leave
ret
.sect

[cmail]

代码：
#include<iostream>
using namespace std;


int main()
{
const int ten = 10;
*((int*)&ten) = 11;
cout<<ten;
return 0;
}

[anmoi_yang]

const存储在内存的全局变量区,局部变理存储在栈区,所以加与不加const返回的地址当然不一样.

[liumingrong]

C++5种内存区域
常量区
栈
自由存储区
堆
全局/静态变量区

[烂笔头Danky]

楼上两位是说我的疑问吗？

经过我的测试，只要变量（或类对象）带有volatile标识（无论变量是否是const），用取地址符&输出的地址都是1，需要把变量的地址转换成为非volatile的指针才能正常输出其地址值来：

volatile const int i = 20;
volatile int ival = 10;
volatile double dval = 0;

cout <<"&i = " <<(int*)&i << endl
<<"&i = " <<&i <<endl;
cout <<"&ival = " <<&ival <<endl
<<"&ival = " <<(int*)&ival <<endl

不知道为何要转换为非volatile的指针才能正常输出其地址呢？

[fuyong_8012]

应该是编译器进行的优化，输出的时候直接赋为10

[yoyo_alex_lw]

当没有volatile 关键字时,常量强制转化为非常量时,编译器实际是生成了一个临时变量保存强制转化后的值.
语句p=(int *)&ten;
实际是:
int temp=(int *)&ten;
p=&temp;
因此p指向的并不是ten.
如果加了volatile ,则不生成临时变量

[expter]

高质量编程...

[烂笔头Danky]

const volatile int ten=10;

为什么这样定义的变量，输出它的地址值是1呢？