Java多态的运行时动态绑定本质是invokevirtual指令根据对象实际类型查vtable定位方法：编译期确定索引，运行期按索引查子类vtable跳转字节码入口，非if-else或反射，而是高效查表机制。

Java 中多态的运行时动态绑定，本质是 JVM 在执行 invokevirtual 指令时，根据对象**实际类型（堆中实例的类）**，查虚方法表（vtable），定位并跳转到对应子类方法的字节码入口。它不是靠 if-else 判断，也不是靠反射，而是一套编译期铺路、运行期高效查表的机制。

虚方法表（vtable）是核心数据结构

每个类在类加载阶段，JVM 就为其生成一张方法表，按声明顺序排列所有可被重写（非 private / static / final）的实例方法。表中每个槽位存的是该类对该方法的具体实现地址：

• 父类定义了 speak()，vtable 第 0 号槽填的是父类的实现地址；
• 子类重写了 speak()，它的 vtable 同样第 0 号槽，填的却是子类自己的方法地址；
• 新增方法（如子类独有的 fetch()）会追加到表尾，不破坏已有索引位置。

invokevirtual 指令触发查表流程

当执行到类似 animal.speak() 这样的调用时：

Java调试

通过 JDWP 实现 Java 远程调试：连接远程 JVM、设置断点、单步执行代码、查看变量值、获取调用栈。适用于需要调试远程 Java 应用、排查运行时状态、追踪代码执行流程的场景。 术语注解 JDWP：Java Debug Wire Protocol，Java 调试有线协议（Java 远程调试底层通信协议） remote JVM：远程 Java 虚拟机 step through code：代码单步调试（步入 / 步过 / 步出调试） inspect variables：变量查看 / 变量检视 stac

下载

• 编译器早已把这行代码编译为 invokevirtual Animal.speak 字节码，并记录方法在 Animal 类 vtable 中的索引（比如是第 0 位）；
• 运行时，JVM 拿到 animal 引用所指向的**真实对象**（比如是 Dog 实例），取出该对象所属类（Dog.class）的 vtable；
• 直接用编译期确定的索引（0）去查 Dog 的 vtable，拿到 Dog.speak 的入口地址，然后跳过去执行。

为什么构造器里调虚方法很危险

因为对象尚未初始化完成，子类字段可能还是默认值（0 / null），但 vtable 已被设为子类的——此时查表调用的已是子类重写的方法，而子类方法体却依赖未初始化的字段，极易引发 NPE 或逻辑错误。JVM 不阻止，但语义上已越界。

接口多态略有不同：用 itable 而非 vtable

接口方法没有单继承线性关系，JVM 为实现类额外维护一张接口方法表（itable），记录每个接口方法到具体实现方法的映射。调用 payment.pay() 时，先定位到 payment 实际类型（如 WeChatPay），再查其 itable 找到 WeChatPay.pay 地址。性能略低于 vtable 查找，但仍是常数时间操作。

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