模板特化是为特定类型提供完全独立的实现，非重载补充；全特化用template，偏特化c++11起支持但匹配严格，需注意定义顺序、作用域及与概念、if constexpr的语义分工。
模板特化不是重载，别用函数重载那一套去猜
模板特化本质是「为特定类型提供完全独立的实现」，不是对原模板的补充或分支。编译器看到 T=int 时，如果存在 template Struct MyTrait<int></int>，就直接用它，连原模板的声明都不看了。常见错误是写成带参数的偏特化（比如 template<typename t> struct MyTrait<t></t></typename>）却误以为能匹配 int* 和 double* 的共性逻辑——其实可以，但必须明确这是「偏特化」，且 C++98/03 不支持类模板的偏特化（只支持全特化），C++11 起才放开。
- 全特化必须写
template，漏掉就变成新模板或编译错误 - 偏特化不能有默认参数，否则多数编译器报
explicit specialization after implicit instantiation - 函数模板不支持偏特化，只有全特化；想“按类别定制”，得用
enable_if或概念（C++20）
全特化要和主模板在同一作用域，头文件里别拆开
全特化声明必须出现在主模板定义之后、首次实例化之前。最稳妥的做法是：主模板定义、所有全特化定义，全部放在同一个头文件里，且特化紧随主模板之后。常见坑是把特化放到 .cpp 里——链接期找不到定义，报 undefined reference to 'MyTrait<bool>::value'</bool>；或者在某个内联函数里提前用了 MyTrait<bool></bool>，但特化定义还在后面，导致 ODR 违反。
- 头文件中顺序必须是：
template<typename t> struct MyTrait { ... };</typename>→template struct MyTrait<bool> { ... };</bool> - 特化里的静态成员（如
Static constexpr bool value = true;）仍需在 .cpp 中定义（除非是inline或字面量类型且已初始化） - 使用
extern template禁止隐式实例化时，特化不受影响，该实例化还得实打实存在
偏特化匹配规则很严格，别指望它自动推导“相似类型”
偏特化只看模板参数形式是否字面匹配，不进行类型转换、不退化指针/引用、不考虑 const 修饰符的传递性。比如 template<typename t> struct Wrap<t></t></typename> 只匹配裸指针，const int* 会走主模板，而不是先去掉 const 再匹配——因为 const int* 是“指向 const int 的指针”，类型就是 int const *，和 T* 形式一致，能匹配；但 T* const（常量指针）就不行，因为它是顶层 const，模板形参 T* 解不出 T。
- 匹配失败时，编译器不会报“没找到偏特化”，而是静默回退到主模板，容易埋下逻辑错误
-
std::vector<t></t>这种嵌套模板不能直接偏特化为template<typename t> struct MyAdapter<:vector>></:vector></typename>，必须写成template<typename t typename a> struct MyAdapter<:vector a>></:vector></typename> - 可借助
std::remove_cv_t、std::decay_t在主模板内部归一化类型，比堆一堆偏特化更可控
C++20 概念让定制更安全，但别急着全换掉特化
概念（concepts）适合表达“满足某组操作的类型集合”，比如 sortable 或 Hashable，但它不替代特化——特化解决的是“这个类型我就是要硬编码一套行为”，概念解决的是“这类类型共享同一套泛型逻辑”。混用时要注意：用概念约束的函数模板，和它的全特化是正交关系；你写了 void sort(Container& c) requires RandomAccessContainer，再特化 sort<:list></:list> 是非法的，因为函数模板不支持偏特化。
立即学习“C++免费学习笔记（深入）”；
- 概念约束失败是编译期 SFINAE 错误，而特化不匹配是静默回退，调试体验差很多
- 已有大量基于特化的库（如
std::iterator_traits）没法一夜迁移到概念，兼容层仍需特化 - 真正该警惕的是“为每个内置类型写一个全特化”，这往往说明抽象层次错了——优先考虑
if constexpr+ 主模板内部分支
特化真正的复杂点不在语法，而在语义边界：什么时候该用特化，什么时候该用 if constexpr，什么时候该用概念约束，取决于你是在“替换实现”还是“调整逻辑分支”。类型系统越清晰，特化就越少必要。