作者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