模板特化是C++中为特定类型提供定制实现的机制，分全特化（所有参数确定）和偏特化（仅类模板支持，匹配类型模式），函数模板则用重载或if constexpr模拟类似效果。
模板特化是 C++ 中对通用模板进行“定制化重写”的机制，当编译器遇到某个具体类型（或一组类型）时，不使用原始模板定义，而是启用你为该类型专门编写的版本。它不是重载，也不是继承，而是在模板匹配阶段的优先级更高的替代方案。
为什么需要模板特化
通用模板无法覆盖所有场景：比如对指针类型做比较应解引用再比，对 bool 类型序列化应输出 "true"/"false" 而非 1/0，或者对 std::string 做哈希要避免逐字节计算——这些逻辑和基础模板不同，硬塞进主模板会让代码臃肿、效率下降、语义模糊。
特化让“通用逻辑”和“特殊逻辑”分离，保持主模板简洁，同时保证关键类型有最优实现。
全特化：为完全确定的类型提供专属实现
全特化指明了模板所有参数的具体类型，语法是在模板名后加 并填入实际类型：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
struct Hash {
size_t operator()(const T& t) { /* 通用哈希 */ }
};
<p>// 全特化：针对 const char<em>
template<>
struct Hash<const char</em>> {
size_t operator()(const char* s) {
return s ? std::hash<std::string_view>{}(s) : 0;
}
};</p>- 全特化必须在原始模板声明之后定义
- 不能只特化部分参数（比如只指定第一个为 int，第二个仍用 typename）——那是偏特化，C++98 不支持类模板偏特化，但函数模板不允许偏特化
- 调用 Hash<const char*>{}("hello") 会精确匹配这个全特化版本
偏特化：为一类类型模式提供定制实现
偏特化适用于“某类结构”，比如所有指针、所有容器、所有 cv 限定的类型。仅类模板支持偏特化（函数模板不行）：
// 偏特化：所有指针类型
template<typename T>
struct Hash<T*> {
size_t operator()(T* p) {
return std::hash<uintptr_t>{}(reinterpret_cast<uintptr_t>(p));
}
};
<p>// 偏特化：所有 const T& 类型
template<typename T>
struct Hash<const T&> {
size_t operator()(const T& t) { return Hash<T>{}(t); }
};</p>- 偏特化不是重载，不参与函数重载决议；它是模板实例化时的候选，按“特化程度”排序匹配
- 多个偏特化之间不能有歧义（例如不能同时定义 T* 和 const T* 的偏特化，又让 const int* 同时匹配两者）
- 偏特化可以嵌套：比如 template<typename T> class Hash<std::vector<T>>
函数模板的“等效偏特化”：重载 + 启用约束
C++ 不允许函数模板偏特化，但可通过函数重载配合 SFINAE 或 constexpr if 模拟类似效果：
template<typename T>
void print(const T& x) { std::cout << "generic: " << x << '\n'; }
<p>// 等效于偏特化 const char<em>
void print(const char</em> s) { std::cout << "c-string: " << s << '\n'; }</p><p>// C++17 起更推荐用 if constexpr 分支
template<typename T>
void print_v2(const T& x) {
if constexpr (std::is_same_v<T, bool>) {
std::cout << "bool: " << (x ? "true" : "false") << '\n';
} else {
std::cout << "other: " << x << '\n';
}
}</p>- 普通重载优先级高于函数模板，所以 const char* 会调用重载版而非模板版
- if constexpr 在编译期丢弃不满足分支，避免实例化失败，比 enable_if 更直观
- 这种写法本质是“一个模板内分情况”，比写多个重载更易维护
