C++20中能否修改非const对象的const成员

C++20 从未允许直接修改非const对象的const成员，你看到的相关讨论中提到的「合法操作」，特指结束原const成员生命周期、在原内存位置重新构造同类型新对象的特殊场景，和直接用const_cast去除const限定后给const字段赋值的未定义行为完全是两回事，不要混淆二者的边界。

• 直接修改const成员的行为：所有C++版本均为未定义行为
  只要成员被声明为const，在其完整生命周期内，任何直接对其赋值的操作（包括通过const_cast去掉const限定后写入）都是非法的。无论外层对象是否为const，其内部的const子对象都受常量语义保护，编译器可以基于const限定做常量折叠、只读段映射等优化，强行修改会触发不可预期的行为。
• 显式销毁+原地重建const成员：C++20起明确合法
  这也是你看到的相关回答讨论的核心操作：如果外层对象本身不是const的，你可以先调用const成员的析构函数（存在非平凡析构时可直接用标准库工具destroy_at），再在原内存地址上用construct_at构造一个新的同类型const成员，整个过程符合标准要求。
  合法操作示例：

  #include <memory>
  struct Demo {
      const int id;
      Demo(int v) : id(v) {}
  };
  
  int main() {
      Demo d(1); // 外层对象d为非const
      // 错误：直接修改const成员，属于未定义行为
      // *const_cast<int*>(&d.id) = 2;
  
      // C++20起合法：先销毁原有const成员，再原地构造新成员
      std::destroy_at(&d.id);
      std::construct_at(&d.id, 2);
      // 此时d.id的值为2，行为完全符合标准规定
  }
  

在C20之前，原地重建子对象的行为存在标准模糊地带：重建新的子对象后，原有指向外层对象的指针、引用、变量名是否能合法访问新的子对象，旧标准没有给出明确约定，开发者需要手动使用std::launder才能避免未定义行为。
C20正式新增了**透明替换（transparent replacement）**规则，明确只要满足以下条件：

1. 被替换的是非const外层对象的子对象
2. 新构造的对象和原对象类型完全一致
3. 析构和构造的间隙没有非法访问原内存
   那么替换完成后，所有原有指向外层对象的访问路径都会自动指向新构造的子对象，无需额外处理。同时标准库配套提供了constexpr版本的construct_at、destroy_at工具，支持在编译期完成这类操作，这也是很多回答提到「C++20支持修改const成员」的来源——本质是合法替换了一个全新的const对象，而非修改了原有const对象的值。

• 该操作有严格适用前提：如果外层对象本身是const限定的（例如const Demo d(1);），哪怕是原地重建子对象也属于未定义行为，因为const对象的内存空间在其整个生命周期内都受常量语义保护，不允许写入。
• 不要在业务代码中滥用该特性：const成员的设计语义就是初始化后不再变动，这类原地重建操作仅适合实现移动赋值运算符、std::optional、容器元素替换等底层通用组件，普通业务逻辑使用会严重破坏代码可读性和语义一致性。

内容的提问来源于stack exchange，提问作者Joel Niemelä