作者timrau (精神戰力薄弱)
看板EE_DSnP
標題Re: [問題] const_cast的問題
時間Thu Oct 14 21:28:35 2010
※ 引述《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
1F：→ timrau:可以用g++ -S看看對應的assembly code, 但我看不懂... 10/14 21:31
3F：→ timrau:看看"Disassembly comparison"那一節吧 10/14 21:33
4F：推 ric2k1:嗯，許多地方也說對 const_cast 之後的 pointer 做 write 10/14 21:37
5F：→ ric2k1:可能會出現一些奇怪的 behavior...<==我是不知道他們指的是 10/14 21:38
6F：→ ric2k1:什麼啦~~~ 10/14 21:39
7F：→ timrau:write之後的read可能不會真的read, 而是被optimize掉 10/14 21:39
8F：→ timrau:導致用到的值不是"真正"的值. Wikipedia那段code 10/14 21:40
9F：→ timrau:非常明顯。而且multi-thread的時候不const_cast也會出事orz 10/14 21:40
10F：推 tomap41017:compiler把const int變數代換掉(這樣就不會暫記憶體) 10/14 23:12
11F：→ tomap41017:是故對其取址本身也是要注意就是了，不過這可以說是 10/14 23:13
12F：→ tomap41017:用const int來取代掉MARCO所造成的副作用嗎XD 10/14 23:13