在Java语言里，方法调度并不是简单地“调用名字相同的函数”这么直观。它涉及编译期的方法解析、运行期的动态绑定，以及继承体系中父子类之间方法关系的处理。理解重载、覆盖与多态行为，是掌握Java面向对象机制的基础。
一、方法重载：编译期的静态分派
方法重载指的是在同一个类中，允许存在多个方法名相同但参数列表不同的方法。参数列表的不同可以体现在参数个数、参数类型或者参数顺序上。重载方法在编译阶段就由编译器根据调用处传入的实参静态类型来决定具体绑定哪一个方法，这种行为称为静态分派。
需要特别注意的是，重载与方法的返回值类型无关，也不能仅靠访问修饰符或抛出异常类型的不同来构成重载。编译器在选型时会寻找“最匹配”的签名，如果找不到精确匹配，会尝试进行自动类型提升或装箱转换，这可能带来一些反直觉的结果。
public class OverloadDemo {
public void print(int value) {
System.out.println("调用int版本: " + value);
}
public void print(double value) {
System.out.println("调用double版本: " + value);
}
public void print(Object value) {
System.out.println("调用Object版本: " + value);
}
public static void main(String[] args) {
OverloadDemo demo = new OverloadDemo();
demo.print(10); // 精确匹配int版本
demo.print(10.5); // 精确匹配double版本
demo.print("hello"); // 匹配Object版本
}
}
上面的示例中，虽然三个方法都叫print，但编译器在编译时就已经根据字面量或变量的静态类型确定了调用目标。即便将demo变量声明为Object类型，只要调用的是print(int)，依然绑定到int版本，因为重载看的是“调用者写明的参数类型”。
重载的优点是让API更友好，可以用统一的方法名处理多种输入。缺点是如果设计不当，自动类型转换链会导致调用了并非预期的方法，尤其在引入基本类型与包装类型混用时更容易出错。
二、方法覆盖：运行期的动态绑定
方法覆盖发生在子类与父类之间，子类提供了与父类方法签名完全相同（方法名、参数列表一致，返回类型协变或相同）的实例方法，从而替换掉继承来的行为。覆盖的前提是实例方法，且父类方法没有被final修饰、访问权限允许子类访问。
与重载不同，覆盖的调用目标在运行期才确定。Java虚拟机根据对象的实际类型而非引用类型去寻找要执行的方法版本，这就是动态分派，也是多态的核心。当父类引用指向子类对象时，通过该引用调用被覆盖的方法，实际运行的是子类逻辑。
class Animal {
public void sound() {
System.out.println("动物发出声音");
}
}
class Dog extends Animal {
@Override
public void sound() {
System.out.println("狗汪汪叫");
}
}
public class OverrideDemo {
public static void main(String[] args) {
Animal a = new Dog();
a.sound(); // 运行期根据实际对象类型Dog，输出“狗汪汪叫”
}
}
这里变量a的静态类型是Animal，但实际指向的是Dog对象。调用a.sound()时，JVM在运行期查虚方法表，发现Dog类覆盖了sound，于是执行Dog中的版本。这种机制让程序可以在不修改调用代码的前提下，通过替换具体子类来改变行为。
覆盖容易踩的坑之一是在父类构造方法中调用可被覆盖的实例方法。由于子类对象在构造时父类部分先初始化，此时子类字段可能还未赋值，却已经执行了子类覆盖方法，可能引发空指针或状态错乱。因此应尽量不在构造器里调用非private、非final的实例方法。
三、多态行为与调度关系
多态在Java中通常指“同一接口，不同实现”。从方法调度角度看，多态主要依赖覆盖与运行期动态绑定来实现，而重载属于编译期多态（有些人称为静态多态），二者处在不同维度。
当我们说“多态”时，更多是指对象在运行期表现出实际类型的特征。例如一个集合里放不同类型的Shape子类，循环调用draw方法，不需要关心具体类型，每个对象自己决定如何绘制。这背后的调度逻辑全是虚方法动态分派。
abstract class Shape {
public abstract void draw();
}
class Circle extends Shape {
public void draw() {
System.out.println("画圆");
}
}
class Square extends Shape {
public void draw() {
System.out.println("画方");
}
}
public class PolyDemo {
public static void main(String[] args) {
Shape[] shapes = { new Circle(), new Square() };
for (Shape s : shapes) {
s.draw(); // 每个元素根据实际类型调用对应覆盖方法
}
}
}
上述代码展示了典型的多态用法。数组声明为Shape类型，但运行时每个元素有自己的实际类型，循环中的s.draw()在运行期分别派发到Circle和Square的实现。这种写法极大降低了分支判断，也方便后续扩展新的图形类。
不过要厘清：重载不参与这种运行期多态。如果在Shape类中写多个draw(参数)重载，调用时由编译期定死，不会随对象实际类型变化。只有覆盖机制才能带来“同一调用、不同运行行为”的效果。
四、对比总结与避坑建议
为了更直观看清区别，可以从绑定时期、发生位置、判定依据三个维度对比。下面的表格梳理了核心差异。
| 特性 | 方法重载 | 方法覆盖 |
|---|---|---|
| 绑定时期 | 编译期（静态分派） | 运行期（动态分派） |
| 发生位置 | 同一类或父子类均可 | 子类对父类实例方法重定义 |
| 判定依据 | 参数类型、个数、顺序 | 方法签名相同且对象实际类型 |
| 与多态关系 | 编译期多态，非运行期多态 | 运行期多态的基础 |
在实践中，建议用@Override注解显式标记覆盖方法，让编译器帮你检查是否真的构成了覆盖而不是意外的新增重载。另外，避免在父类构造器或克隆方法中调用可被覆盖的公开方法，防止初始化顺序引发隐蔽缺陷。
如果希望某些方法不被覆盖，可以使用final修饰；如果希望某些方法即便在子类中存在同名也不产生动态绑定歧义，可以用private或static方法，因为它们不参与虚方法分派。理清这些边界，才能真正驾驭Java的方法调度体系。