C++ - 为什么它有强大的异常保证？

Question

在《C++ 编程语言》(第 4 版)中，Stroustrup 在讨论异常时显示了以下代码片段(更正版本取自 this errata):

template<typename T, typename A>
void vector<T,A>::reserve(size_type newalloc)   // flawed first attempt
{
    if (newalloc<=capacity()) return;           // never decrease allocation
    vector<T,A> v(newalloc);                    // make a vector with the new size
    copy(vb.elem,vb.elem+size(),v.begin());     // copy elements
    vb.space = size();
    swap(*this,v);                          // install new value 
} // implicitly release old value

他还表示“这具有提供强有力保证的良好特性”。然而，在他之前的几页中提到 std::copy 并没有提供强有力的异常保证。这是一个错误，还是我遗漏了什么？

Answer 1

如François pointed out ，std::copy 正在更改 v，它不是 this 的成员。因此，如果失败，this 不会改变。