多态通过继承、方法重写和父类引用指向子类对象实现，使同一方法调用在不同对象上产生不同行为。Java中多态的实现依赖JVM的动态分派机制，运行时根据实际对象类型通过虚方法表（vtable）确定具体方法版本，确保正确调用子类重写的方法。示例中Animal父类引用指向Dog和Cat子类实例，调用makeSound()时分别执行各自重写逻辑，输出"Woof!"和"Meow!"。该机制仅适用于可重写的实例方法，不适用于静态方法、私有方法或成员变量。多态广泛应用于参数类型统一、集合存储多态对象及框架设计中抽象行为的实现，提升代码扩展性与维护性。使用时需注意父类引用无法直接访问子类特有成员，需强制转换类型。
多态是面向对象编程的核心特性之一，在Java中通过继承、方法重写和父类引用指向子类对象来实现。它允许同一个方法调用在不同对象上产生不同的行为，提升代码的扩展性和可维护性。
多态的基本实现方式
在Java中实现多态需要满足三个条件：
- 继承关系：子类继承父类或实现接口
- 方法重写（Override）：子类对父类的方法进行重新实现
- 父类引用指向子类对象：使用父类类型声明变量，但实际指向子类实例
class Animal {
void makeSound() {
System.out.println("Animal makes sound");
}
}
class Dog extends Animal {
@Override
void makeSound() {
System.out.println("Woof!");
}
}
class Cat extends Animal {
@Override
void makeSound() {
System.out.println("Meow!");
}
}
public class Test {
public static void main(String[] args) {
Animal a1 = new Dog();
Animal a2 = new Cat();
a1.makeSound(); // 输出: Woof!
a2.makeSound(); // 输出: Meow!
}
}
虽然调用的是同一个方法名 makeSound()，但实际执行的是各自子类中的实现，这就是多态的表现。
多态的底层机制：动态分派与虚方法表
Java多态的实现依赖于JVM的动态方法分派机制，主要发生在运行时，基于对象的实际类型来决定调用哪个方法。
立即学习“Java免费学习笔记（深入）”；
JVM内部通过虚方法表（Virtual Method Table, vtable）来支持多态：
- 每个类在加载时，JVM会为其创建一个虚方法表，记录该类所有可被重写的方法及其具体实现地址
- 子类的vtable会继承父类的条目，并将被重写的方法替换为自己的实现地址
- 当通过父类引用调用方法时，JVM会查看实际对象的类型，查其vtable找到对应的方法入口
例如上面的例子中：
- Dog对象的vtable中，makeSound指向Dog类的实现
- Cat对象的vtable中，makeSound指向Cat类的实现
- 即使引用类型是Animal，JVM仍会根据实际对象查表调用正确的方法
这种机制也称为动态绑定或后期绑定，区别于编译期确定的静态绑定（如static方法、private方法）。
多态的应用场景与注意事项
多态常用于以下场景：
- 方法参数接受父类型，可以传入任意子类对象
- 集合中存储多种子类对象，统一按父类处理
- 框架设计中定义抽象行为，由具体实现类提供逻辑
需要注意：
- 只有实例方法支持多态，静态方法、成员变量不参与多态
- 方法必须是可被重写的，即非private、非final、非static
- 父类引用无法直接访问子类特有方法，需强制类型转换
基本上就这些。理解多态不仅要知道怎么用，更要明白背后JVM如何通过虚方法表实现动态调用，这对深入掌握Java对象模型很有帮助。
