为何std::flat_set与std::flat_map含noexcept函数而其他容器适配器没有？

这种差异核心源于两个关键点：

• 底层容器的约束不同
  std::flat_set和std::flat_map是基于随机访问连续容器（比如std::vector）实现的，它们的empty()、size()本质是直接调用底层容器的对应方法。而C++标准明确要求随机访问容器的empty()和size()必须是noexcept的，所以这两个适配器可以安全地给这两个成员函数加上noexcept标记。

  反观std::stack、std::queue、std::priority_queue这类传统容器适配器，它们的底层容器可以是任意满足适配要求的类型——比如std::list、std::deque甚至用户自定义容器。这些底层容器的empty()和size()不一定能保证noexcept（比如早期C++标准中std::list的size()是O(n)操作，且未标记noexcept），为了保持适配的通用性，传统适配器不能贸然给这两个函数加noexcept，否则会限制底层容器的可选范围。

• 设计定位的区别
  flat系列适配器的设计目标是提供有序容器的接口，同时利用连续内存提升性能，它们的底层容器被严格限定为符合特定要求的随机访问容器，因此可以做出更强的异常安全承诺。而传统适配器的定位是通用包装器，优先保证对各种底层容器的兼容性，所以只能遵循最宽松的异常安全规则，不做noexcept承诺。

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