C++中销毁this后复用内存重建同类型对象：可行还是未定义行为？

首先明确结论：这种操作并非必然是未定义行为（UB），但有严格的适用前提，一旦违反就会触发UB，属于风险极高的编程技巧。

标准允许的核心条件 #

根据C++标准，你可以在已销毁对象的存储位置上重建同类型对象，需满足以下要求：

• 原对象的存储区域仍然有效（未被释放、未被重新分配给其他对象）
• 新对象的类型与原对象完全一致（包括cv限定符，比如不能在const Weird的存储位置重建非const的Weird）
• 重建完成前，不得通过任何方式访问原对象的成员或引用

针对示例代码的分析 #

你给出的示例中，Weird类包含一个const int x成员，operator=的逻辑是先销毁当前对象，再用定位new（placement new）在原内存位置重建新对象：

#include <new>

class Weird {
public:
    Weird(int x) : x(x) {}

    void operator=(int newX) {
        this->~Weird();
        new(this) Weird(newX);
    }

    operator int() const {
        return x;
    }

private:
    const int x;
};

int main() {
    Weird w = 1;
    w = 2;
    return w;
}

这段代码的行为在当前场景下是合法的，原因如下：

1. 销毁原对象后立即重建，没有中间阶段的非法访问
2. 重建的是同类型的Weird对象，存储区域未失效
3. const int x的不可修改性是针对对象生命周期内的约束：原对象被销毁后，其存储区域的const属性随之失效，新对象的x可以正常初始化新值

但要注意几个关键的风险点：

• 如果w是const Weird类型（比如const Weird w = 1;），再执行w = 2就会触发UB——标准禁止在const限定的对象存储位置重建对象，因为这类对象的内存通常被编译器视为不可修改的只读区域
• 如果类包含虚函数，虽然重建同类型对象不会破坏虚表指针，但如果后续错误地重建了派生类对象，就会直接触发UB
• 若销毁对象后、重建前存在任何隐式的对象访问（比如编译器插入的调试代码、类的其他成员函数调用），都会导致UB

总结 #

这种复用内存的技巧仅在严格满足标准条件时合法，但实际开发中不建议使用：

• 代码可读性极差，维护成本极高
• 稍有不慎就会触发难以排查的UB
• 现代编译器的优化已经能很好地处理对象创建销毁的开销，这种技巧带来的性能收益几乎可以忽略不计

内容的提问来源于stack exchange，提问作者Dr. Gut