java虚拟机通过invokevirtual和invokeinterface指令实现多态虚方法分派，依赖运行时对象实际类型与vtable/itable动态查找目标方法。
Java 虚拟机在字节码层面通过几条关键指令（invokestatic、invokespecial、invokevirtual、invokeinterface、invokedynamic）区分不同调用方式，而多态虚方法分派的核心机制就藏在 invokevirtual 和 invokeinterface 的运行时行为中——它们不靠编译期绑定目标方法，而是依赖运行时对象的实际类型与方法表（vtable / itable）完成动态查找。
字节码指令决定调用语义
编译器根据上下文静态信息选择具体 invoke 指令，每种指令对应不同的绑定策略：
-
invokestatic：调用静态方法。符号引用在解析阶段就直接绑定到具体方法，无多态，无运行时分派。 -
invokespecial：用于私有方法、构造器、父类方法（如super.xxx()）。也是静态解析，但需注意：它绕过重写（override），强制调用声明类型中“最接近”的非虚方法版本。 -
invokevirtual：普通实例方法调用的默认指令（非 private / static / final 且非接口方法）。JVM 在运行时根据栈顶对象的实际类，查该类的虚方法表（vtable），定位最终执行的方法版本。 -
invokeinterface：调用接口方法。JVM 查找对象实际类的接口方法表（itable），支持多实现类共用同一接口引用，是接口多态的基础。 -
invokedynamic：为动态语言或 lambda 设计，分派逻辑由用户定义的CallSite控制，与传统多态无关。
虚方法表（vtable）是 invokevirtual 的执行核心
每个类（除接口外）在类加载的准备/初始化阶段，JVM 会为其构建一张虚方法表。表中每一项是一个方法指针，顺序由父类方法 + 自身重写/新声明的虚方法共同决定：
- 子类 vtable 继承父类 vtable 结构，对被重写的方法，用子类的具体实现地址覆盖对应槽位；
- 调用
invokevirtual时，JVM 先取操作数栈顶对象的klass指针，再按方法符号索引查其 vtable，直接跳转到对应地址执行； - final 方法虽在 vtable 中有槽位，但编译器通常会优化为
invokestatic或内联，避免查表开销。
接口方法调用依赖 itable，结构更复杂
接口无继承顺序约束，一个类可实现多个接口，各接口方法可能同名同签名。JVM 为每个类单独生成接口方法表（itable）：
Java Maven Common
下载
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
- itable 是二维结构：每行对应一个已实现接口，每列是该接口中声明的方法；
- 每个单元格存的是“该类对此接口方法的具体实现地址”；
-
invokeinterface执行时，先根据接口类型定位 itable 行，再按方法签名索引列，取出目标方法地址——这比 vtable 多一次间接寻址，因此略慢。
验证方式：用 javap 观察字节码
写一段含继承与重写的代码，例如：
class A { void m() {} }
class B extends A { void m() {} }
A a = new B(); a.m();
执行 javap -c 可看到最后一行调用是 invokevirtual A.m:()V ——注意：指令中写的是 A.m（编译期类型），但运行时执行的是 B.m。这就是“静态指令 + 动态分派”的典型体现。
若把 m() 声明为 final 或 private，字节码会变成 invokestatic 或 invokespecial，不再走 vtable 查找。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
