为什么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