java多态的动态绑定依赖jvm为每个类生成的虚方法表（vtable），它在类加载时构建，存储可重写实例方法的入口地址；调用时通过invokevirtual指令查表实现o(1)分派。

Java 多态的动态绑定，核心依赖于每个类在 JVM 加载时生成的虚方法表（Virtual Method Table，简称 vtable）。它不是 Java 语言层面的概念，而是 HotSpot 虚拟机在运行时为每个类（除 final 类外）维护的一张函数指针表，用于在调用非私有、非静态、非 final 的实例方法时，快速定位到实际该执行哪个版本的方法字节码。

虚方法表在类加载时就已构建

当 JVM 加载一个类（比如 Animal）时，会扫描其所有可被重写（override）的实例方法（即 public/protected/default 修饰的非 static、非 final 方法），按声明顺序填入一张固定结构的数组——这就是该类的虚方法表。表中每个槽位存储的是方法入口地址（指向实际字节码的指针），而非方法签名本身。

Alibabacloud Sdk Client Initialization For Java

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

下载

• 父类的虚方法表会被子类继承并可能覆盖：比如 Dog extends Animal，Dog 的 vtable 会先复制 Animal 的全部条目，再将被重写的方法（如 makeSound()）替换为自身版本的入口地址。
• 新增方法（如 fetch()）追加在表尾，不干扰父类方法的索引位置——这保证了继承链上方法查找的稳定性。
• final 方法、private 方法、static 方法、构造器不会进入虚方法表，它们在编译期就确定调用目标（静态绑定）。

invokevirtual 指令触发查表过程

Java 字节码中，对多态方法的调用统一使用 invokevirtual 指令。它不直接跳转，而是按以下步骤完成动态分派：

• 从操作数栈取出对象引用（假设是 animal）；
• 通过该引用拿到实际对象的运行时类（比如是 Dog 实例）；
• 根据方法签名（如 "makeSound()V"）查出该方法在类定义中的虚方法表索引（编译期已计算好）；
• 访问 Dog 类的虚方法表，按索引取出对应槽位的入口地址；
• 跳转执行该地址指向的字节码（即 Dog.makeSound()）。

整个过程发生在运行时，但查表本身是 O(1) 的数组访问，开销极小。

与虚方法表密切相关的几个关键点

• 接口方法用 itable，不是 vtable：实现多个接口时，JVM 还会为类生成接口方法表（itable），因为接口方法没有继承顺序，需额外映射。invokeinterface 指令负责查 itable。
• 方法内联可能绕过 vtable：JIT 编译器在运行时若能确定实际类型（如逃逸分析后发现 animal 总是 Dog），会直接内联 Dog.makeSound()，跳过查表——这是性能优化，不改变语义。
• 虚方法表是类级别的，不是对象级别的：同一类的所有实例共享同一份 vtable，节省内存；对象头里只存指向所属类元数据（Klass）的指针，vtable 是 Klass 结构的一部分。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南