java方法重写底层由虚方法表（vtable）实现动态绑定，jvm在类加载时为非final类生成指针数组，子类vtable复用父类索引布局，重写即替换对应槽位地址；invokevirtual指令根据对象实际类型查vtable完成分派。

方法重写在 Java 中的底层执行，核心就是虚方法表（vtable）驱动的动态绑定过程。它不是编译时决定调用谁，而是运行时根据对象真实类型查表跳转。

虚方法表是 JVM 在类加载时自动生成的内部结构

vtable 不在字节码里显式存在，也不是程序员能直接访问的数组。JVM 在类加载的“准备”和“解析”阶段，为每个非 final 类构建一张方法表，本质是一个指针数组：

• 每个槽位（slot）对应一个可被重写的方法签名（名称 + 描述符）
• 子类 vtable 复制父类 vtable 的布局，相同签名的方法占据相同索引位置
• 若子类重写了某个方法，就用自己的实现地址替换该槽位的指针；没重写则保留父类方法地址

invokevirtual 指令是触发 vtable 查找的关键入口

所有非 private、非 static、非 final 的实例方法调用，都编译为 invokevirtual 指令。它的执行逻辑是：

Alibabacloud Sdk Client Initialization For Java

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

下载

• 从操作数栈取出对象引用（this）
• 读取该对象实际所属类（比如 Dog），获取其 vtable
• 根据指令中携带的方法符号引用（如 Animal.speak:()V），计算对应签名在 vtable 中的索引
• 用该索引查 vtable，拿到真实方法入口地址（可能是 Dog.speak 或 Animal.speak）

例如：Animal a = new Dog(); a.speak(); 字节码里仍是 invokevirtual Animal.speak，但运行时查的是 Dog 类的 vtable。

重写生效的前提是方法满足“可虚化”条件

只有被 JVM 视为“虚方法”的才能进 vtable 并参与动态派发：

• public / protected / default 访问级别的实例方法（含被重写的）
• final 实例方法虽也走 invokevirtual，但 JIT 编译器常会内联优化，跳过查表
• private、static、构造器方法不进 vtable，分别由 invokespecial 或 invokestatic 直接绑定

多态一致性靠 vtable 索引对齐来保证

Animal、Dog、Cat 的 vtable 都把 makeSound() 放在索引 0。这样无论变量声明为 Animal 还是接收为 Object，只要实际是 Dog 实例，查 vtable[0] 就一定得到 Dog 的实现。这种固定偏移的设计，让多态调用无需判断类型分支，只靠一次查表完成分派。

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