如何通过Java字节码指令分析虚方法表实现多态动态派发的全貌

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：

立即学习“Java免费学习笔记（深入）”；

• 例如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多态能“以父类引用来调用子类实现”的底层支撑。