方法重载的本质是编译期静态分派，编译器根据实参的静态类型和字面值特征，按精确匹配→提升转换→标准转换→用户定义转换优先级逐层筛选最匹配方法，不依赖运行时类型或返回值。
方法重载的本质，是编译器在编译阶段根据实参的**静态类型**和**字面值特征**，从多个同名函数中选出唯一最匹配的一个。它不看对象实际是什么，只看代码里写的是什么类型、传的是什么值。
匹配不是“找得到”，而是“找最准”
编译器不会只要能转就选，而是按严格优先级逐层筛选：
-
精确匹配：参数类型与形参完全一致，包括基本类型、引用、指针、const/volatile修饰等。例如传
int调用void f(int)，直接命中。 -
提升转换：仅限
char→int、short→int、float→double这类无精度损失的隐式升级。传char时，f(int)比f(double)更优。 -
标准转换：如
int→double、int*→const int*、派生类指针→基类指针。这类转换合法但优先级低于提升。 -
用户定义转换：通过构造函数或转换操作符触发，例如
String s = "hello"调用String(const char*)。仅当前几级都失败时才考虑。 - 可变参数（...）：兜底选项，几乎从不推荐使用。
一旦某一级中出现两个及以上可行函数（比如传int，而存在f(long)和f(float)），编译器立刻报错“调用有歧义”，不会往下继续找。
返回值类型不影响重载判断
下面两个方法不能构成重载：
int getValue();<br>double getValue();
因为方法签名（name + parameter types）完全相同。编译器无法靠返回值区分调用意图——它只在调用点看参数，不看左边接不接变量、接什么类型变量。这是初学者最容易踩的坑。
继承关系不改变参数匹配逻辑
假设类C继承自B，B继承自A，有重载：
void process(A a);<br>void process(B b);
当你写process(new C())，编译器看到的是C类型实参，会优先尝试匹配process(C)（不存在），再退到process(B)（存在且是直接父类），而不是跳过B去选A。也就是说：匹配依据是实参的静态类型，不是运行时对象的完整继承链深度。
常见陷阱与规避建议
-
避免混合使用默认参数和重载：容易引发二义性。例如
f(int)和f(int, int=0)同时存在时，调用f(5)无法确定选哪个。 -
慎用用户定义转换参与重载：一个类若同时支持
int和double构造，又定义了f(int)和f(double)，传5可能意外触发转换而非精确匹配。 -
用
const引用重载区分读写语义：比如get() &和get() const &，这是合法且实用的重载，编译器能根据调用对象是否为const精准选择。
掌握这些规则，你就不再靠试错来写重载，而是能预判编译器怎么选、为什么报错、怎么改才干净利落。
