java多态的动态派发本质依赖jvm在类加载时构建的虚方法表（vtable），由invokevirtual指令结合对象实际类型与方法签名在vtable中查找具体实现。
Java多态的动态派发本质依赖虚方法表（vtable）机制，而字节码层面并不直接暴露vtable结构——它由JVM在类加载阶段构建并隐式使用。真正决定调用哪个方法的，是字节码中的invokevirtual指令与运行时对象的实际类型、方法签名及vtable索引的协同工作。
invokevirtual 是动态派发的入口指令
invokevirtual 是Java中调用实例方法（非private、非static、非final）的标准字节码指令。它不硬编码目标方法地址，而是根据栈顶对象的实际类型，在其类的虚方法表中查找匹配的方法入口。
- 编译期只记录方法符号引用（如
Ljava/lang/Object;.toString:()Ljava/lang/String;） - 运行时JVM解析该引用，定位到接收者对象所属类的vtable
- 按方法签名（名称+描述符）在vtable中做哈希或线性查找，得到具体实现的内存地址
vtable 在JVM内部构造，不在字节码中显式存在
你无法在.class文件里看到vtable数组——它是JVM在类加载的“连接”阶段（特别是准备和解析阶段）为每个类生成的内部数据结构。每个类（除final类外）都有自己的vtable，内容包括：
- 继承自父类且未被重写的方法（指向父类vtable对应位置）
- 本类新定义或重写的方法（指向本类方法区中的具体字节码起始地址）
- 相同签名的方法在子类vtable中占据与父类vtable相同的索引位置，保证多态调用一致性
通过javap观察字节码可间接验证vtable行为
用javap -v查看编译后的字节码，重点关注invokevirtual指令的操作数，它指向常量池中一个Methodref。这个符号引用看似指向父类声明的方法，但实际运行时JVM会基于对象真实类型查vtable：
- 例如
Animal a = new Dog(); a.speak();，字节码中仍是invokevirtual Animal.speak - 运行时发现
a实际是Dog实例，于是查Dog类的vtable，找到Dog.speak的入口 - 若
Dog没重写speak，则vtable中该槽位仍指向Animal.speak
final、static、private 方法绕过vtable
这些方法在编译期就能确定唯一目标，因此使用更轻量的指令，不参与动态派发：
-
invokestatic：调用静态方法，直接绑定到类符号引用 -
invokespecial：调用私有方法、构造器、父类方法（如super.xxx()），地址在编译期解析完成 -
invokeinterface：接口方法调用，使用独立的itable（接口方法表），原理类似vtable但支持多实现 - final实例方法虽可被
invokevirtual调用，但JIT可能内联优化，跳过vtable查表
理解vtable的关键不是在字节码里“看见”它，而是明白invokevirtual如何触发JVM的运行时查表逻辑——这正是Java多态能“以父类引用来调用子类实现”的底层支撑。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
