我不熟悉使用 noexcept 说明符，我不明白为什么 std::array::front 和 std::array::back 没有声明为 noexcept（而 std::array::begin 和 std::array::end 是）。
这是什么原因？
【问题讨论】：
std::array<T, 0> 可以专门化为没有那些noexcept 与std::array<T, N> 相反。不幸的是，该标准没有提供这一点。
标签： c++ arrays c++11 c++14 noexcept
零长度数组
(N == 0)有一种特殊情况。在这种情况下，array.begin() == array.end()，这是一些独特的价值。对大小为零的数组调用front()或back()的效果是未定义的。
所以既然我们可以有一个 0 大小的数组 front() 和 back() 可能会导致异常
在why the standard doesn't mandate operator[], front and back be marked noexcept上引用Sebastian Redl
noexcept的标准政策是只标记不能或不能失败的函数，而不是那些简单地指定不抛出异常的函数。换句话说，所有具有有限域的函数（传递错误的参数并且你得到未定义的行为）都不是noexcept，即使它们没有被指定为抛出。
【讨论】：
noexcept 可以是有条件的（就像vector 的默认构造函数一样）。
array、front 和 back 上不会失败。这在编译时是已知的（因为数组大小在编译时是已知的），因此这些函数可能是 noexcept，甚至考虑到您添加的报价。
std::array 不是动态容器。