3

可能重复：
通过非常量指针修改 const

让我们先看看下面的代码。非常短的代码：

int main()
{
    const int n=9;
    int *p=(int*)&n;
    *p=5;
    cout<<*p<<endl; //result is 5
    cout<<n<<endl;  // 9
    int a=n+1;
    cout<<a<<endl;  // 10
}

令我惊讶的是，编译器根本没有抱怨。结果就像我在评论中显示的那样。
但是，如果这或多或少有意义的话。更令人惊讶的是，当你调试它时，你可以看到 n 的值实际上已经变成了 5！
但是，当您使用“n”时，似乎“n”仍然被视为原始值9！
所以我猜编译器已经将“n”的原始值存储在其他地方，对吧？那么“n”的原始值，即 9，现在存储在哪里呢？
谢谢你的帮助！

4

1 回答 1

3

这可能是由于优化。既然你声明const int n=9了，你基本上是在做出一个你不会修改的承诺n。所以编译器可以自由优化cout << n << endl;为一个简单的cout << 9 << endl;. 我不认为旧值存储在其他任何地方。

然而，这是未定义的行为。

我可以确认此行为的原因是优化，即使在调试版本中也是如此：

    cout<<n<<endl;  
01151426  mov         esi,esp  
01151428  mov         eax,dword ptr [__imp_std::endl (11582B4h)]  
0115142D  push        eax  
0115142E  mov         edi,esp  

//HERE:
//
01151430  push        9  
//
//

01151432  mov         ecx,dword ptr [__imp_std::cout (11582B0h)]  
01151438  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (11582ACh)]  
0115143E  cmp         edi,esp  
01151440  call        @ILT+325(__RTC_CheckEsp) (115114Ah)  
01151445  mov         ecx,eax  
01151447  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (11582A8h)]  
0115144D  cmp         esi,esp  
0115144F  call        @ILT+325(__RTC_CheckEsp) (115114Ah)

n甚至没有进入讨论。

如果n不是const，优化将是非法的：

00D51426  mov         esi,esp  
00D51428  mov         eax,dword ptr [__imp_std::endl (0D582B4h)]  
00D5142D  push        eax  
00D5142E  mov         edi,esp  

//HERE
//
00D51430  mov         ecx,dword ptr [n]  
00D51433  push        ecx  
//
//

00D51434  mov         ecx,dword ptr [__imp_std::cout (0D582B0h)]  
00D5143A  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (0D582ACh)]  
00D51440  cmp         edi,esp  
00D51442  call        @ILT+325(__RTC_CheckEsp) (0D5114Ah)  
00D51447  mov         ecx,eax  
00D51449  call        dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (0D582A8h)]  
00D5144F  cmp         esi,esp  
00D51451  call        @ILT+325(__RTC_CheckEsp) (0D5114Ah)

在这里， 的值n被压入参数堆栈，因为它不是const.

于 2012-07-25T01:55:03.510 回答