#include <iostream>
using namespace std;
const int gc_var = 300;
int main()
{
const int lc_blah = 100;
int &l_blah = const_cast<int&>(lc_blah);
l_blah = 200;
cout<<"l_blah: "<<l_blah<<endl; // Will output "l_blah: 200"
int l_var = const_cast<int&>(gc_var);
l_var = 400; // Program will crash
return 0;
}
问题一: 为什么会这样?
在C++03标准中, 对此作了描述, 原文为:
"7.1.5.1/4 "The cv-qualifiers"
Except that any class member declared mutable (7.1.1) can be modified, any attempt to modify a const object during its lifetime (3.8) results in undefined behavior."
简单地说, 修改const对象会导致未定义的行为. 因此上述代码中, 无论出现什么结果, 都是'未定义行为'的一种. 只不过刚好一个成功一个失败.
问题二: 如何正确使用const_cast?
只有一种情形可以保证无错, 将一个原本并非const, 而被修饰为const的对象使用const_cast并进行操作才是安全的, 例如:
void func(const int& a)
{
int& b = const_cast<int&>(a);
b++;
return;
}
int main()
{
int a = 100;
func(a);
cout<<a<<endl; // Will print 101
return 0;
}
总结
在使用const_cast时, 我们要注意是否会导致未定义的行为, 而唯一避免未定义行为的办法是开发者要确认被const_cast的对象是被const修饰的非const对象(安全的), 还是本身就是const对象(不安全的).