动态分派是Java实现多态的核心机制，指在运行时根据对象的实际类型确定方法调用版本。当通过父类引用调用被子类重写的方法时，JVM使用invokevirtual指令，结合对象的实际类型和虚方法表（vtable）查找并执行对应方法。例如，Animal a = new Dog()调用a.makeSound()会输出"Dog barks"，因实际对象为Dog。动态分派要求方法为非static、非private、非final的实例方法且正确重写。JVM通过内联缓存、方法内联和去虚拟化等优化手段减少运行时开销，提升性能。
Java中的多态调用依赖于运行时的动态分派机制，它决定了具体调用哪个类的方法实现。这个过程不是在编译期确定的，而是在程序运行期间根据对象的实际类型来选择方法版本。
什么是动态分派
动态分派指的是：当通过父类引用调用一个被子类重写的方法时，JVM会在运行时根据该引用所指向对象的实际类型（而非声明类型）来决定调用哪一个方法实现。
例如：
class Animal {
void makeSound() {
System.out.println("Animal makes sound");
}
}
class Dog extends Animal {
@Override
void makeSound() {
System.out.println("Dog barks");
}
}
public class Test {
public static void main(String[] args) {
Animal a = new Dog(); // 声明类型是Animal，实际对象是Dog
a.makeSound(); // 输出 "Dog barks"
}
}
尽管变量a的类型是Animal，但调用的是Dog类中重写的makeSound方法。这正是动态分派的结果。
立即学习“Java免费学习笔记（深入）”；
方法调用的字节码层面
在编译后的字节码中，对虚方法（可被重写的方法）的调用通常使用invokevirtual指令。
执行invokevirtual时，JVM会执行以下步骤：
- 确定当前对象的实际类型
- 从该类型的虚方法表（vtable）中查找目标方法
- 如果找到匹配的方法且访问权限允许，则调用它
- 否则继续向上在父类方法表中查找，直到Object类
每个类在加载时都会构建自己的虚方法表，表中记录了本类所有可被重写的方法及其具体实现地址。继承关系中，子类的方法会覆盖父类对应项，从而保证多态行为。
动态分派的关键条件
要触发动态分派，必须满足几个前提：
- 调用的是实例方法（非static、非private、非final）
- 方法在子类中被正确重写（override），签名完全一致
- 通过引用变量调用，且该引用指向的是子类对象
如果是private、static或final方法，编译器会使用静态绑定，在编译期就确定调用目标，不参与动态分派。
性能与优化
虽然动态分派带来灵活性，但也引入一定的运行时开销。现代JVM通过多种手段优化这一过程：
- 内联缓存：缓存最近调用的方法版本，减少查表次数
- 方法内联：对于热点方法，直接嵌入调用处以提升速度
- 去虚拟化：当JVM能确定实际类型唯一时，将虚调用转为直接调用
这些优化由即时编译器（JIT）完成，在不影响语义的前提下提高执行效率。
基本上就这些。动态分派是Java实现面向对象多态的核心机制，理解它有助于写出更清晰、可扩展的代码，也能帮助排查一些运行时行为异常的问题。
