为何std::flat_set与std::flat_map独有std::initializer_list重载构造函数？

C++23为std::stack和std::queue容器适配器新增了范围构造重载，允许通过[first, last)的内容构造底层容器，甚至可以直接配合std::initializer_list使用，示例如下：

const auto il = {2, 7, 1, 8, 2};
std::stack<int> c4 { il.begin(), il.end() }; // C++23 新增重载
std::queue<int> c4 { il.begin(), il.end() }; // C++23 新增重载

这意味着这两个适配器无需额外提供针对std::initializer_list的专属构造重载。但同样是C++23新增的容器适配器，std::flat_set和std::flat_map却专门实现了std::initializer_list的构造重载，比如std::flat_set的示例实现：

flat_set(initializer_list<key_type> il, const key_compare& comp = key_compare())
 : flat_set(il.begin(), il.end(), comp) { }

template<class Allocator>
flat_set(initializer_list<key_type> il, const key_compare& comp, const Allocator& a);

template<class Allocator>
flat_set(initializer_list<key_type> il, const Allocator& a);

为什么std::flat_set、std::flat_map需要这类专属重载，而std::stack、std::queue却不需要？

核心差异源于容器适配器的底层行为逻辑、API惯例设计的不同：

• std::stack/std::queue：范围构造已覆盖需求
  这两个传统适配器的核心是对底层容器（默认std::deque）的接口封装，它们的初始化逻辑完全依赖底层容器的构造能力。C++23新增的范围构造重载，本质是将范围参数直接传递给底层容器的范围构造函数。当用户用initializer_list的begin()/end()调用这个重载时，完全能实现初始化需求——额外的initializer_list重载属于冗余设计，没必要添加。

• std::flat_set/std::flat_map：对齐有序容器的API惯例
  这两个新增适配器的行为更贴近std::set/std::map这类有序容器：底层依赖有序的序列容器（比如std::vector），初始化时需要自动完成排序、去重（flat_set）或键的有序唯一性维护（flat_map）。

  提供std::initializer_list专属重载的原因有两点：

  1. 符合用户使用习惯：标准有序容器都提供了initializer_list构造，flat_set/flat_map作为替代方案，需要对齐这个API，让用户可以直接写std::flat_set<int> s{1,3,2};，而不需要手动调用begin()/end()，降低学习成本。
  2. 明确语义一致性：这类重载会明确将initializer_list传递给内部的范围构造逻辑，确保排序、去重等核心行为在初始化阶段被正确触发，避免用户误用。

• 历史兼容性与设计阶段差异
  std::stack/std::queue是C标准早期就存在的组件，C23新增范围构造时，只需补充最小化的重载即可，无需打破现有API生态；而std::flat_set/std::flat_map是C++23全新设计的组件，从一开始就对齐现代容器的完整API规范，自然包含initializer_list构造重载。

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