Java多态底层执行的核心是动态分派，即JVM在运行时依据对象实际类型（而非引用类型），通过invokevirtual指令查vtable调用重写方法；static、private、final及构造器方法不参与该机制。
Java 多态的底层执行，核心就是动态分派——它不是靠编译器猜，而是由 JVM 在运行时“看对象本来是谁”，再决定调哪个方法。
动态分派依赖 invokevirtual 指令
所有非 static、非 final、非 private 的实例方法调用，字节码里都用 invokevirtual 指令。这个指令不直接跳转到具体实现，而是触发一套运行时查找流程：
- JVM 查操作数栈顶的对象引用，拿到它在堆中真实的类信息（比如 new B() 就是 B 类型）
- 从该类的方法表（vtable）出发，按继承链向上搜索匹配的方法签名（方法名 + 参数类型描述符）
- 找到第一个可访问的重写版本（如 B.method()），就执行它；找不到则报错（如 AbstractMethodError）
接口或父类参数声明不影响实际调用
方法参数写成 In i 或 A a，只是编译期的类型约束，对运行时没影响：
-
void test1(In i) { i.method(); }和void test2(A a) { a.method(); }中，只要传的是 new B()，都调 B 的 method() - 因为 JVM 只认对象本身携带的类信息，而这个信息在堆内存里始终完整存在
- 接口虽无实现，但 B 类的 vtable 已包含对 In.method() 的具体指向
动态分派只管“接收者”，不管“参数”
Java 是动态单分派语言：
立即学习“Java免费学习笔记（深入）”；
- 分派依据只有一个：方法调用的接收者（即点号左边的对象）的实际类型
- 参数的类型在运行时完全不参与方法选择——这和重载（静态分派）完全不同
- 比如
a.process(x)调哪个 process，只看 a 是什么类型，x 是 A 还是 B 都不影响
哪些情况会绕过动态分派？
不是所有方法调用都走这套机制：
- static 方法：绑定到声明类型，A.staticM() 永远调 A 的，子类同名方法是独立符号
- private / final / 构造器：编译期就解析为直接地址，属于非虚方法，无法重写
- 字段访问：a.field 总取 A 类定义的字段，哪怕 B 有同名字段也视而不见
- 未重写的接口 default 方法：JVM 会回退到接口的 default 实现，仍属动态分派，只是目标换成了接口
