Java编译时重载、运行时重写与多态：机制差异及疑问

你的基础理解完全正确：重载是同一类（或存在继承关系的类中）方法名相同但参数列表不同（返回值不影响重载判定）；重写是子类对父类同签名方法的覆盖；多态则依赖重写，通过父类引用指向子类对象，实现运行时的动态行为。

下面解释两者解析时机不同的核心原因：

一、重载：编译时就能锁定目标方法 #

编译器在编译阶段就能获取足够的信息来确定要调用哪个重载方法：

• 它能拿到方法调用处的静态类型（比如调用方法的对象/类的声明类型），以及传入参数的精确类型、数量、顺序。
• 举个简单例子：同一类中定义了calc(int a)和calc(double a)，当你写calc(10)时，编译器一眼就能识别参数是int类型，直接把这段代码绑定到calc(int)的方法实现上，运行时不需要再做任何判断，直接执行即可。
• 重载本质是静态绑定，所有匹配逻辑在编译阶段就完成，运行时不会再改变调用的方法。

二、重写：必须等到运行时才能确定方法 #

重写的核心是多态的动态绑定，编译器在编译阶段无法确定最终要执行的方法：

• 编译时只能知道变量的声明类型（比如Animal animal = new Dog();中的Animal），但不知道运行时这个变量实际指向的对象类型（这里是Dog）。
• 还是拿动物叫的例子：父类Animal有makeSound()，子类Dog和Cat都重写了这个方法。编译animal.makeSound()时，编译器只能确定要调用Animal类的makeSound，但只有在程序运行时，JVM才会检查animal实际指向的对象是Dog还是Cat，进而执行对应子类的重写方法。
• 重写是动态绑定，只有运行时拿到对象的实际类型，才能确定要执行的具体实现。

内容的提问来源于stack exchange，提问作者DCR