C++17 标准 - 抛弃静态的 const

Question

最近我决定深入研究 C++ 标准并检查某些代码 sn-ps 是否定义良好以及在标准中的何处可以找到这些定义。由于标准很难正确（尤其是如果您不习惯），我想验证我的假设是否正确。

我遇到了以下示例（这显然是个坏主意）。它编译得很好（使用 g++ 8.2.1），但在执行期间 SEGFAULTs：

#include <iostream>

static const int staticInt = 23;

int main () {
    int &localInt = const_cast<int &>(staticInt);
    localInt = 11;
    std::cout << staticInt << std::endl;
    return 0;
}

所以，我搜索了标准（我使用 open-std btw 上的工作草案）并找到了第 6.8.10 段：

在存储中创建一个新对象，该对象具有静态、线程或自动的 const 完整对象 存储持续时间占用，或在此类 const 对象在其生命周期之前曾经占用的存储空间内 结束，导致未定义的行为。

我是对的，这一段适用于给定的例子吗？如果不是，我还应该去哪里看？

Answer 1

这是未定义的行为，因为在使用 const_cast 之后尝试修改 const 变量。

来自 n4659 的引文，C++17 的最终工作草案。 本案相关段落为：

8.2.11 常量转换 [expr.const.cast]
...
6 [ 注意：根据对象的类型，通过指针、左值或指向数据成员的指针的写操作由 const_cast 产生，它抛弃了 const 限定符可能会产生未定义的行为. ——尾注]

这部分也与const 对象相关：

10.1.7.1 cv 限定符[dcl.type.cv]
...
4 除了可以修改声明为 mutable 的任何类成员外，任何在其生命周期内修改 const 对象的尝试都会导致未定义的行为。