C++重载解析按五级优先级匹配：精确匹配→类型提升→标准转换→用户定义转换→省略号匹配；编译器基于实参静态类型逐层尝试，最先匹配成功者胜出，多解则报歧义错误。
掌握方法重载解析的关键，不在于死记规则，而在于理解编译器“看什么、比什么、怎么断”。它不关心对象实际是什么（运行时类型），只认你写下的变量声明类型（静态类型），然后按固定优先级逐层尝试匹配。
核心：实参的静态类型决定起点
编译器从你传入参数的**声明类型**出发，不是它new出来的具体类。比如：
// C 继承 B，B 继承 A
A a = new C();
B b = new C();
C c = new C();
调用 func(a)、func(b)、func(c) 时，编译器分别看到的是 A、B、C 类型——哪怕三个对象底层都是 C 的实例。匹配过程从这个静态类型开始，向上找最直接、最靠近的可行重载版本，不会跳过 B 去选 A。
匹配优先级必须分清五档
当多个重载函数都“能用”时，编译器按以下顺序打分，只取唯一最高分者：
- 精确匹配：类型完全一致，或仅涉及引用绑定、数组退化等零成本转换。例如 int → int、const char* → const char*、int& → int。
- 提升匹配：小整型/浮点型向大类型自然扩展，如 char → int、short → int、float → double。
- 标准转换：有损或跨域转换，如 int → double、int → long、派生类指针 → 基类指针、nullptr_t → 某指针类型。
- 用户定义转换：靠类的构造函数（单参且非 explicit）或类型转换操作符（operator T()）完成，开销最大，仅在前几档都不行时才考虑。
- 可变参数函数：如 void f(...)，永远垫底，仅作兜底。
实战中要警惕三类歧义陷阱
编译器不接受“差不多好”，必须有且仅有一个最优解。常见翻车点：
- 字符字面量 'x' 同时匹配 char 和 bool：char 提升为 int 是提升匹配，但 'x' 到 bool 是标准转换（隐式），两者等级不同；但若同时存在 void f(char) 和 void f(bool)，则 'x' 可能触发歧义——因 char→bool 是标准转换，而 char 本身又是精确匹配 char 版本，但编译器会比较所有参数位置的整体优劣，一旦出现“这个参数A更好、那个参数B更好”的拉锯，就报错。
- nullptr 被当成 int 或任意指针：C++11 后推荐用 nullptr_t 重载明确接管，避免与 int 版本冲突。
- 两个函数在不同参数位上各有优势：如 void f(int, double) 和 void f(double, int)，调用 f(1, 2) 时，第一个参数 int→int 更优，第二个参数 int→double 却不如 int→int —— 两边互有胜负，直接编译失败。
调试与验证的实用技巧
遇到匹配不清，别猜，用工具验证：
- 把参数显式转成目标类型，如 func(static_cast
(5))，强制走某条路径，确认是否可行。 - 临时删掉某个重载函数，看错误是否消失，快速定位干扰项。
- 用 IDE 的“转到定义”或编译器加 -S 生成汇编，观察实际调用符号名（如 _Z4funci 或 _Z4funcd），反推编译器选了谁。
- 对复杂类类型，检查构造函数是否用了 explicit，防止意外触发用户定义转换。
