全特化是完全指定所有模板参数，使编译器将其视为独立非模板实体；偏特化仅适用于类模板，须至少保留一个参数未定，且受ODR严格约束。
模板全特化就是“完全指定所有参数”
全特化是把一个模板的所有模板参数都替换成具体类型或值，编译器会把它当作一个独立的、非模板的实体来处理。它和原始模板同名，但不再接受任何类型推导——你写 std::vector 是实例化，而写 MyContainer 的全特化版本，则是直接调用那个特化定义。
常见错误现象：error: explicit specialization of 'MyContainer——说明你在某个翻译单元里先用了 MyContainer，之后才定义 MyContainer 的全特化，编译器不认。
- 必须在首次使用前声明或定义（通常放头文件里）
- 函数模板允许全特化，但实践中更推荐重载；类模板全特化很常见，比如
std::hash<:string> - 全特化不参与 SFINAE，匹配失败就直接报错，不像普通模板还能退到其他候选
偏特化只适用于类模板，且必须“留至少一个参数未定”
偏特化不是语法糖，是 C++ 专门给类模板开的后门——函数模板根本不支持偏特化。它的核心限制是：偏特化版本本身仍是模板，只是比原模板“约束更强”。比如 MyContainer 或 MyContainer 都算偏特化，因为 T 还没被确定。
使用场景：为指针类型统一加 delete 逻辑，或为容器适配器屏蔽某些不合法组合（如 std::vector 就是偏特化实现的位压缩）。
立即学习“C++免费学习笔记（深入）”；
- 偏特化不能用于函数模板（写了会报
error: function template partial specialization is not allowed） - 偏特化匹配优先级高于主模板，但低于全特化；多个偏特化之间不能有歧义（比如
T*和int*同时存在，后者是全特化，没问题；但T*和const T*可能冲突） - 偏特化定义中不能出现默认模板参数（C++17 起允许，但老项目慎用）
偏特化和重载不是一回事，别拿函数那一套去套类模板
这是最容易混淆的点：函数重载靠参数类型匹配，而类模板偏特化靠的是“模板实参模式匹配”。你不能指望 MyContainer 自动选中 MyContainer 的偏特化——int 不匹配 T* 模式，根本不会进那个分支。
典型误用：template 写了个 Holder 偏特化，却试图用 Holder 触发它——不会生效，连编译都过不去。
- 偏特化只对“实例化时提供的实参”做模式匹配，不看
T的内部类型关系（比如std::is_pointer_v不影响偏特化选择） - 想按类型特性分派，得用
std::enable_if或 C++20requires，而不是依赖偏特化 - 偏特化不能递归定义自己（比如在
MyContainer里再用MyContainer），容易引发无限依赖
别在头文件里随便加偏特化，小心 ODR 违规
偏特化受 ODR（One Definition Rule）约束比全特化更严：同一个偏特化在所有翻译单元里必须字面一致，否则链接期可能静默出错（比如行为不一致、崩溃），而且很难定位。
常见坑：MyContainer<:string> 在 A.cpp 里被隐式实例化，B.cpp 里又定义了 MyContainer 的偏特化，但忘了在 A.cpp 包含该偏特化定义——A.cpp 用的是主模板，B.cpp 用的是偏特化，两个定义不同，ODR 破坏。
- 所有偏特化必须定义在头文件中，并确保每个包含它的 TU 都看到同一份定义
- 如果偏特化依赖于某个仅在 .cpp 里定义的辅助类，把它抽成内联函数或 constexpr 工具，别让偏特化体里出现未定义符号
- 模板别名（
using）不能偏特化，只能对所 alias 的原始模板做
if constexpr 更可控，也更容易被现代工具链理解。 
