const_cast转换为左值引用不会删除constness

Question

我想了解以下两种情况的区别.

const uint32_t v0 = 0;
const uint32_t v1 = 1;

const_cast<uint32_t&>(v0) = v1;
std::cout << v0 << std::endl;

结果如下:

0

然而,

struct S {
    const uint32_t v0;
    S() : v0( 0U ) {}
} s;

const_cast<uint32_t&>(s.v0) = v1;
std::cout << s.v0 << std::endl;

我明白了:

1

关于第一种情况,为什么"v0"保持为0？

提前致谢.

Answer 1

应用const_cast数据然后修改它实际上是常量具有未定义的行为.原始数据的原因可能是由编译器放入只读存储器中.因此,尝试修改它将导致UB,将给出的输出取决于编译器.

同样正如@Yakk指出的那样,编译器实际上可能只使用常量变量的值来减少内存使用量.在这种情况下,编辑涉及常量变量的任何表达式以将变量替换为实际值,因此内存中没有任何内容.如果您尝试更改内存内容,请为BOOM做好准备.

底线:不要这样做.