C++ ISO noexcept 的 noexcept

Question

在the C++ standard中有如下定义：

template <class T, size_t N> void swap(T (&a)[N], T (&b)[N])
      noexcept(noexcept(swap(*a, *b)));

noexcept(noexcept(swap(*a, *b))) 是做什么的？

Answer 1

在函数声明中包含noexcept(x) specifier 意味着当且仅当x 计算结果为true 时，该函数是不抛出的。

noexcept(y) 也可以用作operator，如果y 是非抛出表达式，则评估为true，如果y 可能抛出，则评估为false。

结合起来，这意味着void foo() noexcept(noexcept(y)); 意味着：foo 是非投掷，而y 是非投掷。

在问题的情况下，当且仅当交换数组的单个成员是非抛出时，数组的函数模板 swap 才被声明为非抛出，这是有道理的。