函数重载决议分三阶段：候选函数收集（作用域内同名函数）、可行函数筛选（参数数量匹配且隐式转换合法）、最佳匹配选择（按转换质量字典序比较）。
函数重载决议（Overload Resolution）不是“选一个看起来最像的”，而是编译器按严格顺序筛选候选函数、排序可行函数、最终选出最佳匹配的过程。理解它，关键在三个阶段：候选函数收集 → 可行函数筛选 → 最佳匹配选择。
一、候选函数（Candidate Functions）：先找“有资格参与竞争”的函数
编译器只考虑作用域内可见、函数名与调用名完全一致的函数（包括模板函数），不检查参数类型是否匹配，也不展开模板。例如：
- 类内声明的成员函数（含隐式 this 参数）；
- 同名的非成员函数（含 ADL 查找的友元或命名空间函数）；
- 构造函数（用于直接初始化或复制初始化）；
- 转换函数（用于用户定义的类型转换）。
注意：using 声明可将基类或命名空间中的重载集带入当前作用域，它们也计入候选。
二、可行函数（Viable Functions）：剔除明显“不能用”的函数
候选函数必须满足两个硬性条件才能成为可行函数：
立即学习“C++免费学习笔记（深入）”；
- 形参个数 ≥ 实参个数（可变参数或默认参数可补足）；
- 每个实参都能通过一个隐式转换序列（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 查看候选）辅助验证。
