模板特化是为具体类型提供专属版本，完全替换通用模板；函数模板仅支持全特化但不推荐，类模板全特化最常用且稳妥，偏特化仅适用于类模板且参数部分约束，函数模板不支持偏特化。
模板特化就是给某个具体类型写“专属版本”的函数或类
普通模板是一套通用逻辑，编译器靠类型推导生成代码；而模板特化是告诉编译器：“当用 T 是 int 时，别用通用版，改用我写的这个专门版本”。它不是重载，也不是偏特化，而是完全替换——对那个类型，编译器会忽略主模板，只认这个特化定义。
函数模板全特化必须显式指定所有模板参数
函数模板不支持偏特化，只能全特化。但要注意：主流编译器（如 GCC、Clang）实际不鼓励甚至不推荐函数模板全特化，因为容易和重载混淆，且行为不如类模板特化稳定。
- 写法上必须用
template表示全特化，比如：template<> void swap<int>(int& a, int& b) { // 专用实现 } - 如果已有非模板的
void swap(int&, int&)函数，调用swap(1, 2)会优先匹配非模板版本，而不是这个特化——这是重载解析规则决定的 - 更安全的做法是直接重载函数，而不是特化函数模板
类模板全特化要完整写出特化后的类型名
这是最常用也最稳妥的特化场景。比如为 bool 类型定制 std::vector 的行为（虽然标准库用了位压缩，但原理类似）：
template<typename T>
class MyContainer {
public:
void process() { /* 通用逻辑 */ }
};
<p>// 全特化：针对 T = char 的专用版本
template<>
class MyContainer<char> {
public:
void process() { /<em> 完全不同的实现，比如用 strcpy 优化 </em>/ }
};- 声明时必须写
template，后面跟类名+尖括号里填死的类型：MyContainer<char></char> - 特化版本可以和主模板有完全不同的成员变量、函数，甚至不继承任何接口
- 如果主模板有默认模板参数（如
template<typename t typename alloc="std::allocator<T">></typename>），特化时必须把所有参数都实化，不能省略
特化和偏特化容易搞混，但它们根本不是一回事
偏特化（partial specialization）只适用于类模板，意思是“对一部分模板参数做约束，不全部写死”。比如：
立即学习“C++免费学习笔记（深入）”；
template<typename T, typename U>
class Pair { /* 通用实现 */ };
<p>// 偏特化：只固定第二个参数为 int，T 仍可变
template<typename T>
class Pair<T, int> { /<em> 针对 Pair<T, int> 的实现 </em>/ };-
template是全特化；template<typename t></typename>后面跟一个部分填充的类名，才是偏特化 - 函数模板不支持偏特化——这是 C++ 标准明确禁止的，试图写会触发编译错误：
error: function template partial specialization is not allowed - 偏特化本质是“模板的模板”，它本身还是个模板，只是参数范围收窄了；而全特化是个具体类型绑定的最终产物
真正难的是特化时机和匹配顺序：编译器先找完全匹配的全特化，再找偏特化，最后才考虑主模板。如果多个特化能同时匹配（比如你写了 MyContainer<const char>></const> 和 MyContainer<char>></char>），而调用时传的是 const char<em></em>，那没问题；但若传的是 char 却误匹配到前者，就可能出错——这种隐式转换带来的歧义，往往在链接期才暴露。
