17370845950

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顺着对象本体找过去的。

编译时多态 vs 运行时多态，别混淆

很多人误以为重载（overload）也是多态的主力，其实它只是“编译时多态”，和OOP核心多态关系不大：

• 编译时多态：方法重载。编译器根据参数类型和个数静态决定调哪个方法，生成 invokestatic 或 invokespecial。运行时完全不查表，无分派开销。
• 运行时多态：方法重写+向上转型。编译器只确认“父类里有这个方法”，具体执行谁的，留到运行时由JVM查vtable决定。这才是体现OOP灵活性的关键。

接口多态也走同样路径

用接口实现多态（如 Flyable f = new Bird(); f.fly();）底层并不特殊：

• JVM为接口也维护类似结构（itable），原理一致：运行时根据对象实际类型，查它实现的接口对应方法入口。
• 接口可以多实现，所以itable比vtable稍复杂，但核心思想没变：延迟绑定、运行时查表、按实际类型 dispatch。

基本上就这些。多态不复杂，但容易忽略它依赖的底层支撑——没有vtable、没有invokevirtual、没有运行时类型信息，再多的 new Dog() 也变不出真正的多态行为。