当析构函数被标记为潜在抛出时，为什么std::向量使用复制构造函数而不是移动构造函数

Question

请考虑以下程序：

#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);
}

如果我运行该程序，我会得到（GoBolt）：

ctor with value
ctor with value
move ctor
dtor
dtor
dtor

...这符合我的预期。但是，如果在线（*）上我将析构函数标记为可能抛出，那么我得到：

ctor with value
ctor with value
copy ctor
dtor
dtor
dtor

...即使用复制因子代替移动因子。为什么会这样呢？复制似乎不能防止移动所必须的破坏。

相关问题：

< li >是否要求std::vector使用移动而不是复制？ < li >当向量增长时，如何实施移动语义？ < li >向量重新分配使用复制而不是移动构造函数