模板偏特化仅适用于类模板，函数模板不支持；正确做法是用函数重载或类模板+偏特化替代，非法偏特化如template void func(T)直接报错。
模板偏特化必须针对类模板，函数模板不支持
这是最容易踩的坑：C++ 标准明确禁止对函数模板做偏特化（partial specialization），只允许全特化。如果你写了类似 template<typename t> void foo(T);</typename> 然后试图偏特化成 template<typename t> void foo(T*);</typename>，编译器会报错——典型错误信息是 error: function template partial specialization is not allowed。正确做法是用函数重载替代，或者把逻辑包装进类模板里再偏特化该类。
类模板偏特化的语法格式和约束
偏特化本质是“为某类类型模式提供更具体的实现”，它必须基于已有主模板声明，且偏特化版本的模板参数列表不能比主模板少（但可以更具体）。常见写法是：
template<typename T>
struct MyContainer { /* 主模板 */ };
<p>template<typename T>
struct MyContainer<T<em>> { /</em> 偏特化：所有指针类型 */ };</p><p>template<typename T>
struct MyContainer<std::vector<T>> { /<em> 偏特化：所有 vector<T> </em>/ };
注意三点：
- 偏特化声明必须在主模板之后、首次使用之前
- 偏特化中未指定的参数（如上面
T*里的T）仍需出现在模板参数列表中，不能省略 - 偏特化不能有默认模板参数，否则编译失败
偏特化与全特化的优先级关系
当多个特化都匹配时，编译器按“最特化”原则选择：全特化 > 偏特化 > 主模板。比如：
立即学习“C++免费学习笔记（深入）”；
template<typename T> struct A {}; // 主模板
template<typename T> struct A<T*> {}; // 偏特化1
template<typename T> struct A<T const*> {}; // 偏特化2
template<> struct A<int*> {}; // 全特化
对 A<int></int> 的实例化，会选全特化；对 A<char></char>，选偏特化1；对 A<int const></int>，选偏特化2。但如果偏特化2写成 template<typename t> struct A<const t> {}</const></typename>，则和偏特化1产生二义性，编译失败。
偏特化实际用在哪些地方
真正需要偏特化的场景不多，但几个典型用途很实用：
- 为容器内部类型提供定制行为，比如
std::hash对std::pair的偏特化 - 规避 SFINAE 或 enable_if 的冗长写法，例如为可调用对象（
std::function、lambda）单独写偏特化来提取返回类型 - 实现类型分类工具，比如
is_pointer_v底层就依赖对T*的偏特化 - 避免重复定义，比如对所有智能指针统一处理：
template<typename t> struct MyDeleter<:shared_ptr>> {}</:shared_ptr></typename>
偏特化不是语法糖，它直接影响模板匹配路径和实例化结果。写的时候务必确认偏特化形式能被唯一推导，否则容易触发模糊匹配或意外回退到主模板。
