Re: [問題] const_cast的問題

[timrau (精神戰力薄弱)]

※ 引述《scuendless (scu)》之銘言：
: 想請問一下大家
: 在看講義的時候不是很了解
: 為什麼const_cast<T>()在設計的時候
: 為什麼只能對pointer做轉換呢?
其實const_cast也可以用來對付reference. 不過const_cast並經過optimization之後
會發生怪怪的事

Example:

#include <iostream>
using namespace std;
int main(void)
{
        const int answer = 10;
        int& a = const_cast<int&>(answer);
        a = 5;
        cout << "answer = " << answer << endl;
        return 0;
}

執行結果：
answer = 10

可是如果用gdb break在cout那行，卻會發現answer == a == 5, 且&answer == &a !!

Another example:
#include <iostream>
using namespace std;
int main(void)
{
        volatile const int answer = 10;
        int& a = const_cast<int&>(answer);
        a = 5;
        cout << "answer = " << answer << endl;
        return 0;
}

執行結果：
answer = 5

這下就正常了。

關鍵在"volatile", 它讓compiler避免把後面讀取answer的地方optimize掉。
: 如果說C++可以透過對object取址再取ref的方式來繞過去
: 那那時候設計只能對pointer轉換的用意是甚麼呢?
: (就有甚麼情況我們是希望可以動const pointer但盡量不要動const object嗎)
: 想不太到甚麼合理的原因耶
: 謝謝!!

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 111.251.200.38
→ timrau:可以用g++ -S看看對應的assembly code, 但我看不懂...
→ timrau:http://en.wikipedia.org/wiki/Volatile_variable
→ timrau:看看"Disassembly comparison"那一節吧
推 ric2k1:嗯，許多地方也說對 const_cast 之後的 pointer 做 write
→ ric2k1:可能會出現一些奇怪的 behavior...<==我是不知道他們指的是
→ ric2k1:什麼啦~~~
→ timrau:write之後的read可能不會真的read, 而是被optimize掉
→ timrau:導致用到的值不是"真正"的值. Wikipedia那段code
→ timrau:非常明顯。而且multi-thread的時候不const_cast也會出事orz
推 tomap41017:compiler把const int變數代換掉(這樣就不會暫記憶體)
→ tomap41017:是故對其取址本身也是要注意就是了，不過這可以說是
→ tomap41017:用const int來取代掉MARCO所造成的副作用嗎XD