为什么const_cast对基本类型常量不起作用,但是对自定义的类对象和结构体实例的常量却有用?

为什么const_cast对基本类型常量不起作用,但是对自定义的类对象和结构体实例的常量却有用?

问题描述:

如果我定义了const int n、const aClass c、const aStruct s,那么为什么const_cast可以作用于c和s,但是却不能作用于n呢?

如下列代码举的例子:

class C {
public:
    int cval;
    C(int c) :cval(c){ }
};
struct S {
    int sval;
};
int main() {
    const int n = 6666;
    const C c(666);
    const S s{ 66 };
    cout << "int, class and structure variables begin with:\n";
    cout << "n, c.cval, s.sval = " << n << ", " << c.cval << ", " << s.sval << endl;
    // const_cast 用于指针
    int *n2 = const_cast<int*>(&n);
    C *c2 = const_cast<C*>(&c);
    S *s2 = const_cast<S*>(&s);
    // const_cast 用于引用
    int &n3 = const_cast<int&>(n);
    C &c3 = const_cast<C&>(c);
    S &s3 = const_cast<S&>(s);

    *n2 = 2000;
    c2->cval = 200;
    s2->sval = 20;
    cout << "\nafter const_cast on pointers:\n";
    cout << "n, c.cval, s.sval = " << n << ", " << c.cval << ", " << s.sval << endl;

    n3 = 3000;
    c3.cval = 300;
    s3.sval = 30;
    cout << "\nafter const_cast on reference:\n";
    cout << "n, c.cval, s.sval = " << n << ", " << c.cval << ", " << s.sval << endl;
    return 0;
}

运行结果:

图片说明

翻了一下网上的文章,对这个问题有个合理的接释是:

const_cast的用法不是将一个const变量变成非const变量的,使用const_cast把一个原本是const的变量转换为非const,这是一个未定义行为,这种未定义的危险行为其结果不确定。

而const_cast正确用法的关键在于
1. 被转换的对象本身必须是非const的;
2.可以将指向这个非const对象的指针/引用转化为const类型的,或者反过来

其实n的值在内存中确实被修改了,但是编译器做了优化,对于const变量后续用到的时候只从寄存器中取值,并不会去内存中取最新的值,因为它认为内存中的值并未改变。下图可以看到n在内存中的值已经被修改为3000

img