为什么std :: array :: front和std :: array :: back不是noexcept？

Question

我是使用说明noexcept符的新手,我不明白为什么std::array::front和std::array::back没有声明noexcept(而是std::array::begin和std::array::end).

这是什么原因？

Answer 1

来自cppreference

零长度数组有一种特殊情况(N == 0).在那种情况下,array.begin() == array.end()这是一些独特的价值.调用front()或back()对零大小的数组的影响是未定义的.

因为我们可以有一个0大小的数组,front()并back()可能导致异常

引述塞巴斯蒂安·雷德尔上为什么标准不强制要求operator[],front并back标明noexcept

标准的策略noexcept是仅标记不能或不能失败的函数,而不是那些仅指定不抛出异常的函数.换句话说,所有具有有限域的函数(传递错误的参数并且您得到未定义的行为)都不会noexcept,即使它们未被指定抛出也是如此.