动态分派本质是JVM运行时依据对象实际类型查vtable调用重写方法；需同时满足继承关系、子类重写非static/private/final方法、父类引用指向子类对象三个条件，否则编译期直接绑定。

父类引用调用方法时表现出动态分派，本质是“**调用哪个方法体，由对象实际类型决定，而不是由变量声明类型决定**”。这正是多态落地的核心机制，不是语法糖，而是 JVM 在运行时实实在在查表跳转的结果。

动态分派发生的前提条件

只有同时满足以下三点，才会触发动态分派：

• 存在继承（或实现接口）关系
• 子类重写了父类的非 static、非 private、非 final 方法
• 用父类类型声明变量，但指向子类创建的对象，例如：Animal a = new Dog();

为什么不是编译时就定死方法？

编译器只认“静态类型”——也就是等号左边的类型（如 Animal）。它看到 a.eat()，就知道这是在调用 Animal 类里声明的 eat() 方法，于是生成 invokevirtual 指令，但不填具体地址。真正找方法体的动作，留到运行时做。

JVM 运行时怎么找到子类方法的？

每个类加载进 JVM 时，都会构建一张虚方法表（vtable），表中按顺序存着所有可被重写的方法入口地址。子类的 vtable 会复制父类的条目，再把被重写的方法替换成自己的地址。

Alibabacloud Sdk Client Initialization For Java

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

下载

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

当执行 a.eat() 时：

• JVM 拿到栈顶对象（其实是 Dog 实例）
• 顺着对象头找到它的实际类（Dog.class）
• 查 Dog 的 vtable 中第 N 个槽位（对应 eat() 在类中声明的顺序）
• 跳转到该槽位指向的指令地址——也就是 Dog.eat() 的字节码

哪些情况不会走动态分派？

这些调用在编译期就锁死了目标方法，不查 vtable：

• static 方法：用 invokestatic，直接绑定到类
• private 方法：用 invokespecial，只对当前类可见，无法被重写
• 构造方法：也用 invokespecial，每个类构造逻辑独立
• final 方法：虽是实例方法，但禁止重写，JVM 可能内联优化
• 成员变量访问：字段不参与多态，a.name 永远取 Animal 类定义的字段