多态是同一方法调用因对象不同而执行不同代码的动态分派行为,需同时满足继承/实现关系、子类重写非private/static/final方法、向上转型三个条件。

多态就是“同一个方法调用,因对象不同而执行不同代码”。它不是语法糖,而是 Java 运行时实实在在发生的动态分派行为。
多态必须满足的三个硬性条件
缺一不可,少一个就只是普通继承或重写,不是多态:
- 存在继承关系(
class Dog extends Animal)或实现关系(class Bird implements Flyable) - 子类重写了父类/接口中的非
private、非static、非final方法(@Override是显式声明,不加也能多态,但强烈建议加上) - 发生了向上转型(
Animal a = new Dog();)——这是触发多态的开关,没这句,哪怕重写了也只会走编译期静态绑定
为什么 new Dog().makeSound() 不算多态?
因为这是直接用子类引用调用,编译器在编译期就锁死了目标方法,JVM 根本不查方法表。真正多态发生在类似下面这种场景:
Animal a = new Dog(); a.makeSound(); // ← 此时才查 Dog 类的方法表,跳转到 Dog#makeSound
常见错误:以为只要重写就有多态,结果测试时全用子类直接实例化,压根没触发运行时绑定,导致“改了子类方法却没生效”的假象。
立即学习“Java免费学习笔记(深入)”;
多态背后的 JVM 机制:方法表(vtable)和 RTTI
Java 没有 virtual 关键字,所有实例方法默认可被重写、默认动态绑定。JVM 在类加载阶段为每个类生成一张方法表,表中按签名顺序存放方法指针。当执行 a.makeSound() 时:
- JVM 先通过
a的实际类型(RTTI 查a.getClass())定位到Dog的方法表 - 再根据
makeSound()的签名找到对应槽位,取出指向Dog#makeSound的指针 - 最终跳转执行——整个过程在运行时完成,且只发生一次(后续调用有内联优化)
注意:static、private、final 方法不进方法表,所以无法多态;接口多态则靠接口方法表(itable),查找开销略高。
向下转型前必须用 instanceof 安全校验
多态带来灵活性,但也埋下类型风险。比如你拿到一个 Animal 引用,想调用子类特有方法(如 Dog#fetch()),必须先确认它真是 Dog:
if (a instanceof Dog) {
Dog d = (Dog) a;
d.fetch(); // 安全
}
漏掉 instanceof 直接强转,运行时抛 ClassCastException。更隐蔽的坑是:泛型擦除后集合里混入多种子类,遍历时若不做类型判断,极易崩。
真正难的不是写对多态语法,而是设计时想清楚哪些行为该抽象、哪些该保留具体实现——一旦父类方法签名定死,子类就只能在框里跳舞。别为了“看起来像多态”而硬抽接口,那只会让代码更难懂。








