全特化针对所有模板参数提供具体实现，偏特化仅限定部分参数。1. 全特化使用template<>定义特定类型组合的完整版本；2. 偏特化保留部分模板参数，适用于类模板中部分类型受限的情况；3. 全特化优先级最高，偏特化次之，最后回退主模板；4. 偏特化不适用于函数模板，但可通过重载模拟。
类模板的全特化和偏特化是C++中对模板进行特殊处理的两种方式，它们用于为特定类型或类型组合提供定制实现。两者核心区别在于：全特化是对模板所有参数都指定具体类型，而偏特化只指定部分参数，或对参数施加限制。
全特化：所有模板参数都被指定
全特化意味着你为类模板的所有模板参数都提供了具体的类型或值，相当于完全替换了原始模板的某个特定实例。
语法上使用 template<> 开头，后面紧跟类名和已确定的类型。
示例：
template<typename T, typename U> class Pair { public: T first; U second; }; <p>// 全特化：T=int, U=double template<> class Pair<int, double> { public: int first; double second; void special_method() { /<em> 特有功能 </em>/ } };
这时 Pair<int, double> 使用的是全特化版本，与其他类型的 Pair 不同。
立即学习“C++免费学习笔记（深入）”；
偏特化：仅部分参数被限定
偏特化允许你只固定一部分模板参数，或者对参数类型添加约束（如是指针、引用等），适用于多种但非全部情况。
它仍然保留部分模板参数未定，因此不是“完全”特化。
示例：
// 偏特化：U 仍为模板参数，T 固定为 int template<typename U> class Pair<int, U> { public: int first; U second; void int_first_special() { } };
此时所有 Pair<int, 任意类型> 都会匹配这个偏特化版本。
还可以做更复杂的偏特化，比如：
// 所有指针类型的 Pair template<typename T, typename U> class Pair<T*, U*> { // 处理两个都是指针的情况 };
关键区别总结
- 全特化没有模板参数剩下，它是某个具体类型的完整定义；编译器在匹配时，优先级最高。
- 偏特化仍有模板参数未定，是一组类型的通用优化实现；不能用于非类型模板参数的部分指定（如数组大小）。
- 偏特化只能用于类模板，函数模板不支持偏特化（但可用重载模拟）。
- 匹配顺序：先找全特化，再看偏特化，最后回退到主模板。
基本上就这些。理解清楚两者的适用场景，能更好设计泛型代码的边界情况处理。