Java多态通过运行时动态绑定实现，JVM根据对象实际类型查子类vtable调用重写方法；需满足继承关系、方法可重写、父类引用调用三前提。

Java 多态性实现运行时动态绑定，核心在于 JVM 在程序执行阶段根据对象的**实际类型**（而非引用类型）来决定调用哪个方法版本。这不是编译器提前写死的逻辑，而是由虚拟机在运行中查表、分派完成的。

动态绑定依赖虚方法表（vtable）

JVM 为每个类维护一张虚方法表，里面存放该类所有可被重写（non-static、non-final、non-private）的实例方法的实际入口地址。当子类重写父类方法时，子类 vtable 中对应方法的地址会被替换成子类自己的实现地址。

例如：

• Animal a = new Dog(); 编译时只知道 a 是 Animal 类型，但运行时 JVM 发现 a 指向的是 Dog 实例；
• 调用 a.makeSound() 时，JVM 查 Dog 类的 vtable，找到 Dog.makeSound() 的字节码地址并跳转执行；
• 如果 a 指向的是 Cat 实例，则查 Cat 的 vtable，调用 Cat 的实现。

必须满足三个前提条件

动态绑定不会自动生效，需同时满足：

立即学习“Java免费学习笔记（深入）”；

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

• 存在继承或实现关系（如 Dog extends Animal 或 PaymentStrategy 接口）；
• 子类重写了父类的非静态、非私有、非 final 方法（即使用 @Override）；
• 通过父类/接口类型引用调用该方法（如 Animal a = new Dog(); a.eat();）。

缺一不可。比如用子类类型直接声明（Dog d = new Dog();），即使方法被重写，也属于静态绑定——编译期就确定了调用目标。

和静态绑定的关键区别

静态绑定发生在编译期，适用于：private 方法、static 方法、final 方法、构造器、重载方法（overload）。它们的调用目标由引用类型决定，与实际对象无关。

而动态绑定只作用于被重写（override）的实例方法，调用目标由实际对象类型决定。这也是为什么下面代码输出是 "Dog eat" 而不是 "Animal eat"：

Animal a = new Dog();
a.eat(); // 运行时查 Dog 的 vtable，调用 Dog.eat()

常见误区提醒

以下情况不触发动态绑定：

• 调用子类独有的方法（如 a.guardHouse()），编译失败——父类引用看不到子类扩展方法；
• 访问字段（a.name），字段不具有多态性，始终按引用类型取值；
• 在构造器中调用被重写的方法，此时子类对象尚未初始化完成，可能引发空指针或未定义行为。