Java中的多态类型与方法调用详解

Java中多态发生的三个必要条件是：继承（或实现接口）、方法重写、父类引用指向子类对象。编译期看引用类型，运行期看实际类型，仅实例方法参与动态绑定，static、private、构造方法、成员变量及final方法均不参与多态。

多态发生的三个必要条件是什么

Java中多态能生效，必须同时满足：继承（或实现接口）、方法重写、父类引用

指向子类对象。缺一不可。

常见错误是误以为只要写了override就自动多态——如果调用方用的是SubClass obj = new SubClass()，那根本没触发多态，只是普通方法调用。

• Animal a = new Dog() ✅ 满足多态前提
• Dog d = new Dog() ❌ 即使Dog重写了makeSound()，也属于静态绑定
• 接口场景下，List list = new ArrayList() 同样是多态，底层是ArrayList的add()被调用

编译期看引用类型，运行期看实际类型

这是理解多态调用行为的核心规则。编译器只检查引用类型是否声明了该方法；JVM在运行时才根据new后面的真实类型决定执行哪个版本。

典型陷阱：子类有独有方法，但父类引用无法访问。

Animal a = new Dog();
a.makeSound(); // ✅ 编译通过，运行时调用 Dog.makeSound()
a.fetchBall(); // ❌ 编译失败：Animal 类没有 fetchBall() 方法

如果真要调用子类特有方法，必须强制转型：

if (a instanceof Dog) {
    ((Dog) a).fetchBall(); // ✅ 安全转型后可调用
}

哪些方法不参与多态

多态只适用于实例方法的重写。以下情况一律按引用类型静态绑定：

• static 方法：Parent.staticMethod() 永远调用Parent里的版本，哪怕Child也定义了同签名static方法
• private 方法：不能被重写，子类里同名方法只是新方法，与父类无关
• 构造方法：不继承，当然不参与多态
• 成员变量（字段）：访问字段永远看引用类型，不是实际类型。例如a.name取的是Animal.name，哪怕Dog自己也定义了name

final方法和多态的关系

final 实例方法可以被继承，但不能被重写，因此它“锁死”了多态路径——子类无法提供自己的实现，调用必然是父类版本。

这不是缺陷，而是设计意图：比如Object.equals() 是public但非final，允许重写；而String.length() 是public final，确保语义稳定。

注意：final 类（如String）本身不能被继承，自然谈不上多态，但它的实例仍可赋值给Object等父类引用，这种引用层面的多态依然存在。

真正容易被忽略的是字段遮蔽（field hiding）和静态方法隐藏（method hiding）的区别：它们看起来像多态，但本质是编译期绑定，和运行时动态分派毫无关系。