模板类继承模板类时必须显式指定带模板参数的完整基类类型，如Base<T>，不可省略实参或写Base；构造函数需显式转发或用using声明；偏特化继承须传非依赖型实参。
模板类继承模板类时，基类名必须带模板参数
直接写 class Derived : public Base 会编译失败——编译器根本不知道 Base 是哪个特化版本。C++ 要求显式指定基类的完整实例化类型，哪怕它本身也是模板。
常见错误现象：error: use of class template 'Base' requires template arguments 或 'Base' does not name a type。
正确做法是：在继承列表中写出带尖括号的完整基类类型，比如 Base<t></t> 或 Base<int></int>。注意这里不是写 Base，也不是 Base（空模板参数不合法）。
- 如果派生类也带模板参数，且想把参数原样传给基类，就用
Base<t></t> - 如果基类需要固定类型（比如所有
Derived都继承Base<double></double>），就写死Base<double></double> - 不能省略模板实参，哪怕基类有默认模板参数——继承时仍需显式写出（如
Base<t std::allocator>></t>）
派生模板类定义中，基类构造函数不会自动继承
C++11 起支持 using Base::Base 继承构造函数，但对模板类要格外小心：该语法只转发当前模板实例对应的基类构造函数，不生成新重载。
立即学习“C++免费学习笔记（深入）”；
典型使用场景：你希望 Derived<int></int> 能像 Base<int></int> 一样接受相同参数构造。但若基类构造函数依赖模板推导（比如接受 std::initializer_list<t></t>），而派生类没显式声明对应构造函数，就会调用失败。
- 安全做法是显式定义派生类构造函数，并用
Base<t>(args...)</t>调用基类初始化 - 若用
using Base<t>::Base</t>，确保基类模板已完全实例化（即T在此处已确定） - 注意：
using Base::Base不会继承基类的模板构造函数（例如template<typename u> Base(U&&)</typename>），那些仍需手动转发
偏特化基类时，派生类不能直接继承“未特化”的模板名
比如你写了 template<typename t> class Base { ... };</typename> 和它的偏特化 template<typename t> class Base<:vector>> { ... }</:vector></typename>，那么 class Derived : public Base<:vector>></:vector> 是合法的，但 class Derived : public Base<:vector>></:vector>（在模板类中）会出错——因为 std::vector<t></t> 是依赖型名称，编译器无法在解析派生类时确认它是否匹配偏特化。
解决的关键在于：让编译器能静态确定基类属于哪个特化版本。
- 如果基类模板有偏特化，继承时必须传入**非依赖型实参**（如具体类型
std::vector<int></int>）或确保依赖型实参能被立即匹配（如通过typename+typedef提前具现） - 更稳妥的方式是避免在继承子句中出现复杂依赖型嵌套，改用类型别名隔离：
using BaseT = Base<:vector>>;</:vector>，再写class Derived : public BaseT - 否则可能触发
error: 'Base' is not a class template或匹配到主模板而非偏特化
多重继承含模板类时，注意虚继承和注入名冲突
当多个模板基类提供同名成员（比如都定义了 value()），且派生类未显式覆盖，调用时会报二义性错误；若其中一个是虚基类，还涉及虚基类初始化顺序问题。
这不是普通类继承的简单叠加，模板实例化会让每个基类特化成为独立类型，冲突更容易发生。
- 显式使用作用域解析（如
Base1<t>::value()</t>）可临时绕过二义性，但治标不治本 - 优先考虑组合而非多重继承：用
std::tuple<base1>, Base2<t>></t></base1>或私有成员封装 - 若必须虚继承模板类，确保所有虚基类模板参数一致（如都是
Base<t></t>），否则虚基类实例不共享，失去虚继承意义
最难缠的是依赖型名称和模板参数推导交织的场景——比如基类构造函数模板里用到了 decltype 或 std::enable_if，这时候派生类的构造转发很容易静默失效。遇到这种问题，先用 static_assert(std::is_base_of_v<base>, Derived<t>>)</t> 确认继承关系是否真成立，再逐层检查构造函数签名是否真的被实例化出来。
