模板特化是为特定类型提供独立实现，类模板支持全特化和偏特化，函数模板仅支持重载；全特化需用template显式声明，偏特化须保留至少一个未绑定参数且仅适用于类模板。
什么是模板特化：当 template<typename t></typename> 不够用时
模板特化不是“重载”，而是为某个具体类型（如 int、char* 或自定义类）提供完全独立的实现。编译器在实例化时，会优先匹配特化版本，而非泛型版本。
常见错误是误以为加个 if constexpr 就算特化——那只是编译期分支，函数签名和实例化行为仍走泛型路径。
- 全特化必须显式写出所有模板参数，且不能省略
template - 类模板可以全特化；函数模板**不允许全特化**（C++标准禁止），只能靠重载或
if constexpr模拟 - 特化版本需在主模板声明之后定义，否则链接时报
undefined reference
类模板全特化的写法与典型用途
最常用于为指针、原始数组、void 等特殊类型定制内存管理或接口语义。比如让 MyVector<char></char> 自动深拷贝字符串，而泛型版本只做浅拷贝。
template<typename T>
class MyContainer {
public:
void process() { std::cout << "generic\n"; }
};
<p>// 全特化：针对 const char<em>
template<>
class MyContainer<const char</em>> {
public:
void process() { std::cout << "specialized for C-string\n"; }
};注意：template 后面的类型必须与主模板参数个数、顺序、cv 限定完全一致。写成 MyContainer<char></char> 和 MyContainer<const char></const> 是两个不同的特化，不可混用。
立即学习“C++免费学习笔记（深入）”；
偏特化只适用于类模板，且必须保留至少一个未绑定参数
偏特化是对“一类类型”做定制，比如所有指针类型、所有容器类型、所有 std::basic_string<t></t>。它比全特化宽松，但比泛型模板更具体。
关键限制：函数模板不支持偏特化（再次强调），试图写 template<typename t> void foo(T*)</typename> 只是重载，不是偏特化。
- 偏特化必须用
template<...></...>声明，且参数列表不能全为空 - 可对模板参数加条件约束，如
template<typename t> class MyContainer<t></t></typename>—— 这里T*是偏特化形式，T仍待推导 - 多个偏特化之间不能有歧义，例如
MyContainer<t></t>和MyContainer<int></int>同时存在时，MyContainer<int></int>会匹配全特化而非前者
template<typename T>
class MyContainer<T*> { // 偏特化：所有指针类型
public:
void process() { std::cout << "pointer version\n"; }
};偏特化 + std::enable_if_t 实现 SFINAE 约束
纯偏特化粒度太粗（比如所有指针都进同一套逻辑），需要用 std::enable_if_t 进一步筛选。这不是替代偏特化，而是和它配合使用。
典型场景：只为算术类型指针（int*、double*）启用某行为，排除 MyClass*。
template<typename T>
class MyContainer<T*> {
static_assert(std::is_arithmetic_v<T>, "only arithmetic pointer supported");
public:
void process() { /* ... */ }
};或者用 std::enable_if_t 做更灵活的启用控制：
template<typename T>
class MyContainer<T*, std::enable_if_t<std::is_integral_v<T>>> {
public:
void process() { std::cout << "integral pointer only\n"; }
};注意：这种写法要求主模板本身带第二个默认模板参数（比如 template<typename t typename="void"></typename>），否则编译器无法解析偏特化中的第二个参数。
最容易被忽略的是：偏特化和 SFINAE 的组合极易因参数推导失败导致静默退回到泛型版本，建议始终用 static_assert 在特化体内兜底校验类型是否符合预期。
