c++ - 为什么 std::stack 不使用模板模板参数？

Question

为什么 std::stack 和 std::queue 对其底层容器类型使用类型模板参数而不是模板模板参数？

即为什么 stack 是这样声明的:

template<typename T, typename Container = deque<T>>
class stack;

但不是这样:

template<typename T, template<typename> class Container = deque>
class stack;

?

Answer 1

因为通常像 std::vector have more than one template argument 这样的容器.通过不关心它是模板，您可以使用各种容器。

会怎样

template<class T, class Allocator = std::allocator<T>> class vector;

适合

template<typename> class Container

就像您在 stack 中一样？ (提示:它没有!)对于您想要支持的每种数量和种类的模板参数(类型与非类型)，您都需要特殊情况，这很愚蠢，因为这些通常不会提供任何帮助比简单的更多信息

typename Container

请注意，要获取实际的模板参数，例如一个 std::vector，你有 typedefs std::vector::value_type 和 std::vector::allocator_type，不需要让这些类型在你实际使用类型的地方显式可用(即 stack 的 Container)。