显式调用析构后用定位new重建对象是否属于C++定义行为？

问题描述 #

该问题聚焦于特定约束下对象重建操作的标准合规性：
若类型S同时满足以下条件：

• std::is_nothrow_default_constructible_v<S> 为真（默认构造不抛异常）
• std::is_nothrow_destructible_v<S> 为真（析构不抛异常）
• std::has_virtual_destructor_v<S> 为假（无虚析构函数）
• std::is_polymorphic_v<S> 为假（非多态类型）

调用如下重建函数是否属于C++标准定义的行为？

template <typename T>
void reconstruct(T& x) noexcept {
    // C++20 版本可使用requires约束替代static_assert
    static_assert(std::is_nothrow_default_constructible_v<T>);
    static_assert(std::is_nothrow_destructible_v<T>);
    static_assert(!std::has_virtual_destructor_v<T>);
    static_assert(!std::is_polymorphic_v<T>);
    x.~T();
    ::new (&x) T{};
}

进一步的疑问：如果存在指向原对象的旧指针/引用，重建后访问会触发未定义行为吗？示例如下：

int main() {
    S s;
    s.x = 42;
    const S& sref = s;
    reconstruct(s);
    return sref.x; // 是否因sref绑定的原对象已销毁触发UB？
}

提问背景：标准库的std::once_flag未提供重置接口，提问者明确知晓该接口的设计考量、也清楚该重建模式的误用风险，但在部分单线程场景下需要实现非线程安全的重置逻辑，若该重建模式合规即可满足需求。

结论 #

在列出的约束条件下，reconstruct操作本身完全符合C标准定义，示例中通过旧引用sref访问新对象的行为也合法，不会触发未定义行为，核心依据来自C标准对对象生命周期、指针/引用有效性的明确规则：

1. 显式调用析构函数仅结束原对象的生命周期，原对象占用的内存存储并未释放、地址也未发生变化，存储本身依然处于有效可用状态。
2. 随后在完全相同的内存地址上通过placement new创建同类型新对象时，只要满足：新对象与原对象类型完全一致、新对象完整占用原对象的存储范围、类型无虚析构/非多态、原对象不是const/volatile限定类型，原本指向原对象的指针、绑定到原对象的引用会自动指向新创建的对象，无需重新绑定。代码中的四个静态断言已经覆盖了类型层面的约束，传入非const左值引用的参数形式也天然规避了const/volatile对象的问题。
3. 函数标记的noexcept和两个异常相关的静态断言，刚好补上了异常安全的缺口：析构和默认构造都保证不抛异常，不会出现析构完成后构造失败、对应内存上没有有效对象的悬空状态。

生效边界 #

该结论仅在约束范围内成立，突破以下任意一条规则就会触发未定义行为：

• 重建的类型是多态类型、存在虚析构函数
• 重建的对象是const或volatile限定类型
• 构造或析构过程可能抛出异常，导致重建流程中断
• 新对象没有完整覆盖原对象占用的全部存储
• 多线程场景下未做同步保护，重建过程中其他线程并发访问该内存地址

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