函数重载无优先级，仅由编译器依重载决议选最佳匹配；template<T> foo(T)不如void foo(int)受欢迎，因精确匹配优于模板推导；SFINAE和C++20 requires用于控制候选函数进入重载集，而非调整优先级。
函数重载没有“优先级”可设，只有编译器根据重载决议规则选出的“最佳匹配”。所谓“控制优先级”，本质是控制哪些候选函数能进入重载集合，或让某些匹配在编译期被排除。
为什么template<typename T> void foo(T)总比void foo(int)更不受欢迎
这不是优先级高低的问题，而是重载决议中“精确匹配”压倒“模板推导”的硬规则。只要存在非模板函数能接受实参（比如传int时有foo(int)），编译器就绝不会退而求其次选foo<int>(int)。
常见误操作是试图靠“写得更早”或“加inline”来提升模板版本权重——没用。真正起作用的是：是否参与重载集合、是否满足参数约束、是否需要用户定义转换。
- 非模板函数和显式特化函数（如
template<> void foo<int>(int)）直接参与重载，且通常胜过泛型模板 - 类模板的全特化（
template<> struct X<int> { ... };）不参与函数重载决议，它只是类型定义 - 函数模板不能偏特化，只能靠SFINAE或C++20
concepts做条件剔除
std::enable_if不是开关，是“让模板替换失败”的触发器
写template<typename T, typename = std::enable_if_t<std::is_integral_v<T>>> void foo(T)，目的不是“启用这个版本”，而是让T为double时整个模板声明因enable_if_t<false>（即void未定义）而替换失败——从而被SFINAE静默丢弃，不进重载集。
立即学习“C++免费学习笔记（深入）”；
容易踩的坑：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 把
enable_if放在返回类型里（如auto foo(T) -> enable_if_t<...>）：可行但可读性差，且C++20后已被requires取代 - 用
static_assert代替enable_if：断言失败会直接报错，不是SFINAE，无法实现“备选”逻辑 - 约束条件写成
std::enable_if_t<std::is_integral_v<T>, int> = 0却忘了给第二个模板参数命名：必须写成typename = std::enable_if_t<...>或std::enable_if_t<..., int> = 0，否则语法错误
C++20 requires比enable_if更直白，但底层仍是SFINAE
requires clause 不是新机制，它只是让约束表达式更易写、更易读。下面两个声明等价：
template<typename T> requires std::is_integral_v<T> void foo(T); template<typename T, std::enable_if_t<std::is_integral_v<T>, int> = 0> void foo(T);
关键差异在于可维护性：
-
requires支持合取（&&）、析取（||），还能复用概念（concept Integral = is_integral_v<T>;） - 错误信息中，
requires会直接指出哪个约束失败，而enable_if常报“no type named ‘type’ in struct enable_if<false>”这种晦涩提示 - 多个
requires子句可分层，例如先requires Copyable<T>再requires std::is_signed_v<T>，调试时更容易定位
模板特化不是重载控制手段，而是类型专属实现
函数模板全特化（如template<> void foo<char*>(char*)）会被当作独立函数加入重载集，但它和泛型版本之间没有“谁优先”的关系——它们是平等候选者，最终谁胜出仍由参数匹配精度决定。
真正危险的操作是混用特化与SFINAE：
- 对同一函数名，既有
template<typename T> void foo(T)带enable_if，又有template<> void foo<int>(int)：可能引发ODR violation（若特化定义在头文件中且被多处包含） - 类内定义的函数模板，不允许特化（C++标准禁止），必须移到类外
- 比起特化，更推荐用
if constexpr在函数体内分支：它不增加重载数量，也避免特化管理成本
最常被忽略的一点：SFINAE只对模板参数替换过程有效，对函数体内的任何错误（比如调用不存在的成员）都不适用——那属于硬错误，直接编译失败。
