Java多态通过动态绑定实现，即方法调用的实际逻辑由运行时对象的真实类型决定，而非引用变量的声明类型；需满足继承关系、子类重写非static/private/final实例方法、且通过父类引用调用。
Java 中的多态通过动态绑定（也叫运行时绑定）实现，核心在于：**方法调用的实际执行逻辑，由运行时对象的真实类型决定，而非引用变量的声明类型。** 这是 Java 实现“一种接口、多种实现”的基础机制。
动态绑定发生的前提条件
要触发动态绑定，必须同时满足以下三点：
- 存在继承关系（或实现接口），即有父类引用指向子类对象（如 Animal a = new Dog();）
- 子类重写了父类的非静态、非 private、非 final 的实例方法
- 通过父类引用调用该方法（编译期看左边类型，运行期看右边对象）
哪些方法不参与动态绑定？
以下情况不会发生动态绑定，而是编译期就确定调用目标（静态绑定）：
- static 方法：属于类，与对象无关；调用取决于引用类型，而非实际对象
- private 方法：隐式 final，无法被重写，子类中同名方法是全新方法
- final 方法：明确禁止重写，编译器可直接内联优化
- 构造方法：不被继承，也不可重写，自然不参与多态分派
底层机制：虚方法表（vtable）
JVM 为每个类维护一张虚方法表，表中存放该类所有可被重写的实例方法的入口地址。当通过父类引用调用方法时：
立即学习“Java免费学习笔记（深入）”；
- JVM 查找实际对象所属类的 vtable
- 根据方法签名定位到具体实现地址
- 跳转执行——这个查找过程发生在运行时，因此支持灵活替换行为
注意：字段访问不经过 vtable，始终按引用类型解析（即字段不具有多态性）。
典型示例：体现动态绑定效果
以下代码清晰展示运行时如何选择方法实现：
class Animal { void sound() { System.out.println("Animal makes a sound"); } }
class Dog extends Animal { void sound() { System.out.println("Dog barks"); } }
class Cat extends Animal { void sound() { System.out.println("Cat meows"); } }
<p>public class Main {
public static void main(String[] args) {
Animal a1 = new Dog();
Animal a2 = new Cat();
a1.sound(); // 输出：Dog barks（不是 Animal...）
a2.sound(); // 输出：Cat meows
}
}尽管 a1 和 a2 声明类型都是 Animal，但 JVM 在运行时识别出它们真实是 Dog/Cat 实例，于是调用各自重写的 sound() 方法。
