模板特化是C++为特定类型提供专门实现的机制，分为全特化（所有参数具体化）和偏特化（仅部分参数固定，仅类模板支持）；变量模板可全特化，别名模板需间接特化；特化不参与SFINAE，错误即硬错误。
模板特化是C++中为特定类型（或一组类型）提供专门实现的机制，它让通用模板在遇到某些具体类型时，能绕过默认版本，改用更合适、更高效或语义更准确的定制代码。
全特化：为某个具体类型完全重写模板
全特化针对模板所有参数都给出具体类型。编译器会优先选择全特化版本，而不是泛型版本。
template<typename T>
struct Print {
static void value(const T& t) { std::cout << "Generic: " << t << '\n'; }
};
<p>// 全特化：针对 const char<em>
template<>
struct Print<const char</em>> {
static void value(const char* s) { std::cout << "C-string: " << (s ? s : "(null)") << '\n'; }
};</p><p>// 全特化：针对 int
template<>
struct Print<int> {
static void value(int n) { std::cout << "Integer (hex): 0x" << std::hex << n << std::dec << '\n'; }
};
使用示例：
Print<double>::value(3.14); // Generic: 3.14
Print<const char*>::value("hi"); // C-string: hi
Print<int>::value(255); // Integer (hex): 0xff
偏特化：只固定部分参数，适用于类模板
函数模板不支持偏特化（只能全特化），但类模板可以。偏特化常用于处理指针、引用、容器内部类型等模式。
立即学习“C++免费学习笔记（深入）”；
template<typename T>
struct IsPointer {
static constexpr bool value = false;
};
<p>// 偏特化：匹配所有 T<em> 类型
template<typename T>
struct IsPointer<T</em>> {
static constexpr bool value = true;
};</p><p>// 偏特化：匹配 const T<em>（注意：这是另一个独立偏特化）
template<typename T>
struct IsPointer<const T</em>> {
static constexpr bool value = true;
};
用法：
static_assert(IsPointer<int*>::value == true); static_assert(IsPointer<double>::value == false);
变量模板和别名模板也能特化
C++14起支持变量模板，同样可全特化；C++11起的别名模板（using）虽不能直接特化，但可通过特化其依赖的类模板间接实现。
// 变量模板全特化
template<typename T>
constexpr bool is_integral_v = std::is_integral_v<T>;
<p>template<>
constexpr bool is_integral_v<char16_t> = true; // 手动补充（实际标准已定义）</p><p>// 别名模板间接特化示例
template<typename T>
struct MakeSignedHelper { using type = typename std::make_signed<T>::type; };</p><p>template<>
struct MakeSignedHelper<bool> { using type = signed char; }; // 特化处理 bool</p><p>template<typename T>
using make_signed_t = typename MakeSignedHelper<T>::type;
特化与重载的区别要点
函数模板靠重载决议选最佳匹配，而类/变量模板靠特化机制；特化不是重载，它不参与SFINAE失败回退——如果特化本身无效（如用了非法表达式），就是硬错误，而非静默忽略。
- 全特化必须在原始模板可见后定义，且声明需与原模板签名一致（仅类型不同）
- 偏特化形参表不能与原模板完全相同，至少有一个是推导形式（如
T*、T[]、MyClass<t></t>） - 特化版本必须定义在同一个命名空间，且通常应与原始模板紧邻，避免ODR违规
