偏特化仅适用于类模板，函数模板不支持；其语法要求至少保留一个未绑定参数，否则视为全特化；匹配遵循“最特殊”原则，且不参与SFINAE。
偏特化只适用于类模板，函数模板不支持
偏特化是类模板专属机制，C++ 标准明确禁止对函数模板做偏特化。试图写 template<typename t> void func<t>(T*)</t></typename> 会直接编译失败——这不是语法疏漏，而是语言设计决定。如果需要类似效果，必须用重载或包装成类模板再特化。
常见错误是把偏特化写成全特化：比如本意想处理“所有指针”，却写了 template struct MyTrait<int></int>，这其实是全特化，只匹配 int*，不匹配 double* 或 MyClass*。
偏特化的语法必须保留至少一个未绑定参数
偏特化不是“少写几个 typename”，而是让模板参数模式更具体但仍有泛化空间。核心规则是：参数列表里至少得留一个可变的 typename 或 class，不能全部固化。
- ✅ 正确（指针偏特化）：
template<typename t> struct MyTrait<t></t></typename> - ✅ 正确（const 引用偏特化）：
template<typename t> struct MyTrait<const t></const></typename> - ✅ 正确（双参数中固定一个）：
template<typename t> struct Pair<t int></t></typename> - ❌ 错误（无泛参，实为全特化）：
template struct MyTrait<int></int> - ❌ 错误（参数列表不匹配原模板）：
template<typename t> struct MyTrait<t t></t></typename>（若原模板只接受单参数）
偏特化与全特化的匹配优先级要小心
编译器按“最特殊”原则选择：全特化 > 偏特化 > 泛型。但“更特殊”不看代码行数，而看类型推导是否更精确。例如：
立即学习“C++免费学习笔记（深入）”；
当定义了 template<typename t> struct X<t></t></typename>（偏特化）和 template struct X<int></int>（全特化），对 X<int></int> 实例化一定走全特化；但对 X<char></char> 就只能走偏特化。
容易踩的坑：
- 多个偏特化之间不能模糊重叠，比如同时定义
T*和T const*，对int const*可能触发ambiguous partial specialization - 偏特化内部若继承泛型版本，需显式处理构造函数转发，基类私有成员不可访问
- 偏特化不能出现在函数作用域内，必须在命名空间层级声明
实际使用中要注意 const/volatile 和引用的传播
偏特化匹配的是“最终类型”，不是“声明写法”。int const*、int* const、const int* 是三种不同类型，需分别覆盖或靠更宽泛的模式捕获。
示例：想统一处理所有裸指针，用 template<typename t> struct IsPointer<t></t></typename> 即可；但若想同时捕获 const T*，就得额外加一层偏特化：template<typename t> struct IsPointer<const t></const></typename>，或改用更健壮的 trait 写法（如结合 std::remove_cvref_t）。
真正复杂的地方在于：偏特化不参与 SFINAE，它要么完全匹配，要么彻底忽略。一旦匹配失败，不会退回到泛型版本，而是直接报错——这点和函数模板重载完全不同。
