变量内存中的数据和变量地址里面的数据不一致！非常奇怪

[xiaohutushen30]

#include "stdafx.h"
#include <iostream>
using namespace std;

int _tmain(int argc, _TCHAR* argv[])
{
	const int i=3;
	const int *pa=&i; 
	int *pb=const_cast<int*>(pa);

	*pb=4; 
	cout<<"pa="<<pa<<" pb="<<pb<<" &i="<<&i<<endl; 
	cout<<"*pb="<<*pb<<"  "<<"i="<<i<<" "<<"*pa="<<*pa<<endl;
	return 0;
}

[lin5161678]

debug模式么? 换release模式再试试看~

• 打赏
• 举报

回复 赞

[xiaohutushen30]

没用的，结果一样！等待解释····

• 打赏
• 举报

回复 赞

[bruceteen]

因为 *pb=4; 这是未定义行为 当你修改i时，使用强制转化只表示语法正确，语法正确并不表示其行为就是可期待的 简单的说，你使用强制转化之前先得确保这么做是可行的 （对于你这个具体问题，编译优化是实现的根本原因，但不是C语言标准层次上的根本原因）

• 打赏
• 举报

回复 赞

[hello_world000]

google “常量折叠”

• 打赏
• 举报

回复 赞

[always_learn]

编译器遇到i会将i直接编译成3，遇到*(&i)也编译成3。 *pb=4; pb指向的内存实际被修改

• 打赏
• 举报

回复 赞

[passion_wu128]

因为这里i是个const变量啊，即使你通过其它手段修改了它的内存，但是以后使用i的时候都不是直接读内存，而是使用对它赋的初值。看下汇编码就知道了： 这是我在VC++6.0里面查看的汇编码： 12: cout<<"*pb="<<*pb<<" "<<"i="<<i<<" "<<"*pa="<<*pa<<endl; 0040161F push offset @ILT+200(std::endl) (004010cd) 00401624 mov eax,dword ptr [ebp-8] 00401627 mov ecx,dword ptr [eax] 00401629 push ecx 0040162A push offset string "*pa=" (0046c030) 0040162F push offset string " " (0046c02c) 00401634 push 3 //这里直接使用初值 00401636 push offset string "i=" (0046c028) 0040163B push offset string " " (0046c024) 00401640 mov edx,dword ptr [ebp-0Ch] 00401643 mov eax,dword ptr [edx] 00401645 push eax 00401646 push offset string "*pb=" (0046c01c) 0040164B push offset std::cout (004777e0) 00401650 call @ILT+655(std::operator<<) (00401294) 再看看去掉const的情况

        int i=3;
	int *pa=&i; 
	int *pb=pa;

	*pb=4; 
	cout<<"pa="<<pa<<" pb="<<pb<<" &i="<<&i<<endl; 
	cout<<"*pb="<<*pb<<"  "<<"i="<<i<<" "<<"*pa="<<*pa<<endl;
	return 0;

12: cout<<"*pb="<<*pb<<" "<<"i="<<i<<" "<<"*pa="<<*pa<<endl; 0040161F push offset @ILT+200(std::endl) (004010cd) 00401624 mov eax,dword ptr [ebp-8] 00401627 mov ecx,dword ptr [eax] 00401629 push ecx 0040162A push offset string "*pa=" (0046c030) 0040162F push offset string " " (0046c02c) 00401634 mov edx,dword ptr [ebp-4] //这里从栈上i的地址读取值 00401637 push edx 00401638 push offset string "i=" (0046c028) 0040163D push offset string " " (0046c024) 00401642 mov eax,dword ptr [ebp-0Ch] 00401645 mov ecx,dword ptr [eax] 00401647 push ecx 00401648 push offset string "*pb=" (0046c01c) 0040164D push offset std::cout (004777e0) 00401652 call @ILT+655(std::operator<<) (00401294)

• 打赏
• 举报

回复 赞

[lming_08]

http://hi.baidu.com/lming_08/item/ab8feef2efb7bb19d6ff8c61 http://topic.csdn.net/u/20120721/06/2ac59aa9-e71d-4780-b2f7-7a1f3de20c02_3.html

• 打赏
• 举报

回复 赞

[赵4老师]

VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。 （Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。） 想要从本质上理解C指针，必须学习汇编以及C和汇编的对应关系。 从汇编的角度理解和学习C语言的指针，原本看似复杂的东西就会变得非常简单！ 指针即地址。“地址又是啥？”“只能从汇编语言和计算机组成原理的角度去解释了。” 但我又不得不承认： 有那么些人喜欢或者适合用“先具体再抽象”的方法学习和理解复杂事物； 而另一些人喜欢或者适合用“先抽象再具体”的方法学习和理解复杂事物。 而我本人属前者。 这辈子不看内存地址和内存值；只画链表、指针示意图，画堆栈示意图，画各种示意图，甚至自己没画过而只看过书上的图……能从本质上理解指针、理解函数参数传递吗？本人深表怀疑！ 这辈子不种麦不收麦不将麦粒拿去磨面；只吃馒头、吃面条、吃面包、……甚至从没看过别人怎么蒸馒头，压面条，烤面包，……能从本质上理解面粉、理解面食吗？本人深表怀疑！！ 提醒： “学习用汇编语言写程序” 和 “VC调试(TC或BC用TD调试)时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 （Linux或Unix下可以在用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。） 想要从本质上理解C指针，必须学习C和汇编的对应关系。” 不是一回事！ 不要迷信书、考题、老师、回帖； 要迷信CPU、编译器、调试器、运行结果。 并请结合“盲人摸太阳”和“驾船出海时一定只带一个指南针。”加以理解。 任何理论、权威、传说、真理、标准、解释、想象、知识……都比不上摆在眼前的事实！ 有人说一套做一套，你相信他说的还是相信他做的？ 其实严格来说这个世界上古往今来所有人都是说一套做一套，不是吗？ 不要写连自己也预测不了结果的代码！ 电脑内存只是一个一维二进制字节数组及其对应的二进制地址； 人脑才将电脑内存中的这个一维二进制字节数组及其对应的二进制地址的某些部分看成是函数、函数参数、堆、栈、数组、指针、数组指针、指针数组、数组的数组、指针的指针、二维数组、…… 对学习编程者的忠告： 眼过千遍不如手过一遍！ 书看千行不如手敲一行！ 手敲千行不如单步一行！ 单步源代码千行不如单步对应汇编一行！

• 打赏
• 举报

回复 赞