const_cast转换为左值引用不会消除恒常性

const_cast conversion to lvalue reference doesn't remove constness

本文关键字：常性 引用 cast 转换 const      更新时间：2023-10-16

我想了解一下下面两种情况的区别。

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?

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

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

底线:不要这样做。

相关文章：