C ++中const_cast的行为[重复]

Question

这是我的问题，问题出在 cmets

const int a = 5;
const_cast<int&>(a)=7; //throw over const attribute in a,and assign to 7
std::cout<<a<<std::endl; //why still out put 5!!!!!!!!!!

谁能告诉我为什么，推荐一些书籍说明这些问题？ 谢谢！

Answer 1

您这样做的方式是未定义的行为。如果您想以明确的方式查看const_cast<> 的效果：

int a = 5;                  // note: not const. regular object.
const int& cref = a;        // const-reference to same object.
cref = 7;                   // illegal. cref is a const reference.
const_cast<int&>(cref) = 7; // legal. the original object a is not const.

唯一是由于原始变量a 的非常量性质造成的。您不能采用完全 const object 并简单地抛弃 const-ness，这就是您发布的代码所做的。 （至少已经多次向我解释过）。

Answer 2

draft C++ standard 部分 7.1.6.1 cv-qualifiers 段落 4 说：

[...]在 const 对象的生命周期 (3.8) 内修改任何尝试都会导致 undefined behavior

所以任何行为都是可能的，但你不应该这样做，你绝对不能依赖这种行为。当然 const_cast 确实有有效的用途，因为Is const_cast safe? 中接受的答案说：

const_cast 仅在您转换一个原本是非 const 的变量时才是安全的。[...]

我们可以从live example 看到您看到的结果的一种方式，即 gcc 4.8.1 没有任何优化只是使用值 5 而不是读取当前值：

movl    $7, (%rax)
movl    $5, %esi
movl    $_ZSt4cout, %edi

在non const 的情况下，我们将看到如下内容：

movl    $7, -4(%rbp)
movl    -4(%rbp), %eax
movl    %eax, %esi
movl    $_ZSt4cout, %edi

Answer 3

编译器在欺骗你，因为这（编辑：你在上面使用它的方式。）是明确未定义的行为。当它看到在与cout 语句相同的范围内定义的a 常量时，很可能甚至都不会费心查看内存。

你可以做一个更人为的例子来欺骗你的编译器，但是下面的修改至少在 gcc 中给了我你想要的结果：

volatile const int a = 5;

为了澄清，并非所有 const_cast 使用都是未定义的行为，请参阅 WhozCraig 的示例。