方法重载是编译期静态绑定，发生在同一类中，要求方法名相同但参数列表不同；方法重写是运行期动态绑定，发生在父子类之间，要求签名一致且满足访问与异常约束，是实现多态的核心机制。
方法重载是编译期的静态绑定
重载（Overload）发生在同一个类中，多个方法名相同但参数列表不同（参数个数、类型或顺序不同），返回值类型和访问修饰符不影响重载判断。编译器在编译阶段就根据实参类型和数量决定调用哪个方法，不涉及运行时对象的实际类型。
例如：
- void print(String s)
- void print(int i)
- void print(String s, int i)
这三个方法构成重载。调用 print("hello") 时，编译器直接选中第一个；调用 print(123) 时选中第二个。JVM 在字节码中已写死目标方法符号引用，与多态无关。
方法重写是运行期的动态绑定
重写（Override）发生在父子类之间，子类提供与父类签名完全相同（方法名、参数列表、返回类型协变）、访问权限不更严格、异常范围不扩大（或更小）的方法实现。JVM 在运行时根据对象实际类型（而非引用类型）决定执行哪个版本，这是实现多态的核心机制。
立即学习“Java免费学习笔记（深入）”；
关键点：
- 必须有继承关系，且子类方法不能是 private、static 或 final
- 编译看左边（引用类型），运行看右边（new 的对象类型）
- JVM 通过虚方法表（vtable）查找具体实现，属于动态分派
比如：Animal a = new Dog(); a.speak(); 最终执行的是 Dog.speak()，不是 Animal.speak()。
本质区别不在语法，而在绑定时机和作用目标
重载解决的是“同名方法如何区分”的问题，面向的是方法定义者和调用者之间的契约清晰性；重写解决的是“同一行为在不同子类型中如何差异化实现”的问题，面向的是运行时对象的真实身份。
二者不可混淆：
- 重载不改变继承体系行为，不参与多态
- 重写是多态的前提，没有重写就没有运行时方法选择
- 一个方法可以同时被重载和被重写（如父类有重载方法，子类重写其中某个）
多态实现依赖重写 + 向上转型 + 动态绑定
Java 多态三要素缺一不可：父类引用指向子类对象（向上转型）、子类重写父类方法、通过父类引用调用该方法。此时 JVM 不在编译期确定目标方法，而是在运行期查虚方法表，找到当前对象所属类的实际入口地址。
这个过程由解释器或 JIT 编译器协同完成，底层支撑是每个类加载时构建的虚方法表，表中按声明顺序存放可被重写的方法指针。子类初始化时会复制父类 vtable 并替换被重写方法的条目。
所以，多态不是语言魔法，而是 JVM 基于重写语义+运行时类型信息+数据结构（vtable）共同实现的确定性机制。
