使用const_cast转换全局const变量导致程序崩溃的原因

#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对象(不安全的).