当前位置：首页 > news >正文

深入理解Java多态：你真的懂“编译看左边，运行看右边”吗？

news 2026/8/19 17:57:54

在Java的面向对象编程中，多态是一个核心概念。几乎每个Java开发者都听过这样一句口诀：“编译看左边，运行看右边”。这句话确实抓住了多态的精髓，但它并不适用于所有场景。今天我们就来深入剖析这个口诀的真正含义，并澄清那些容易踩坑的细节。

一、口诀的由来：多态方法调用

先来看最经典的多态场景：

class Animal { public void eat() { System.out.println("动物吃东西"); } } class Cat extends Animal { @Override public void eat() { System.out.println("猫吃鱼"); } } public class Test { public static void main(String[] args) { Animal a = new Cat(); // 父类引用指向子类对象 a.eat(); // 输出：猫吃鱼 } }

这里，a的编译时类型是Animal，运行时实际类型是Cat。调用eat()方法时：

编译阶段：编译器检查Animal类中是否有eat()方法，有则通过，否则报错。
运行阶段：JVM根据a实际指向的对象（Cat），调用Cat类重写后的eat()方法。

这就是“编译看左边，运行看右边”的由来——它准确描述了普通实例方法（可被重写）的动态绑定行为。

二、口诀的适用范围

这句口诀只适用于普通实例方法（非static、非private、非final）。在其他场景下，规则完全不同。

2.1 成员变量（字段）：没有多态

class A { int x = 10; } class B extends A { int x = 20; // 同名变量，隐藏父类的x int y = 30; // 新增成员变量 } public class Test { public static void main(String[] args) { A a = new B(); System.out.println(a.x); // 输出 10，不是 20 // System.out.println(a.y); // 编译错误！A类型没有y字段 } }

字段的访问编译时决定，只看引用类型（左边），不看实际对象类型（右边）。
即使子类定义了同名变量，父类引用访问的仍然是父类的字段（字段没有“重写”，只有“隐藏”）。
子类新增的字段对父类引用完全不可见，要想访问必须强制类型转换：((B)a).y。

2.2 静态方法：属于类，不属于对象

class Parent { static void staticMethod() { System.out.println("Parent static"); } } class Child extends Parent { static void staticMethod() { System.out.println("Child static"); } } public class Test { public static void main(String[] args) { Parent p = new Child(); p.staticMethod(); // 输出：Parent static // 实际推荐写法： Parent.staticMethod(); // 输出：Parent static } }

静态方法没有多态，调用时只看引用类型（左边）。
即使子类定义了同名静态方法，也只是“隐藏”而非“重写”，父类引用调用的仍然是父类的静态方法。

2.3 private 和 final 方法：无法被重写

private方法对子类不可见，自然不能被重写。
final方法禁止被重写。
这两类方法都是静态绑定，编译时就能确定调用目标，不存在多态行为。

三、为什么字段没有多态？

字段的访问在编译期就解析为具体的偏移量（对于实例变量）或直接引用（对于静态变量）。JVM在设计上不支持字段的动态绑定，原因主要有两点：

性能考虑：如果字段也支持动态绑定，每次访问都要进行动态查找，会严重影响性能。
语义清晰：字段代表状态，子类可以添加新字段，但不能“覆盖”父类字段，否则会破坏父类内部状态的一致性。

因此，字段的行为始终由引用类型决定，这符合Java的“字段隐藏”而非“字段重写”的设计原则。

四、总结：一张表看清所有情况

成员类型	编译时行为	运行时行为	是否符合口诀
普通实例方法	检查左边类型是否存在该方法	调用右边实际对象的重写方法	✅ 符合
静态方法	根据左边类型决定	同左边（无多态）	❌ 不符合
成员变量	根据左边类型决定	同左边（无多态）	❌ 不符合
private 方法	根据左边类型决定	同左边（无法重写）	❌ 不符合
final 方法	根据左边类型决定	同左边（无法重写）	❌ 不符合