c++ - 将相同的值分配给 const 变量会导致 C++ 中的 UB 吗？

Question

给定以下 C++ 代码:

#include <iostream>

int main()
{
    const int i = 1;
    *const_cast<int*>(&i) = 1; // Not allowed but doesn't do anything?
    std::cout << i << "\n";
}

问题:上面的代码是否调用了UB(未定义行为)？我知道放弃 const 并将新值分配给 i 会导致 UB，因为我们不允许更改 const 变量的值。然而，在上面的代码中，我实际上并没有改变 i 的值 - 所以，这仍然是 UB 吗？

Answer 1

是的。它仍然是 UB。

尝试更改 const 变量是 UB，而不仅仅是分配一个新值。

来自 N4296，第 1.9 节，第 4 段:

Certain other operations are described in this International Standard as undefined (for example, the effect of attempting to modify a const object).