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