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

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

函数重载决议（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 转换构造函数且可见）。

标签： c++ 作用域 隐式转换