Java多态依赖动态绑定，运行时根据实际对象类型调用子类重写方法；前提为非static、non-private、non-final实例方法，且存在合法重写和向上转型；字段、静态方法、private/final方法不参与动态绑定。

Java 中多态在运行时调用子类重写的方法，核心靠的是动态绑定（也叫后期绑定），不是看变量声明类型，而是看实际创建的对象类型。一句话：编译看左边（引用类型），运行看右边（new 出来的对象）。

动态绑定发生的前提条件

只有满足以下三点，方法调用才会走动态绑定：

• 该方法是非 static、非 private、非 final 的实例方法
• 子类对父类中这个方法做了合法重写（Override）：方法名、参数列表、返回类型（或协变返回）一致，访问权限不更严格
• 调用方式是通过父类类型的引用指向子类对象（即发生了向上转型），例如 Animal a = new Dog();

运行时怎么找到子类方法的？——虚方法表（vtable）机制

JVM 为每个类维护一张虚方法表，里面存着所有可被重写的方法及其具体实现地址。当执行 a.sound() 时：

• JVM 查看 a 实际指向的堆内存对象——发现是 Dog 类型
• 取出 Dog 类的 vtable，定位到 sound() 方法项
• 跳转执行 Dog.sound() 的字节码，而非 Animal.sound()

整个过程在运行期完成，编译器只校验语法和继承关系，不决定最终调用哪个方法体。

Alibabacloud Sdk Client Initialization For Java

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

下载

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

哪些情况不会触发动态绑定？

容易误以为“有继承就有多态”，但以下情形都走静态绑定（编译期就定死）：

• 静态方法：Animal a = new Dog(); a.staticMethod() 调用的是 Animal 的版本
• 成员变量（字段）访问：a.name 取的是 Animal 类定义的 name 字段，哪怕 Dog 也声明了同名字段
• private 或 final 方法：无法被重写，自然不存在运行时选择

一个典型对比示例

假设：

class Animal {
    String name = "animal";
    void sound() { System.out.println("Animal sound"); }
    static void info() { System.out.println("Animal static"); }
}
class Dog extends Animal {
    String name = "dog";
    void sound() { System.out.println("Woof!"); }
    static void info() { System.out.println("Dog static"); }
}

执行：

Animal a = new Dog();
System.out.println(a.name); // 输出 "animal"（字段无多态）
a.sound();                  // 输出 "Woof!"（动态绑定，调用 Dog.sound）
a.info();                   // 输出 "Animal static"（静态方法看引用类型）