模板特化是为特定类型提供独立实现的编译期机制，仅类/变量模板可真正落地；函数模板应优先用重载或if constexpr；类全特化须在主模板后声明，且需完整定义；偏特化仅支持类模板，语法须显式保留未特化参数，不得歧义或更通用。
模板特化不是“重载的替代品”，而是为特定类型组合提供独立实现的编译期机制。它只在类模板和变量模板上能真正落地，函数模板的“特化”极易静默失效，实际应优先用重载或 if constexpr。
类模板全特化必须写在主模板定义之后
编译器只认“先声明、后特化”的顺序。把 template class MyContainer<int></int> 写在 template<typename t> class MyContainer</typename> 前面，大多数编译器会直接忽略特化，还可能不报错。
- 主模板必须已完整声明（不只是前向声明）
- 全特化版本可以完全重构成员变量和接口，比如把
std::vector<t></t>换成固定大小的T[8] - 多个翻译单元中若特化位置不一致，可能触发 ODR 违规——同一特化在不同 .cpp 里被定义两次，链接时报错
类模板偏特化只支持类模板，且语法不能省略模板参数列表
偏特化本质是“模式匹配”，不是“部分填写”。下面这种写法是非法的：
template<typename t>
class Buffer<t> { ... }; // ❌ 错误：缺少 template 或 template<typename...> 前缀
</typename...></t></typename>
正确写法必须显式保留未特化的参数：
template<typename t>
class Buffer<t> { ... }; // ✅ 合法偏特化：T 仍泛型，10 是字面量
</t></typename>
- 偏特化只能用于类模板（C++ 标准明确禁止函数模板偏特化）
- 偏特化之间不能有歧义：比如同时存在
Buffer<t></t>和Buffer<int n></int>，当实例化Buffer<int></int>时，编译器无法决定选哪个，直接报错 - 偏特化不能比主模板更“通用”，否则会被视为重复定义
函数模板别写全特化，改用重载或 if constexpr
函数模板全特化（template void foo<int>(int)</int>）看似可行，但极易因声明顺序、隐式实例化时机导致静默退回到通用版本，调试时根本看不出问题。
- 重载更可靠：
void foo(int)与template<typename t> void foo(T)</typename>共存，重载决议天然支持精确匹配 - C++17 起，
if constexpr更干净：if constexpr (std::is_same_v<t int>) { ... }</t>，分支在编译期裁剪，无运行时开销 - 若必须用特化（如配合 SFINAE），务必确保特化声明在所有可能触发通用模板实例化的代码之前
特化生效与否，得看实例化点而非调用点
这是最常被忽略的一点：模板是否使用特化，取决于“首次实例化发生的位置”，而不是你在哪里调用它。如果某个头文件 A 在包含主模板后、还没看到特化声明时就用了 MyClass<int></int>，那编译器就按通用版本生成代码；后续即使在别的文件里写了特化，对 A 也完全无效。
- 把特化和主模板放在同一个头文件里，且特化紧随主模板之后，是最稳妥的做法
- 跨模块复用时，避免在 .cpp 里写特化——它只对该翻译单元可见
- 用
extern template可抑制重复实例化，但不能解决特化不可见问题
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
