與const_cast會

Question

怪異的行爲我都知道，使用const_cast一般是壞主意，但我玩了，我跨怪異的行爲，哪裏傳來：

兩個指針具有相同的地址值，但去的時候引用，給出不同的數據值。

有沒有人對此有過解釋？

代碼

#include <iostream> 

int main() 
{ 
    const int M = 10; 

    int* MPtr = const_cast<int*>(&M); 

    (*MPtr)++; 

    std::cout << "MPtr = " << MPtr << " (*MPtr) = " << (*MPtr) << std::endl; 
    std::cout << " &M = " << &M << "   M = " << M << std::endl; 
} 

輸出

MPtr = 0x7fff9b4b6ce0 (*MPtr) = 11 
    &M = 0x7fff9b4b6ce0   M = 10 

Answer 1

因此，除「這是未定義的行爲」（這是），編譯器是完全沒有用的事實，M是恆定的，因此不會改變，在評價的cout ... << M << ...，所以可以使用具有立即數10的指令，而不是存儲在M的存儲器中的實際值。 （當然，標準不會說這是如何工作的，不僅僅是「未定義」，而且編譯器能夠在不同情況下選擇不同的解決方案等等，所以如果您修改完全可能會得到不同的結果該代碼使用不同的編譯器，不同版本的編譯器或風向不同的方向吹）。

具有「未定義行爲」的棘手問題的一部分在於它包含的內容「完全符合您的期望」以及「幾乎您所期望的」。如果它發現這是你正在做的事情，編譯器也可以決定啓動俄羅斯方塊。

是的，這是你爲什麼不應該使用const_cast的原因之一。在不就的事情，原本const最起碼的 - 這是確定的，如果你有這些方針的東西：

int x; 

void func(const int* p) 
{ 
    ... 
    int *q = const_cast<int *>(p); 

    *q = 7; 
} 


... 

func(&x); 

在這種情況下，x其實不是常量，它只是成爲常量，當我們把它傳遞給func。當然，編譯器可能仍然認爲在func中沒有被更改，因此你可能會遇到問題....

Answer 2

該方案已經未定義bahaviour，因爲你不能改變一個const對象。

從C++標準

4某些其他操作均在本國際 標準描述爲未定義（例如，試圖修改 const對象的效果）。 [注：本國際標準對含有未定義 行爲的程序的行爲沒有要求 。末端注]