动态绑定是Java实现多态的核心机制，即在运行时根据对象实际类型（而非引用类型）调用重写后的实例方法；它仅适用于非static、非final、非private的实例方法，通过JVM虚方法表查表实现，而static、final、private方法及构造器、字段访问均采用编译期静态绑定。
Java 中的多态性与动态绑定是面向对象的核心机制，本质是“同一操作作用于不同对象，产生不同行为”，而动态绑定是实现多态的技术基础——它让 JVM 在运行时根据实际对象类型决定调用哪个方法。
多态性的三个前提条件
要体现多态，必须同时满足：
- 存在继承关系（或实现接口）：子类继承父类，或类实现接口
- 有方法重写（Override）：子类提供父类同名、同参数、同返回类型的方法实现
- 父类引用指向子类对象：如 Animal a = new Dog();
动态绑定如何工作
JVM 不在编译期确定调用哪个方法，而是通过“虚方法表（vtable）”在运行时查表定位。只要方法被声明为非 static、非 final、非 private，就默认支持动态绑定。
例如：
立即学习“Java免费学习笔记（深入）”；
class Animal { void sound() { System.out.println("Animal makes noise"); } }
class Dog extends Animal { @Override void sound() { System.out.println("Dog barks"); } }
class Cat extends Animal { @Override void sound() { System.out.println("Cat meows"); } }
Animal a1 = new Dog();
Animal a2 = new Cat();
a1.sound(); // 输出 "Dog barks"
a2.sound(); // 输出 "Cat meows"
两次调用的都是 sound()，但实际执行的是各自子类重写后的方法——这就是动态绑定在起作用。
哪些情况不触发动态绑定
以下情形会退化为静态绑定（编译期决定），无法体现多态：
- static 方法：属于类，不依赖实例，调用取决于引用类型而非实际对象
- final 方法：禁止重写，JVM 可直接内联优化
- private 方法：隐式 final，且不可被继承，自然无法重写
- 构造方法：不是普通成员方法，不参与多态分派
接口与抽象类中的多态实践
接口更纯粹地体现多态：多个无关类可实现同一接口，通过接口引用统一调用。
示例：
interface Drawable { void draw(); }
class Circle implements Drawable { public void draw() { System.out.println("Drawing circle"); } }
class Square implements Drawable { public void draw() { System.out.println("Drawing square"); } }
Drawable d1 = new Circle();
Drawable d2 = new Square();
d1.draw(); // Drawing circle
d2.draw(); // Drawing square
这里没有继承关系，但依然实现了多态——关键在于“统一类型引用 + 具体实现分离”。
