函数模板全特化是完全替代主模板的定制版本，必须依附于已有模板；重载则是独立普通函数，优先级最高且无模板依赖限制。
函数模板特化会替换整个模板定义，而重载只是新增一个独立函数
特化（template<>）不是“加一个新函数”，而是为某组具体类型**完全替代**原本的模板生成逻辑；重载则是普通函数重载机制，和模板无关。编译器在函数匹配时，先找非模板函数（含特化），再考虑模板实例化——但特化本身仍属于模板家族，而重载函数是完全独立的实体。
-
template<typename T> void f(T);是主模板 -
template<> void f<int>(int);是全特化：它不参与模板推导，只对int生效，且优先级高于主模板 -
void f(int);是重载：它根本不是模板，是普通函数，优先级最高（比任何模板都高）
特化必须基于已有模板，重载可以任意定义
你不能凭空写一个 template<> void g<double>(double);，除非之前已声明过 template<typename T> void g(T);。而重载没有这个限制：void g(double); 可以单独存在，哪怕从未定义过模板。
- 特化本质是“模板的定制版本”，语法上必须依附于某个模板声明
- 重载函数可以有不同参数个数、不同 const/volatile 修饰、甚至不同返回类型（只要签名不同）
- 特化不能改变参数个数或调用约定，只能细化类型——比如把
T换成int*或std::vector<int>
偏特化（partial specialization）只适用于类模板，函数模板不支持
C++ 禁止对函数模板做偏特化，比如 template<typename T> void h(std::vector<T>); 这种写法是**非法的**。你可能会以为这是“针对 std::vector 的偏特化”，其实它是另一个独立的函数模板（主模板），和 template<typename T> void h(T); 构成重载关系。
template<typename T> void h(T); // 主模板 template<typename T> void h(std::vector<T>); // ❌ 不是偏特化，是重载模板（新模板） void h(const char*); // ✅ 普通重载
- 类模板可以写
template<typename T> struct X<std::vector<T>> { ... };，这是合法偏特化 - 函数模板遇到类似需求，只能靠重载 + 类型萃取（如
std::enable_if）或概念（C++20requires）来模拟 - 试图对函数模板偏特化会导致编译错误：
error: function template partial specialization is not allowed
匹配顺序和优先级容易混淆，尤其涉及引用和 cv 限定符
当多个候选同时存在（普通函数、特化、重载模板、主模板），编译器按严格顺序筛选：普通函数 ≈ 特化 > 重载模板 > 主模板。但 cv 限定（const、&）会让实际行为变得微妙——比如 void f(const int&) 和 template<typename T> void f(T) 对 int x; 调用 f(x)，前者胜出；但若只有 template<> void f<int>(int) 特化，则它不匹配 const int&，反而可能退回到主模板。
立即学习“C++免费学习笔记（深入）”；
- 特化不自动适配引用/const：特化
f<int>(int)≠f<int>(const int&) - 重载可以精确控制形参类型，灵活性更高
- 实践中更推荐用重载 +
std::is_same_v或概念约束，而非特化，避免优先级陷阱
