为何析构函数可能抛出时std::vector选用拷贝构造而非移动构造？

测试程序 #

#include <vector>
#include <iostream>

class A {
    int x;
public:
    A(int n)          noexcept : x(n)       { std::cout << "ctor with value\n"; }
    A(const A& other) noexcept : x(other.x) { std::cout << "copy ctor\n"; }
    A(A&& other)      noexcept : x(other.x) { std::cout << "move ctor\n"; }
    ~A()                                    { std::cout << "dtor\n"; } // (*)
};

int main()
{
    std::vector<A> v;
    v.emplace_back(123);
    v.emplace_back(456);
}

正常运行结果（析构函数默认noexcept） #

ctor with value
ctor with value
move ctor
dtor
dtor
dtor

修改后运行结果（析构函数标记为可能抛出异常） #

ctor with value
ctor with value
copy ctor
dtor
dtor
dtor

此时std::vector选用拷贝构造而非移动构造，为什么？似乎拷贝并不能避免移动操作所需的析构步骤。

原因解释 #

核心在于C++标准对容器扩容时异常安全性的强制要求：

当std::vector因元素数量超过当前容量需要扩容时，必须把旧内存中的元素转移到新分配的内存里。

选择移动构造的风险 #

如果使用移动构造：

• 移动完成后，旧内存中的元素处于「可析构但不可正常使用」的状态，后续必须调用它们的析构函数来清理资源。
• 若此时析构函数可能抛出异常，那么在移动完部分元素后，一旦某一个析构抛出异常，vector无法保证所有已移动的元素都被正确清理，也无法回滚到扩容前的状态——这直接违反了容器的基本异常安全保证（要求容器不会泄漏资源，且所有对象处于有效状态）。

选择拷贝构造的合理性 #

而使用拷贝构造时：

• 拷贝完成后，旧内存中的元素依然是完整、有效的。如果拷贝过程中抛出异常，vector可以直接丢弃新分配的内存，旧内存中的元素不受任何影响，完全符合异常安全要求。
• 即使后续析构旧元素时抛出异常，此时扩容已经完成，旧内存本来就要被释放，这种情况下的异常风险是标准允许的——容器已经处于稳定的新状态，不会影响其后续使用。

简言之，std::vector优先选择移动构造的前提是移动构造为noexcept且析构函数也为noexcept，这样才能保证扩容过程的异常安全性。一旦析构函数可能抛出异常，移动构造的异常安全无法保障，容器就会回退到使用拷贝构造。

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