模板特化和偏特化是C++泛型编程中为特定类型或类型模式提供定制实现的关键手段；全特化完全指定所有参数，仅支持类模板；偏特化匹配一类类型模式，也仅限类模板；变量模板支持全特化，别名模板需借类模板间接实现偏特化。
模板特化和偏特化是 C++ 泛型编程中控制“具体行为”的关键手段——不是所有类型都该用同一套逻辑，而特化让你能为特定类型（或类型模式）提供定制实现。
全特化：完全指定所有模板参数
当你对某组确定的模板实参有特殊处理需求时，就写全特化。它必须和原模板签名一致，但所有参数都被具体类型/值替代。
- 函数模板不支持全特化（会引发重载歧义），只支持类模板全特化
- 类模板全特化要加 template，后面直接跟类名+具体参数
- 全特化本质是独立类型，不继承原模板的成员，需重新定义所有需要的成员
例子：
template
偏特化：匹配一类类型模式
偏特化只适用于类模板（函数模板仍不支持），它不指定全部参数，而是给出更宽泛的类型约束，让编译器能自动匹配符合模式的实例。
立即学习“C++免费学习笔记（深入）”；
- 常见形式：指针、引用、const 修饰、容器嵌套等模式识别
- 偏特化声明也以 template<...> 开头，但参数列表是部分占位符 + 部分具体形式
- 多个偏特化之间不能有二义性；若同时匹配，更特化的那个胜出（如
T*比T更特化）
例子：
template变量模板和别名模板也能特化
C++14 起变量模板支持全特化；C++11 起别名模板虽不能直接偏特化，但可通过间接方式（比如用类模板偏特化 + using）达成效果。
- 变量模板特化写法类似类模板全特化：
template constexpr bool is_integral_v= true; - 别名模板想“偏特化”，就定义一个带偏特化的类模板，再用
using引出它的 type 成员
例子（别名模板模拟偏特化）：
template注意优先级和限制
编译器选择模板实例时，按严格顺序匹配：普通模板 → 偏特化 → 全特化。但有些组合不合法，容易踩坑。
- 函数模板只允许重载，不允许特化（哪怕语法通过，行为也不可靠）
- 不能只偏特化某个成员函数，必须整个类模板偏特化
- 偏特化不能出现在函数作用域内（必须在命名空间层级）
- 多个偏特化若无法明确排序（比如
T*和const T），编译失败
基本上就这些。用好特化和偏特化，能让泛型代码既保持通用性，又在关键路径上精准优化或适配特殊语义。不复杂，但容易忽略细节。
