std::vector移动构造重分配对象时为何仍调用原对象析构函数

这根本不是性能或者实现选择的问题，是C++对象模型定下的强制规则，必须这么做，没有例外。 #

首先把最容易混淆的概念明确：移动构造从来不会结束源对象的生命周期。
你在新内存块上通过移动构造创建新对象的时候，旧内存上的源对象并没有被销毁，它仍然是合法存活的C对象，只是状态变为“有效但具体值未做标准保证”而已。C标准层面明确要求：只要一个对象还处于存活状态，在它占用的内存被释放、或者被复用构造其他对象之前，必须调用它的析构函数，少一次都属于违规。标准库作为语言自带的基础组件，不可能带头违反这个核心规则。
你觉得析构是“空跑没有实际效果”，那只是你自己写的Foo类刚好符合这个情况：移动时把源对象的堆指针所有权转移，将源对象的指针置空，析构时判断指针为空就不做实际操作。但这只是单个类的实现特例，完全不能推广到所有C++类型：

• 很多类的移动构造根本不会掏空源对象的所有成员，比如类内部维护的全局引用计数、注册过的回调句柄、持有的互斥锁、日志埋点标记这类成员，移动时不会做所有权转移，如果跳过析构，会直接出现计数不递减、回调不注销、锁不释放的问题，引发逻辑错误或资源泄漏；
• 做了小对象优化的类型，比如实现了短字符串优化的std::string、小型缓冲区优化的容器，移动后的源对象内部可能仍然持有需要清理的状态，根本不是析构空跑的场景；
• 退一万步说，只要类有自定义的非平凡析构，跳过析构直接释放内存或者复用内存，本身就是标准明确标注的未定义行为，标准库不可能赌用户实现的类刚好析构没有实际逻辑，去走违规的捷径。

你举的“跳过析构直接用placement new在原地址构造新对象”的示例，本身就是不合规的写法：

只有当类型是平凡析构（即没有自定义析构函数，所有基类、非静态成员的析构都是编译器默认生成、无额外逻辑）时，才可以不调用析构直接复用对象存储。只要类有非平凡析构，跳过析构直接构造新对象的行为就属于未定义行为，运行结果没有任何保障，根本不能作为正确实现的参考。
标准库的实现不需要、也不应该猜测用户写的移动构造把源对象改成了什么状态，更不需要猜测用户的析构函数里有没有实际逻辑，它只需要守住最基础的对象生命周期契约：每一个由容器构造的对象，都必须对应一次析构调用，二者严格一一对应。不管是拷贝扩容还是移动扩容，这个逻辑完全一致：拷贝场景下旧对象持有完整资源，析构就负责释放这些资源；移动场景下旧对象已经转移了核心资源，析构就按照移动后的状态完成对应清理，不存在逻辑双标。

下面这段测试代码可以直接运行，输出日志能直观看到移动构造和析构的调用顺序：

#include <iostream>
struct Foo
{
    Foo() {}
    Foo(const Foo& other) 
    {
        std::cout << "Copy constructor called\n";
    }
    Foo(Foo&& other) noexcept 
    {
        std::cout << "Move constructor called\n";
    };
    ~Foo()
    {
        std::cout << "Destructor called\n";
    }
};

int main()
{
    std::vector<Foo> v;
    // 多次push_back触发vector容量扩张
    v.push_back(Foo{});
    v.push_back(Foo{});
    v.push_back(Foo{});
    v.push_back(Foo{});
}

不要拿“反正旧内存马上要释放”作为跳过析构的理由，这是把两个完全独立的步骤混为一谈了：对象析构负责清理的是对象自身持有的、和当前存储位置无关的资源——比如堆上分配的内存、打开的文件句柄、持有的互斥锁、注册的观察者回调等；而释放内存块只是告诉内存分配器“这块地址我不用了，可以分配给其他申请者”，根本不会管内存上存储的对象有没有完成自身资源清理。如果跳过析构直接释放内存，这些和内存块本身无关的资源会直接泄漏，和后续是否释放这块内存没有任何关系。

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