销毁对象后在同一变量构造新对象的C++代码合法性问询

你的代码存在未定义行为（UB），不符合C++标准要求，但可以通过std::launder修正。以下是具体分析：

核心问题：对象销毁重建后的变量名关联 #

根据C++标准，当一个对象被销毁（比如通过std::destroy_at）后，在同一内存位置重建新对象时，原变量名（这里的成员变量t）不会自动绑定到新对象。直接通过原变量名访问新对象属于未定义行为——编译器无法识别这个变量名现在指向的是新构造的对象。

你的代码中的UB点 #

• 在replace函数执行完成后，调用do_stuff()直接访问t.do_stuff()：此时t对应的原对象已被销毁，新对象虽在同一内存，但t并未关联到它，这属于未定义行为。
• 即使在replace函数内部，std::construct_at完成后直接使用t（比如后续操作），同样会触发UB。

用std::launder消除未定义行为 #

std::launder的作用是明确告知编译器：传入的指针指向的内存位置已构造新对象，返回的指针可安全访问该新对象。你需要在所有访问t的地方使用它：

修正后的do_stuff示例 #

void do_stuff() {
    std::launder(&t)->do_stuff();
}

修正后的replace函数（可选优化） #

如果在replace内部需要访问新构造的对象，也需通过std::launder：

template <typename... Args>
void replace(Args&&... args) {
    std::destroy_at(&t);
    try {
        auto new_t = std::construct_at(&t, std::forward<Args>(args)...);
        // 若需在replace内操作新对象，使用new_t或std::launder(&t)
    } catch {
        std::construct_at(&t); // T的默认构造是noexcept，不会二次抛出
    }
}

异常安全部分的合规性 #

你的异常处理逻辑符合标准：已知T的默认构造函数是noexcept，因此catch块中的std::construct_at(&t)不会抛出异常，保证最终内存位置一定有一个有效的T对象，不会出现内存中无有效对象的情况。

实际场景的合理性 #

针对你提到的T具有类似引用语义、禁用赋值的场景，销毁旧对象再重建新对象是合理的设计选择，只要通过std::launder解决变量名与新对象的绑定问题，就能让代码符合C++标准。

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