为何std::begin和std::end无noexcept说明符，而std::cbegin却有？

这个问题的核心原因主要和C++标准的历史演变以及设计时机有关：

• 历史遗留与标准迭代节奏：std::begin和std::end是C11就引入的工具函数，而noexcept也是C11新增的特性。在C11制定时，条件noexcept的用法还没有像后续版本那样被广泛应用到标准库的转发函数中。当时标准委员会更关注范围for循环、迭代器接口这些核心特性的落地，没有给std::begin/std::end的容器重载加上条件noexcept说明符。而std::cbegin是C14才新增的，此时条件noexcept的设计已经成熟，标准委员会更倾向于给新的工具函数提供明确的异常安全保证，所以给它加上了noexcept(noexcept(std::begin(c)))的条件说明。

• 数组重载的特殊性：要注意，std::begin针对数组的重载其实是有noexcept的：

  template <class T, size_t N>
  constexpr T* begin(T (&array)[N]) noexcept;
  

  只有针对容器的重载没有noexcept。而std::cbegin本身是转发到std::begin的const版本，它的条件noexcept可以完美适配数组和容器的情况——数组的std::begin是noexcept的，所以cbegin也会是noexcept；容器的const begin()如果是noexcept，cbegin也会继承这个属性。

• 兼容性考量：虽然给std::begin的容器重载加上条件noexcept（就像你给出的示例那样）不会破坏现有代码，但标准委员会通常不会轻易修改已有特性的签名，除非有特别必要的理由。保持现有行为的兼容性是标准制定的重要原则之一，所以即使后续版本可以补加noexcept，也没有回溯修改std::begin/std::end的容器重载。

简单来说，就是std::cbegin赶上了条件noexcept普及的好时机，而std::begin/std::end因为早出生几年，错过了这个设计，后续也因为兼容性原因没补上。

内容的提问来源于stack exchange，提问作者isnullxbh