多态通过动态方法调度实现，JVM利用虚方法表（vtable）在运行时根据对象实际类型确定方法调用。Java中除private、static、final方法和构造器外均为虚方法，子类重写方法后其vtable指向新实现，调用时JVM通过对象类型查找vtable定位具体方法。如Animal a = new Dog()调用a.makeSound()时，尽管引用类型为Animal，但实际执行Dog类的makeSound方法，输出“Bark”，体现“同一行为，不同实现”的多态特性。
在Java中，多态的实现依赖于动态方法调度，这个机制的核心是虚方法表（Virtual Method Table，简称vtable）。虽然Java虚拟机规范没有强制要求必须使用vtable，但大多数JVM实现都采用类似机制来支持运行时多态。
什么是虚方法？
在Java中，除了private方法、静态方法、final方法以及构造器之外，其余的方法默认都是虚方法。这意味着它们可以在运行时根据对象的实际类型来决定调用哪个版本的方法，而不是编译时的引用类型。
虚方法表的作用
每个类在JVM中都有一个与之关联的虚方法表，它是一个函数指针数组，存储了该类所有可被重写的实例方法的实际入口地址。
- 子类继承父类时，会复制父类的vtable结构。
- 如果子类重写了某个方法，那么子类vtable中对应项就会指向子类自己的方法实现。
- 调用方法时，JVM通过对象的实际类型找到其vtable，再查表定位具体要执行的方法。
多态是如何发生的？
考虑以下代码：
立即学习“Java免费学习笔记（深入）”；
class Animal {
void makeSound() {
System.out.println("Animal sound");
}
}
class Dog extends Animal {
@Override
void makeSound() {
System.out.println("Bark");
}
}
Animal a = new Dog();
a.makeSound(); // 输出 "Bark"
这里发生了典型的多态行为：
-
a是Animal类型的引用，但它指向的是Dog对象。 - 调用
makeSound()时，JVM检查对象实际类型是Dog。 - JVM查找
Dog类的vtable，发现makeSound指向的是Dog的实现。 - 于是执行
Dog中的方法，输出 "Bark"。
这种在运行时根据对象真实类型决定调用哪个方法的过程，就是动态绑定，也是多态的基础。
总结：关键点
- Java中的多态基于继承和方法重写。
- 虚方法表使得JVM能够在运行时快速确定应调用的方法版本。
- 只要方法是虚的（非private、非static、非final），就可能参与动态绑定。
- 对象的实际类型决定了方法调用的目标，而非引用变量的类型。
基本上就这些。JVM借助虚方法表实现了高效且灵活的多态机制，让面向对象的“同一个行为，不同实现”成为可能。
