当容量超过时,为什么resize()会导致向量内容的复制,而不是移动?[副本]

C++11标准第23.3.6.3/14段规定(关于 resize() 的成员函数 vector<> 类模板):

评论 :如果异常不是由非的move构造函数引发的- CopyInsertable T 没有任何影响 .

换句话说,这意味着 X (即 CopyInsertable ), 调整大小() 提供 strong guarantee :它要么成功,要么保持向量的状态不变。

为了满足这一保证,实现通常采用 copy-and-swap idiom :如果的复制构造函数 十、 throws,我们还没有改变原始向量的内容,所以承诺得到了遵守。

但是,如果矢量的先前内容 感动的 而不是被复制到新的存储器中 move构造函数抛出 ,那么我们就会不可逆转地改变向量的原始内容。

因此,实现将使用的复制构造函数 十、 将矢量的内容安全地转移到新的存储器中 除非知道move构造函数不抛出 ,在这种情况下,可以安全地从先前的元素中移出。

对 十、 的move构造函数(将其标记为 noexcept )事实上, the output of the program is now the expected one .:

struct X
{
    X() { }
    X(int) { }
    X(X const&) { std::cout << "X(X const&)" << std::endl; }
    X(X&&) noexcept { std::cout << "X(X&&)" << std::endl; }
//         ^^^^^^^^
};

想想异常保证:如果在重新分配过程中出现异常,向量必须保持不变。这只能通过复制元素并保留旧集来保证,直到整个复制成功为止。

只有知道move构造函数不会抛出,才能安全地将元素移动到新位置。要实现这一点,请声明move构造函数 noexcept .