为何显式析构const对象后用placement new仍触发未定义行为？

根据C++标准规定：对于拥有静态、线程或自动存储期的const对象，无论该对象的生命周期是否已经结束，都不允许在它所占用（或曾经占用）的存储位置上创建新对象，这类操作直接属于未定义行为。

示例代码如下：

struct B {
    B();
    ~B();
};
const B b;
void h() {
    b.~B();
    new (const_cast<B*>(&b)) const B; // 此处为未定义行为
}

核心原因解析 #

这类const对象的存储位置会被编译器施加特殊优化：

• 编译器可能会把const对象的内容直接嵌入到编译后的代码中（常量折叠），后续访问该对象时直接读取嵌入的常量值，而不是去内存地址加载；
• 部分场景下，编译器会将这类const对象放在只读内存区域，强行在该位置创建新对象会触发内存写入错误；
• 即使显式调用析构函数结束了原对象的生命周期，编译器依然会认定该存储位置属于"静态/自动存储期的const对象"，不会因为对象生命周期结束而改变这个存储位置的属性。

当你用placement new强行在该位置重建对象时，完全违背了编译器对该内存区域的优化假设，会导致不可预测的结果——比如新对象的构造逻辑不生效、后续访问时依然读取原常量值、程序崩溃等，这就是标准将其定义为未定义行为的原因。

内容的提问来源于stack exchange，提问作者getsoubl