函数重载通过参数列表差异实现多态，编译器在编译期依据参数类型、数量和顺序进行名称查找、可行性检查与最佳匹配选择，优先级从高到低为精确匹配、提升转换、标准转换、用户定义转换和省略号匹配，返回类型不参与决策，const成员函数因this指针类型不同可重载，避免二义性是设计关键。
函数重载是C++中支持多态的一种机制，允许在同一作用域内定义多个同名函数，只要它们的参数列表不同。调用时，编译器根据实参的类型、数量和顺序选择最合适的函数版本。这个过程称为重载解析（Overload Resolution），其匹配规则和实现原理如下。
重载匹配的基本规则
当调用一个重载函数时，编译器会按照以下步骤进行匹配：
- 收集所有同名的候选函数（包括继承而来的、模板实例化的等）
- 筛选出参数数量匹配且实参能进行类型转换的可行函数
- 对每个可行函数评估实参到形参的转换等级，选择最佳匹配
匹配优先级从高到低大致如下：
- 精确匹配（类型完全一致，或仅涉及顶层const、数组/函数到指针退化）
- 提升转换（如char → int，float → double）
- 标准转换（如int → double，派生类指针→基类指针）
- 用户定义的转换（类的构造函数或转换运算符）
- 省略号参数（...）匹配，优先级最低
如果找不到唯一最佳匹配，编译器将报错：调用二义性或无匹配函数。
立即学习“C++免费学习笔记（深入）”；
重载解析的实现原理
编译器在编译期完成重载解析，不涉及运行时开销。整个过程由三个阶段组成：
- 名称查找：在作用域中找到所有名为f的函数，形成候选函数集
- 可行性检查：检查每个函数是否可以被调用（参数个数匹配，每个实参能转换为对应形参类型）
- 最佳匹配选择：对每个参数位置比较转换成本，选择总体转换代价最小的函数
编译器为每个实参-形参对计算一个转换序列等级，然后综合所有参数的等级。如果两个函数在某个参数上A优于B，而在另一个参数上B优于A，则调用是二义性的。
例如：
void f(int);void f(double);
f(42); // 调用 f(int)，精确匹配
f(3.14); // 调用 f(double)，精确匹配
f('a'); // 调用 f(int)，char→int是整型提升，优于char→double的标准转换
特殊情形与注意事项
函数重载中有一些容易忽略的细节：
- 返回类型不参与重载决策。void f() 和 int f() 不能共存
- 顶层const不影响重载，但底层const会影响（如指针或引用的const）
- 函数模板也会参与重载，模板生成的实例与普通函数一起参与选择
- 默认参数不影响重载解析，仅在调用时补全参数
例如，const成员函数和非const成员函数可重载，因为this指针类型不同：
class A {void func();
void func() const;
};
非常量对象调用前者，常量对象调用后者。
总结
函数重载依赖编译器在编译期进行名称查找、可行性判断和最佳匹配选择。匹配依据是参数类型，而非返回类型。转换成本越低的匹配优先级越高。设计重载函数时应避免二义性，合理利用类型提升和const重载等特性。基本上就这些。不复杂但容易忽略细节。
