模板模板参数用于让模板接收“另一个模板”而非具体类型，解决容器适配器需泛化支持多种模板类（如vector/list/deque）却避免重复特化的问题。
模板模板参数到底在解决什么问题
它用来让模板接收“另一个模板”作为参数，而不是具体类型或值。典型场景是写容器适配器时，想同时支持 std::vector、std::list、std::deque 这类模板类，但又不想为每个都写一遍特化。
常见错误是直接写 template<typename t> class Container</typename>，结果编译报错：error: template template argument has different template parameters than its corresponding template parameter——说明你传进去的模板签名和声明不匹配。
- 必须显式写出被接受模板的形参结构，比如
template<typename> class C</typename>表示只接受单个类型参数的模板 - 如果目标模板带默认参数（如
std::vector<t alloc="std::allocator<T">></t>），你也得在模板模板参数中允许它，否则无法匹配 - C++17 起支持
template<auto> class</auto>形式，但实际极少用；主流仍是template<typename...> class</typename...>或template<typename> class</typename>
怎么正确声明和使用 template template parameter
关键在「签名对齐」：你声明的模板模板参数，必须和你要传入的实际模板有兼容的形参列表。
比如 std::vector 实际定义是 template<class t class alloc="std::allocator<T">> class vector</class>，所以不能只写 template<typename> class C</typename>，否则 std::vector 会匹配失败。
立即学习“C++免费学习笔记（深入）”；
- 安全写法是用变参模板模板参数：
template<typename...> class C</typename...>，能兼容所有标准容器 - 若只处理单参数模板（如自定义的
MyStack<t></t>），可用template<typename> class C</typename>，更严格也更清晰 - 别漏掉
class关键字（不能写typename），这是语法硬性要求 - 示例：
template<template<typename...> class C, typename T> struct ContainerWrapper { C<T> data; };这样就能传入std::vector、std::list、MyQueue等
为什么 std::allocator 默认参数会导致匹配失败
因为模板模板参数匹配的是「模板名本身」，不是实例化后的类型。而 std::vector 带默认分配器，它的模板签名和 template<typename> class</typename> 不一致，编译器不会自动忽略默认参数去匹配。
现象：写 template<template> class C> struct X</template>，再用 X<:vector></:vector>，直接编译不过。
- 根本原因：C++ 模板匹配是精确的，不考虑默认参数是否可省略
- 解决方案只有两个：要么放宽声明为
template<typename...> class</typename...>，要么自己封装一层适配器模板（如template<typename t> using MyVec = std::vector<t>;</t></typename>）再传入 - 别试图用
decltype或using别名绕过——别名不是模板，不能当模板模板参数传
实际应用中最容易被忽略的细节
模板模板参数不是万能胶，它和普通模板参数混用时，推导行为很反直觉。
- 函数模板中几乎无法自动推导模板模板参数，基本都要显式指定，比如
foo<:vector int>(...)</:vector>，不能只写foo(...) - 偏特化时，如果主模板用了模板模板参数，特化版本也必须保持相同结构，否则会被忽略（不是报错，而是静默 fallback 到主模板）
- Clang 和 GCC 对嵌套模板模板参数（比如传一个接受模板模板参数的模板）支持程度不同，跨编译器项目要小心
- 调试时看错误信息，重点盯
template argument for template parameter后面那一长串，它告诉你哪一阶模板签名对不上
真正难的不是语法，而是理解「模板名」和「模板实例」之间的那层抽象隔膜。一旦写错签名，编译器不会帮你猜意图，只会拒绝匹配。
