模板特化是C++中为特定类型提供专门实现的机制，分为全特化（所有参数具体化）和偏特化（仅部分参数约束，仅类模板支持）；显式实例化仅强制生成泛型代码，而特化则完全替换实现。
模板特化是C++中让通用模板对某些特定类型（或值）提供专门实现的机制。它不是重载，也不是继承，而是告诉编译器：“当模板参数是这个具体类型时，请用我写的这份代码，而不是泛型版本。”
全特化（full specialization）
全特化指为模板的所有参数都指定具体类型或值。函数模板和类模板都支持全特化，但函数模板的全特化在实践中较少用（常被重载替代），而类模板全特化很常见。
- 类模板全特化语法：在template<>后直接写特化后的类名和参数，例如template<> class MyVector<int> { ... };
- 全特化必须定义在原模板声明之后，且不能在函数体内定义
- 全特化版本和泛型版本是完全独立的两个类型，不共享成员、不自动继承
偏特化（partial specialization）
偏特化只适用于类模板（函数模板不支持），指对部分模板参数做约束，留下至少一个未确定。它让类模板能针对“一类类型”定制行为，比如所有指针、所有容器、所有const T等。
- 例子：template<typename T> class MyVector<T*> { ... }; —— 对所有指针类型特化
- 再如：template<typename T> class MyVector<const T> { ... }; —— 对所有const修饰的类型特化
- 偏特化不能有默认参数，也不能是函数模板的特性
显式实例化与特化的区别
显式实例化（template class MyVector<double>;）只是强制编译器生成某个类型的代码，不改变逻辑；而特化是提供一套全新的实现，逻辑可以完全不同。
立即学习“C++免费学习笔记（深入）”；
- 显式实例化仍用泛型代码，只是提前“具现”出来
- 特化是替换——编译器看到匹配的类型，就跳过泛型，直接用特化版本
- 如果既有显式实例化又有特化，优先使用特化
注意事项和常见陷阱
模板特化容易误用，尤其要注意查找规则和顺序。
- 特化必须在同一命名空间中声明，且在首次使用前可见
- 类模板偏特化不能比原模板更“宽泛”，比如原模板是template<typename T, typename U>，偏特化不能只写template<typename T> class X<T, T>（这属于“非推导上下文”，实际可行，但需注意匹配限制）
- 函数模板全特化存在，但调用时可能被普通重载函数抢走优先权，所以一般建议用重载代替函数全特化
基本上就这些。特化本质是“定制化开关”，用得好能让泛型代码既保持通用性，又对关键类型高效精准。不复杂但容易忽略细节。
