函数重载解析是编译器在编译期根据实参选择最佳匹配函数的过程。首先确定同名的候选函数，筛选出形参数量匹配且实参可转换的可行函数。然后按转换等级排序：精确匹配 > 提升转换 > 算术/枚举转换 > 类类型转换 > 指针转换。编译器逐个比较实参的转换质量，选择总体最优且至少一个参数更优的函数。若多个函数转换级别相近导致无法区分，则产生二义性错误。模板函数参与时，优先选非模板函数，多个模板则选最特化的。引用和const也影响重载：int& 与 const int& 可重载，非常量左值优先匹配非const引用，右值引用（int&&）对右值有更高优先级。核心逻辑是：找可行函数 → 按转换成本排序 → 选唯一最佳，否则报错。
在C++中，函数重载的解析（也称为重载决议）是编译器根据调用时提供的实参选择最合适重载函数的过程。这个过程发生在编译期，遵循一套明确的优先级规则，确保在多个重载版本中选出最佳匹配。
候选函数的确定
当调用一个重载函数名时，编译器首先查找所有同名的函数声明，构成候选函数集。这些函数必须在当前作用域中可见，包括从基类继承而来的函数（若在派生类中没有隐藏）。只有参与重载的函数才会被考虑。
接下来，编译器从中筛选出可行函数：即形参数量与实参匹配，且每个实参都能通过某种转换方式传递给对应形参的函数。
最佳匹配的选择标准
在可行函数中，编译器依据实参到形参的类型转换等级，按以下顺序进行排序：
立即学习“C++免费学习笔记（深入）”；
- 精确匹配：实参与形参类型完全相同，或仅涉及低风险转换（如数组名转指针、函数名转指针、cv修饰符调整）。
- 提升转换：如int → long、float → double等，属于安全的窄类型向宽类型转换。
- 算术/枚举转换：不同算术类型之间的转换（如char → int、double → float）。
- 类类型转换：通过构造函数或转换运算符实现的用户自定义转换。
- 指针转换：如void*或其他层级的指针转换。
编译器逐个比较每个实参的转换质量，选择在所有参数上总体最优的函数。如果某个函数在每个实参上的转换都不比其他函数差，并且至少在一个实参上更优，则它胜出。
模糊匹配与编译错误
如果存在多个函数在转换级别上难分高下，例如两个重载分别接受int和double，而调用时传入char，两者都需要提升，但无法判断哪个更优，就会导致二义性错误。
同样，如果添加了模板函数，普通函数和函数模板的特化也可能引发冲突。此时，编译器优先选择非模板函数，若多个模板实例化程度不同，则选最特化的模板。
引用和const的影响
函数重载可以基于引用类型和const属性区分：
- void func(int&) 和 void func(const int&) 是不同的重载。
- 非常量左值优先匹配非const引用，常量或临时值只能匹配const引用。
- 右值引用（int&&）也能参与重载，且对右值有更高优先级。
这类细节在实现移动语义时尤为重要。
基本上就这些。重载解析看似复杂，但核心逻辑清晰：先找可行函数，再按转换成本排序，最终选出唯一最佳匹配，否则报错。理解这些规则有助于写出更安全、可预测的重载函数。
