有一个抛出交换成员实现可以吗？

Question

编写类时的一般准则（使用复制和交换习惯用法）是提供非抛出交换成员函数。 （Effective C++, 3rd edition, Item 25 和其他资源）

但是，如果因为我的班级使用不提供交换操作的第 3 方班级成员而无法提供 nothrow 保证怎么办？

// Warning: Toy code !!!

class NumberBuffer {
public:
    ...
    void swap(NumberBuffer& rhs);

public:
    float* m_data;
    size_t m_n;
    CString m_desc;
};

void swap(NumberBuffer& lhs, NumberBuffer& rhs) {
    lhs.swap(rhs);
}

void NumberBuffer::swap(NumberBuffer& rhs) {
    using std::swap;
    swap(m_data, rhs.m_data);
    swap(m_n, rhs.m_n);
    swap(m_desc, rhs.m_desc); // could throw if CString IsLocked and out-of-mem
}

CString 交换不能不抛出，因此交换失败的可能性很小。

注意：对于罕见的第 3 方课程，可以选择使用智能 ptr (pimpl)，但是 --

注意：CString 是一个很好的例子，因为他头脑正常的人 (?) 不会开始通过 pimpl (smart ptr) 来持有概念上简单且无处不在的类的所有成员，例如 CString，因为这看起来真的很可怕——而且在另一方面，没有（短期到中期）机会修改 CString 以允许完全无抛出交换。

那么，如果你帮不上忙，是否可以有一个潜在的抛出交换成员函数？ （或者你知道解决这个难题的方法吗？）

编辑：并且：如果不是强保证，是否可以将 throwing swap 成员与 copy-and-swap 习语一起使用以提供基本保证？

Answer 1

你可以很容易地让它没有：

void NumberBuffer::swap(NumberBuffer& rhs) throw()
{
    try
    {
        std::swap(m_desc, rhs.m_desc);   //could throw
        std::swap(m_data, rhs.m_data);
        std::swap(m_n, rhs.m_n);
    }
    catch(...)
    {
    }
}

当然，这不是问题的真正解决方案，但现在你至少得到了你的非抛出交换；）

Answer 2

那么，如果你不能帮助它，是否可以有一个潜在的抛出交换成员函数？ （或者你知道解决这个难题的方法吗？）

拥有swap 函数可能引发潜在的抛出本质上错误，但请注意，如果没有swap 中的强大异常保证，它就不可能用于提供异常安全性，也就是说，它只能用作swap（也就是说，忘记该特定类的复制和交换习语作为提供强异常保证的一种方式......但您仍然可以使用它来减少代码量——并证明它不是异常安全的）

或者，您可以将CString 移动到提供不抛出swap 的智能指针（或至少是强异常保证），这不是一个好的解决方案，但它至少是异常安全的.最后，您可以完全摆脱 CString，而使用任何其他字符串库来提供您需要的任何内容并提供无抛出交换操作。

Answer 3

投掷swap 本身并没有什么问题，它只是不如无投掷版本有用。

为了提供强大的异常保证，复制和交换习语不需要swap 是不抛出的。 swap 只需提供强异常保证即可。

难点在于，如果不能提供不抛保证，也很可能不能提供强异常保证。使用临时和三个副本的朴素交换只提供基本保证，除非复制操作提供不抛出保证，在这种情况下交换也是不抛出的。