Java多态的底层实现依赖invokevirtual指令，它在运行时通过对象实际类型的vtable查表跳转执行重写方法；JIT可优化为类型校验或内联，而字段访问始终静态绑定。

Java多态的虚方法调用在字节码层面由 invokevirtual 指令体现，它本身不携带目标地址，而是依赖运行时查表跳转——这种间接跳转逻辑，本质上是通过对象头中的类元数据定位虚方法表（vtable），再按方法索引取出函数指针执行。虽然 Java 不直接生成汇编，但 JIT 编译后的真实机器码能清晰暴露这一过程。

从字节码到 JIT 生成的汇编：关键链条不可跳过

理解间接跳转，不能停留在 javap 输出的字节码，而要观察 JIT 编译后的热点代码。JVM（如 HotSpot）在方法被频繁调用后，会将其编译为本地机器码，并可能插入类型检查与直接跳转优化。典型路径如下：

• 原始 Java 调用：Animal a = new Dog(); a.eat();
• 字节码指令：invokevirtual Animal.eat:()V（只含符号引用，无地址）
• JIT 编译后常见汇编片段（x86-64，简化示意）：
  mov rax, [rdi + 0x8] ; 读对象头，取 klass 指针
  mov rax, [rax + 0x10] ; 取该 klass 的 vtable 起始地址
  mov rax, [rax + 0x28] ; 查 vtable 中 eat 方法对应槽位（偏移固定）
  call rax ; 间接跳转到 Dog.eat 实际入口

vtable 查找依赖两个硬性前提

间接跳转能成立，必须满足 JVM 对“动态分派”的结构约束：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• 对象实例内存布局中，对象头紧邻处隐含指向其实际类（如 Dog.class）元数据的指针；这个元数据里固化了该类 vtable 的地址
• vtable 是一张连续的函数指针数组，每个槽位按方法在类中声明顺序严格对齐；父类方法位置不变，子类重写即替换对应槽位内容
• 方法符号引用（如 Animal.eat）在解析阶段被映射为该方法在类继承链中的统一索引号，确保查表时能准确定位槽位

为什么不是所有 invokevirtual 都走完整查表？

JIT 编译器会根据运行时 profile 数据做激进优化，间接跳转可能被绕过：

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

• 单态调用点（monomorphic）：若某 invokevirtual 99% 都指向同一子类实现（如总是 Dog.eat），JIT 会插入快速类型校验：
  cmp dword ptr [rdi + 0x10], 0x12345678 ; 比较对象实际类型 ID
  je direct_call_to_Dog_eat ; 匹配则直接跳转，跳过查表
• 去虚拟化（de-virtualization）：若逃逸分析确认对象未逃逸、且类型完全可知，JIT 可直接内联方法体，连跳转指令都省掉
• final/static/private 方法不会触发此流程——它们压根不进 vtable，字节码直接生成 invokespecial 或 invokestatic，对应汇编就是直接 call 固定地址

字段访问不参与这套机制，这是重要分界线

多态仅适用于方法调用，字段访问（getfield）永远静态绑定：

• 即使 Animal a = new Dog()，a.name 的字节码仍是 getfield Animal.name
• 对应汇编通常为直接内存寻址：mov eax, [rdi + 0x14]（偏移由 Animal 类布局决定）
• 没有 vtable、没有间接跳转、不看实际类型——这和方法调用形成鲜明对比