java多态的核心机制是invokevirtual指令的运行时动态方法查找，它依据对象实际类型在vtable中按签名匹配方法，而非编译期类型；final/static/private方法因使用invokestatic或invokespecial而无法实现动态绑定。
Java多态的核心机制体现在 invokevirtual 指令的运行时动态方法查找上。它不依赖编译期类型，而是根据对象实际类型（即栈顶引用指向的 heap 中的真实 class）在方法表中查找并调用最终方法。要真正理解这个过程，不能只看源码或JVM规范，而需结合字节码和类加载后的运行时结构来观察。
从字节码确认 invokevirtual 的存在
编译含多态调用的 Java 代码（如父类引用调用子类重写方法），用 javap -v 查看字节码，重点关注 invokespecial、invokestatic 和 invokevirtual 的使用场景：
- 构造器、private 方法、super 调用 → invokespecial
- 静态方法 → invokestatic
- 非 private、非 static、非 final 的实例方法调用（尤其是多态场景）→ invokevirtual
例如：Animal a = new Dog(); a.sound(); 编译后，a.sound() 对应的字节码一定是 invokevirtual Animal.sound:()V，注意签名中写的是 Animal（编译期类型），而非 Dog。
理解 invokevirtual 的运行时查找逻辑
invokevirtual 执行时，并不直接跳转到 Animal.sound 的实现，而是按以下步骤动态定位：
- 取出操作数栈顶的引用（此时是 Dog 实例）
- 获取该引用的实际类型（即 runtime class = Dog）
- 在 Dog 类的方法表（vtable）中，按方法签名（
sound:()V）搜索 - 若 Dog 自己实现了 sound，则调用 Dog.sound；否则沿继承链向上查（如查 Object），直到找到第一个匹配实现
这个过程发生在运行时，与字节码中写的声明类型（Animal）无关 —— 这正是“动态绑定”的本质。
借助工具观察 vtable 和实际调用路径
标准 javap 不显示运行时 vtable，但可通过以下方式间接验证：
- 用 HotSpot JVM 的 -XX:+PrintAssembly（配合 hsdis）查看 JIT 编译后的汇编，可看到虚函数表偏移访问（如
mov rax, [r12 + 0x8]类似查表） - 用 JDK 自带的 jhsdb 在调试模式下 inspect 对象，通过
inspect <obj_addr></obj_addr>查看其 Klass 结构，再结合vm.classloader确认类继承关系 - 在关键方法中插入 System.out.println(this.getClass().getName())，运行时输出真实类型，佐证 invokevirtual 找到的是哪个 class 的实现
注意 final/static/private 方法不会触发动态查找
这些修饰符会让编译器直接生成 invokestatic 或 invokespecial，绕过 vtable 查找：
-
final void sound()→ 编译期绑定，字节码为 invokevirtual 但 JIT 可能内联，不再查表 -
static void sound()→ invokestatic，完全不依赖对象实例 -
private void sound()→ invokespecial，仅限本类调用，无多态语义
因此，只有满足“非私有、非静态、非 final”的实例方法，且通过引用变量调用时，invokevirtual 才真正承载多态的动态性。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
