Java动态多态实现原理：invokevirtual指令运行时调用逻辑问询

这是个非常犀利的问题，直接挖到了Java运行时多态的核心逻辑！我们一步步拆解你的疑问：

1. invokevirtual指令的核心：运行时动态绑定 #

你看到字节码第9行的invokevirtual #32指向Bike.run()，这是编译期的静态符号引用，但invokevirtual指令本身的设计就是为了实现动态绑定——它不会直接绑定到编译期的静态类型方法，而是会在运行时根据对象的实际类型来查找并调用方法。

2. 关于常量池的误解 #

你提到Bike类的常量池仅到#30，这里要明确：每个类都有自己独立的常量池！Honda类的常量池里的#32是属于Honda自己的条目，它存储的是Bike.run()的符号引用（也就是编译期编译器根据变量b的静态类型Bike生成的引用），和Bike类的常量池编号没有关系。这个符号引用只是编译阶段的一个“标记”，不是最终调用的直接地址。

3. 运行时的方法调用流程 #

当JVM执行到invokevirtual指令时，会按以下步骤执行：

• 从操作数栈顶取出对象引用（也就是你代码里new Honda()创建的实例，存在局部变量表的第1位）
• 解析这个引用指向的对象的实际类型（这里是Honda，而不是静态类型Bike）
• 查找该实际类型的方法表（Method Table）：JVM在类加载时会为每个类生成方法表，重写的方法会覆盖父类对应方法的条目。Honda类的方法表里，run()方法已经被自己重写的版本替换了
• 找到对应的方法后，直接调用Honda类的run()方法

所以哪怕编译期字节码里写的是调用Bike.run()，invokevirtual会在运行时“纠正”这个调用，指向实际对象的重写方法——这就是Java动态多态的底层实现。

内容的提问来源于stack exchange，提问作者cloud