重载决议是C++编译期选择最匹配函数的过程，依次确定候选函数、筛选可行函数并选出最佳匹配，优先级为精确匹配 > 提升 > 标准转换 > 用户定义转换 > 省略号匹配，逐个比较参数转换质量，整体最优胜出，非模板优于模板，避免歧义设计可减少错误。
在C++中，当你调用一个重载函数时，编译器需要从多个同名但参数不同的函数中选择最合适的一个。这个过程称为重载决议（Overload Resolution）。它发生在编译期，是C++类型系统和函数调用机制的核心部分。理解其规则有助于写出更清晰、可预测的代码。
重载决议的基本流程
当编译器遇到一个函数调用时，它会执行以下步骤：
- 1. 确定候选函数集：找出所有与调用名称匹配的函数（包括普通函数、成员函数、模板实例化等）。
- 2. 筛选可行函数：从候选函数中挑选出那些参数数量与调用匹配，并且每个实参都能转换为对应形参类型的函数。
- 3. 选择最佳匹配：在可行函数中，根据实参与形参的匹配质量，选出“最精确”的那个。如果找不到唯一的最佳函数，编译器报错（歧义）。
匹配等级分类
对于每一个实参到形参的转换，C++定义了几个匹配等级，按优先级从高到低如下：
- 精确匹配：包括相同类型、const修饰匹配、数组/函数到指针退化、引用绑定等。
- promotions（提升）：如char → int、float → double等窄类型向宽类型的转换。
- 标准转换（Standard Conversion）：如int → double、派生类指针→基类指针等。
- 用户定义转换：通过构造函数或类型转换操作符实现的转换（如String(char\*)）。
- 省略号匹配（...）：最差匹配，只用于printf风格的可变参数函数。
编译器倾向于选择所有参数都具有更高匹配等级的那个函数。
立即学习“C++免费学习笔记（深入）”；
如何判断“最佳”匹配
两个可行函数A和B，要判断哪个更优，需逐个比较每个实参的转换质量：
- 如果对于所有参数，A的转换都不比B差，并且至少有一个参数A的转换更好，则A胜出。
- 例如：
void f(int);
void f(double);
调用f(42)会选择f(int)，因为int到int是精确匹配，而int到double需要标准转换。
注意：如果有两个函数各自在一个参数上更优，就会产生歧义，编译失败。
特殊规则与常见陷阱
- 函数模板参与重载：模板函数可以和其他非模板函数一起参与决议。通常，非模板函数优先于模板实例化；若多个模板参与，则选择最特化的模板。
- 引用绑定不影响优先级：T& 和 T 在匹配等级中属于同一层级，因此void f(int&)和void f(const int&)对字面量调用可能产生歧义。
- cv限定符影响匹配：const对象优先匹配const成员函数。
- 隐藏优于重载：派生类中声明的函数会隐藏基类的同名函数，即使参数不同。这不属于重载决议的问题，而是名字查找阶段的行为。
基本上就这些。重载决议看似复杂，但只要记住“精确匹配优先，逐个参数比较，整体最优胜出”，大多数情况都能正确推理。写代码时避免设计过于相似的重载函数，能减少编译器报错和维护成本。
