Java多态的核心是运行时动态分派，依赖JVM的vtable机制：需满足继承/实现关系、方法重写、向上转型三前提；通过invokevirtual指令查子类vtable调用实际方法。
Java多态的核心，不是“写起来有多炫”，而是“运行时怎么知道该调哪个方法”。它表面是语法现象（比如 Animal a = new Dog(); a.makeSound();），背后是一整套JVM协作机制——编译期做检查，运行期靠查表，最终实现“同一句调用，不同子类执行”。
多态的三个硬性前提
缺一不可，否则就不是真正意义上的运行时多态：
-
有继承或实现关系：必须是父子类（
extends）或类与接口（implements），形成“is-a”层级。没有这个结构，就没有统一类型基础。 - 有方法重写（Override）：子类必须覆盖父类的非私有、非静态、非final实例方法。只继承不重写，调用的还是父类逻辑，谈不上“多种表现”。
-
发生了向上转型：声明为父类/接口类型，但实际指向子类对象。例如
Animal a = new Cat();。此时变量a编译时类型是Animal，运行时类型是Cat—— 这个差异，正是动态分派的起点。
为什么调用的是子类方法？靠 invokevirtual + vtable
Java字节码里，这类多态调用编译成 invokevirtual 指令。它不直接跳转到某个固定地址，而是让JVM在运行时查虚方法表（vtable）：
- 每个类加载时，JVM会为它生成一张方法表，按声明顺序列出所有可被重写的实例方法。
- 子类的vtable继承父类vtable，但把重写的方法入口替换成自己的实现地址。
- 执行
a.makeSound()时，JVM先拿到a实际指向的对象（Cat实例），再定位它的类（Cat.class），查Cat的vtable中makeSound对应的函数指针，最后跳过去执行。
这就是为什么“父类引用能调子类方法”——不是引用聪明，是JVM顺着对象本体找过去的。
立即学习“Java免费学习笔记（深入）”；
编译时多态 vs 运行时多态，别混淆
很多人误以为重载（overload）也是多态的主力，其实它只是“编译时多态”，和OOP核心多态关系不大：
-
编译时多态：方法重载。编译器根据参数类型和个数静态决定调哪个方法，生成
invokestatic或invokespecial。运行时完全不查表，无分派开销。 - 运行时多态：方法重写+向上转型。编译器只确认“父类里有这个方法”，具体执行谁的，留到运行时由JVM查vtable决定。这才是体现OOP灵活性的关键。
接口多态也走同样路径
用接口实现多态（如 Flyable f = new Bird(); f.fly();）底层并不特殊：
- JVM为接口也维护类似结构（itable），原理一致：运行时根据对象实际类型，查它实现的接口对应方法入口。
- 接口可以多实现，所以itable比vtable稍复杂，但核心思想没变：延迟绑定、运行时查表、按实际类型 dispatch。
基本上就这些。多态不复杂，但容易忽略它依赖的底层支撑——没有vtable、没有invokevirtual、没有运行时类型信息，再多的 new Dog() 也变不出真正的多态行为。
