全特化是为具体类型提供完全独立的实现，语法为template<> struct X<T>{}，须在主模板后、使用前声明；偏特化则匹配类型模式（如T*），用于一类类型，需避免歧义且受ODR约束。
模板全特化：给某个具体类型写完全不同的实现
当你需要为 int、std::string 或某个自定义类（比如 MyVec<double>）彻底换一套逻辑，而不是复用主模板，就用全特化。它不是“补充”，是“替代”。
常见错误现象：error: explicit specialization of 'template<class T> struct Container' after instantiation —— 全特化声明必须在主模板定义之后、且任何使用之前出现。
- 全特化语法是
template<> struct Container<int> { ... };，注意两个尖括号：template<>表示无模板参数，Container<int>是特化目标 - 不能只特化成员函数而不特化整个类/结构体；想只改一个函数？用偏特化或 SFINAE
- 全特化不是重载，它不参与模板参数推导；如果主模板能匹配，编译器不会自动选你写的特化版本，除非调用时明确指定类型
模板偏特化：匹配一类类型模式，比如所有指针或所有容器
偏特化不是“部分写完”，而是“按类型特征缩小匹配范围”。例如你想让所有指针类型走同一套逻辑，就偏特化 T*；想让所有 std::vector<T> 用特殊构造方式，就偏特化 std::vector<T>。
使用场景：写泛型容器适配器、序列化框架、日志工具里对 const char* 和 std::string 做不同处理。
立即学习“C++免费学习笔记（深入）”；
- 偏特化必须基于主模板已声明的参数形式；不能凭空新增参数，也不能改变参数数量（比如主模板是
template<class T, int N>，偏特化只能是template<class T> struct X<T*, 42>这种固定一个值的形式） -
template<class T> struct Container<T*>是合法偏特化，但template<class T> struct Container<T&>在 C++17 前不被允许（引用类型不能作为模板实参实例化类模板，除非是别名模板） - 多个偏特化之间不能模糊匹配，否则报错
ambiguous partial specializations；比如同时写了T*和int*，而你又用了int*，编译器会优先选更特化的int*全特化，但如果只有两个偏特化（T*和const T*），对const int*就可能歧义
偏特化与 SFINAE、std::enable_if 的实际取舍
不是所有“按类型分支”的需求都该用偏特化。当逻辑差异小、只是微调几个函数，或者条件判断较复杂（比如“T 支持 .data() 且是连续内存”），用 std::enable_if + 函数重载更轻量、更易维护。
性能影响几乎为零——两者都在编译期决定，但偏特化会生成独立的类实例，而 enable_if 通常复用同一类定义，仅函数体不同。
- 偏特化适合：整体接口行为变化大（比如
std::tuple_size对普通类型返回 0，对std::pair返回 2） -
std::enable_if更适合：仅构造、赋值、序列化等少数操作有差异，其余完全一致 - 注意：C++20 后，用
requires约束比enable_if更清晰，但偏特化本身不支持约束子句，只能靠外层requires配合主模板或用概念约束偏特化条件
别忘了特化和主模板的可见性顺序与 ODR
模板特化不是“插件”，它和主模板一样受 ODR（One Definition Rule）约束。同一个特化在多个编译单元中出现，内容必须字面一致，否则链接失败或未定义行为。
容易踩的坑：头文件里写了主模板，但在某个 .cpp 里悄悄加了全特化，其他文件看不到，结果有的地方用主模板，有的用特化，行为分裂。
- 所有特化（全/偏）应和主模板一起放在头文件中，或至少确保所有包含该模板的 TU 都能看到相同版本的特化声明
- 不要在匿名命名空间或 .cpp 内部做特化——它对外不可见，且违反 ODR
- 类内定义的成员函数，在特化类中也要显式定义（不能只声明），否则链接时报
undefined reference to Container<int>::foo()
