模板特化是编译期精准覆盖泛型行为的机制，要求与主模板签名一致、在命名空间作用域定义；全特化需填满所有参数，偏特化仅支持类模板；函数模板不支持偏特化，应以重载+enable_if或c++20 concepts替代。
模板特化是用来覆盖默认模板行为的“精准补丁”
它不是重载，也不是继承，而是在编译期告诉编译器：“当类型是 int（或某个具体类型/条件）时，请用我这个版本，别用泛型那个。”关键在于：特化必须和主模板有相同签名，只是实现不同。
常见错误现象：error: explicit specialization in non-namespace scope——把特化写在类内部；或者特化后调用仍走泛型版——没写全参数、或用了引用/const 修饰导致类型不匹配。
- 特化必须在命名空间作用域（不能在函数或类定义里）
- 全特化要写出所有模板参数的具体类型，比如
template struct MyTrait<int></int> - 偏特化只支持类模板（C++17 起函数模板仍不支持偏特化）
- 如果主模板带非类型参数（如
size_t N），特化时也得给出具体值，比如template struct Buffer
函数模板不能偏特化，但可以用重载 + enable_if 替代
很多人想写 template <typename t> void foo(T);</typename> 然后偏特化成 template <typename t> void foo(T*);</typename>——这在标准 C++ 中非法。编译器会直接报错：error: function template partial specialization is not allowed。
正确做法是用重载配合 std::enable_if 或 C++20 的 requires 来做约束：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
void foo(T x) { /* 通用逻辑 */ }
<p>template <typename T>
std::enable_if_t<std::is_pointer_v<T>> foo(T p) {
// 指针专用逻辑
}- 函数模板只有全特化合法（
template void foo<int>(int)</int>），但极少用——可读性差、易被重载掩盖 -
enable_if版本本质是重载，不是特化，所以优先级规则按重载解析走 - C++20 可改用
requires std::is_pointer_v<t></t>，更直观，且不会因 SFINAE 失败导致意外匹配
类模板全特化要严格匹配主模板的参数列表
比如主模板是 template <typename t size_t n> struct Array;</typename>，那特化 int 类型就必须同时指定 N 值：template <size_t n> struct Array<int n></int></size_t> 是偏特化（合法），而 template struct Array<int></int> 才是全特化（也合法）。
容易踩的坑：template struct Array<int></int> 会编译失败——参数数量对不上，编译器找不到匹配的主模板。
- 全特化必须填满所有参数，一个都不能少，也不能多
- 如果主模板有默认参数（如
template <typename t typename alloc="std::allocator<T">></typename>），特化时仍需显式写出默认值或覆盖它 - 特化定义必须在主模板定义之后，否则链接时报
undefined reference
特化和 SFINAE、Concepts 的关系：别混用，也别替代
特化是“静态分支”，SFINAE 和 Concepts 是“编译期约束筛选”。三者目标类似（按类型分发行为），但机制和适用场景不同。硬用特化去模拟 enable_if 逻辑，往往导致代码冗长、难以维护。
例如，想让 Container 特化只对支持 begin() 的类型生效？别写一堆特化组合，直接用 Concepts：
template <typename C>
requires std::ranges::range<C>
void process(C& c) { /* ... */ }- 特化适合“已知有限类型集合”的场景（比如
bool、char*、std::string这些明确要特殊处理的） - SFINAE / Concepts 更适合“满足某组操作契约”的泛化需求（比如任意容器、任意可调用对象）
- 混合使用时注意：特化版本优先级高于 SFINAE 约束的模板，但低于非模板函数重载
真正难的不是语法，是判断该不该特化——多数时候，先想清楚是不是真需要绕过泛型逻辑，还是只是接口设计没分层。
