编译器选择重载函数严格按静态类型和五级优先级逐层筛选唯一最佳匹配：精确匹配→提升转换→标准转换→用户定义转换→可变参数；同级多解即报歧义错误。
编译器选择重载函数不是“随便挑一个能用的”，而是严格按静态类型和参数特征，逐层筛选“最匹配”的那一个。整个过程在编译期完成，不看运行时对象实际是什么类型，也不依赖返回值。
匹配按五级优先级严格递进
编译器从高到低尝试以下层级，一旦某层找到**唯一**匹配项就立即确定，不再往下看：
-
精确匹配：实参类型与形参完全一致（含 const、引用、指针修饰）。例如传
int调用void f(int)；传const std::string&调用void f(const std::string&)。 -
提升转换：仅限无精度损失的隐式升级，如
char → int、short → int、float → double。注意：int → long不算提升，属于标准转换。 -
标准转换：C++ 内置的合法隐式转换，如
int → double、Derived* → Base*、int* → const int*。 -
用户定义转换：通过单参数构造函数或
operator T()触发，例如String s = "abc"调用String(const char*)。仅当前三级全失败时才考虑。 - 可变参数（...）：兜底选项，几乎不参与实际优选，仅当其他全部失效时才可能启用。
歧义发生在同一层级出现多个可行函数
编译器不会“退一级再试”，而是在当前层级要求必须有且仅有一个最佳候选。只要该层有两个或以上函数都能匹配，就直接报错：
- 传
int，同时存在f(long)和f(float)→ 都属于标准转换层，无法取舍，编译失败。 - 传
5（字面量 int），类有f(int)和f(unsigned int)→ 同属精确匹配？不成立：unsigned int不是int的精确匹配，但两者都可通过标准转换接受，产生歧义。 - 有
f(std::string)和f(const char*)，传"hello"→ 字符串字面量类型是const char[6]，可转为const char*（标准转换），也可经用户定义转换构造std::string。前者优先级更高，所以选f(const char*)。
继承关系不影响匹配层级，只影响类型兼容性
匹配依据是实参的静态类型，不是对象的动态类型，也不是继承链长度：
- 若声明
C c;（C 继承自 B，B 继承自 A），调用process(c)，编译器看到的是C类型实参。 - 只有当存在
process(C)时才精确匹配；否则退到process(B)（因C可隐式转为B&或B*，属标准转换）；不会跳过B直接选process(A)，除非B版本不存在。 - 哪怕
A是更“通用”的基类，只要B更近，就更优——因为转换路径更短、更具体。
常见干扰项要主动规避
一些写法看似方便，实则破坏匹配的确定性：
-
默认参数 + 重载共存：如
f(int)和f(int, int = 0)同时存在，调用f(5)无法判定意图，必然歧义。 -
过度开放的用户转换：一个类支持
MyClass(int)和MyClass(double)，又定义了f(int)和f(double)，传整数字面量5会精确匹配f(int)；但若误删了f(int)，5就可能触发MyClass(double)构造，导致行为突变。 -
const 引用重载是安全特例：如
get() &和get() const &可共存，编译器能根据调用对象是否为 const 精准区分，这是基于引用限定符的合法重载，不违反前述规则。
