为什么 basic_string::swap 不是 noexcept？

Question

我刚刚发现 basic_string 的两个交换函数（成员函数和命名空间 std 中的函数）没有用 noexcept 声明——既不是在 GCC-4.8 的标准库中，也不是在最新的C++ 草案 N3690。

另一方面，移动构造函数和移动赋值运算符是用noexcept 声明的。这说明应该可以提供noexcept交换函数。

问题：没有用 noexcept 声明交换函数的原因是什么？

更新：问题是我想在我自己的交换函数中使用一个模板函数，它使用 static_assert 来检查交换实际上是 noexcept，例如：

struct foo {
    bar_t bar;
    baz_t baz;
    void swap(foo& rhs) noexcept {
        swap_noexcept(bar, rhs.bar);
        swap_noexcept(baz, rhs.baz);
    }
};

但是，只有当交换函数用 noexcept 声明时才有效，而 basic_string 则不是这样。

Answer 1

C++11 标准第 21.4.6.8 段规定：

21.4.6.8 basic_string::swap [string::swap]

void swap(basic_string& s);

1 后置条件：*this包含与s中相同的字符序列，s包含相同的 *this 中的字符序列。

2 投掷：没有。

3 复杂性：恒定时间。

因此，必须得出结论，noexcept 的缺失是一种疏忽。

assign() 成员函数的第 21.4.6.3 段给出了另一个线索：

basic_string& assign(basic_string&& str) noexcept;

效果：函数将*this控制的字符串替换为长度为str.size()的字符串 元素是由str 控制的字符串的副本。 [ 注意：一个有效的实现是swap(str)。 — 尾注]

3 返回：*this.

如果swap(str) 应该是assign() 的有效实现，并且assign() 被无条件标记为noexcept，那么假设swap() 也是noexcept 是有意义的。