STL容器适配器为何需同时指定值类型和容器类型模板参数

不是不能从Container::value_type推导T，而是这种设计会牺牲绝大多数场景的使用便利性，不符合STL的设计初衷，核心原因有三点：

• 接口直观性与使用成本优先
  普通用户使用stack、queue这类适配器时，90%以上的场景只关心存储的元素类型，不需要自定义底层容器。标准库将T作为第一个模板参数、底层容器Container设为默认参数的设计，让用户只需要写stack<int>就能得到默认用deque<int>实现的int栈，写法简洁且语义一目了然。
  如果反过来把Container作为第一个参数，依赖Container::value_type推导T，即使用默认容器你也得写stack<deque<int>>才能得到存int的栈，使用成本高很多，对新手也极不友好。标准库的适配器原生声明也验证了这一设计思路：

  template <class T, class Container = std::deque<T>>
  class stack;
  

• 历史兼容性限制
  STL的核心设计完成于C98年代，当时还没有C17才引入的类模板参数推导（CTAD）特性。如果不把T显式作为模板参数，用户根本无法便捷地声明适配器实例，也没法在不指定底层容器的情况下直接声明元素类型。就算现在有了CTAD特性，标准库也不会修改已经沿用了几十年的模板参数顺序，避免破坏海量存量代码。
• 报错友好性提升
  显式指定T可以让编译器在模板实例化的早期就检查T和Container::value_type是否匹配，不用等到调用成员函数时才抛出几十行的嵌套错误日志，更便于用户定位问题。

C++17之后引入的CTAD已经支持从传入的底层容器自动推导T和Container，比如std::stack s(std::deque{1,2,3})就能自动得到stack<int, deque<int>>类型的实例，只是模板参数的设计为了兼容和易用性还是保留了最初的形式。

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