c++中的函数重载决议规则_c++ Overload Resolution详解【语言核心】

函数重载决议分三阶段：候选函数收集（作用域内同名函数）、可行函数筛选（参数数量匹配且隐式转换合法）、最佳匹配选择（按转换质量字典序比较）。

函数重载决议（Overload Resolution）不是“选一个看起来最像的”，而是编译器按严格顺序筛选候选函数、排序可行函数、最终选出最佳匹配的过程。理解它，关键在三个阶段：候选函数收集 → 可行函数筛选 → 最佳匹配选择。

一、候选函数（Candidate Functions）：先找“有资格参与竞争”的函数

编译器只考虑作用域内可见、函数名与调用名完全一致的函数（包括模板函数），不检查参数类型是否匹配，也不展开模板。例如：

• 类内声明的成员函数（含隐式 this 参数）；
• 同名的非成员函数（含 ADL 查找的友元或命名空间函数）；
• 构造函数（用于直接初始化或复制初始化）；
• 转换函数（用于用户定义的类型转换）。

注意：using 声明可将基类或命名空间中的重载集带入当前作用域，它们也计入候选。

二、可行函数（Viable Functions）：剔除明显“不能用”的函数

候选函数必须满足两个硬性条件才能成为可行函数：

• 形参个数 ≥ 实参个数（可变参数或默认参数可补足）；
• 每个实参都能通过一个隐式转换序列（implicit conversion sequence）转为对应形参类型（不允许用户定义的转换后接另一个用户定义的转换）。

例如：void f(int); void f(double); 调用 f('a') 中，char→int 和 char→double 都是合法的隐式转换，两个函数都可行；但若还有 void f(std::string)，则 char→std::string 需要调用 std::string 构造函数（用户定义转换），而 char 本身没有到 std::string 的标准转换，因此该函数不可行（除非存在 char 到 std::string 的非 explicit 转换构造函数且可见）。

三、最佳匹配（Best Viable Function）：按转换“质量”精确打分

对所有可行函数，编译器为每个实参-形参对计算一个隐式转换序列，并按严格优先级排序：

• 精确匹配（exact match）：类型相同、左值/右值类别一致、或仅涉及限定符添加（如 T → const T）；
• 提升转换（promotion）：如 char → int、float → double；
• 标准转换（standard conversion）：如 int → double、int* → void*；
• 用户定义转换（user-defined conversion）：经由 operator T() 或单参数构造函数（且非 explicit）；
• 省略号转换（ellipsis conversion）：匹配 ... 形参，优先级最低。

比较规则是“字典序”：先比第一个参数的转换等级，等级高者胜；相同时比第二个，依此类推。若某函数在所有参数上都不劣于其他函数，且至少一个参数更优，则它是唯一最佳匹配。否则报错（ambiguous call）。

四、特殊情形与常见陷阱

以下情况容易引发意外行为：

• const 与 volatile 限定符影响匹配精度：void g(T) 和 void g(const T&) 对 T 类型实参，后者需加 const，属于精确匹配（引用绑定允许添加顶层 cv）；
• 右值引用和完美转发：template void h(T&&) 对右值实参生成 T=int，调用 h(int&&) 是精确匹配；对左值则推导为 T=int&，形成 h(int&&) 绑定左值——这是引用折叠结果，仍属可行，但转换等级低于 h(const int&)；
• 默认参数和重载交互：void k(int); void k(int, int = 0); 调用 k(1) 会产生两个可行函数，但编译器不会因默认参数存在就排除前者——两者都可行，且第一个参数都是精确匹配，此时第二个函数多一个参数，不构成更优，所以选 k(int)；
• 模板 vs 非模板：当非模板函数和函数模板特化都可行时，非模板函数优先（模板不参与“更优”比较，只在无非模板时才考虑）。

基本上就这些。重载决议不复杂但容易忽略细节，尤其在混合引用、cv 限定、模板推导时，建议用 -fno-elide-constructors 或编译器诊断（如 clang 的 -S -emit-llvm 查看候选）辅助验证。