彻底搞懂Java运行时多态和编译时多态

Java中不存在“编译时多态”,方法重载是静态绑定的独立方法,真正的多态仅指运行时多态,即继承+重写+动态绑定,由JVM在运行时根据对象实际类型决定调用。

Java 里没有“编译时多态”这个东西——这是个常见误称。所谓“编译时多态”,实际指的是**方法重载(overloading)**,它在编译期就由编译器根据参数类型、数量、顺序完成静态绑定;而真正意义上的多态(即运行时行为可变)只有一种:**运行时多态(overriding)**,靠的是继承 + 方法重写 + 动态绑定。 下面直奔实操要点:

为什么 overload 不算多态?

多态的核心是「同一接口,不同实现,运行时决定调用哪个」。而 overload 的多个方法本质上是**不同签名的独立方法**,编译器在编译阶段就选定了具体调用哪一个,字节码里直接是 invokestaticinvokevirtual 到固定方法符号,压根不经过运行时分派。

  • 同一个类中定义多个同名但参数不同的 print(String)print(int)print(Object...),编译后生成的是三个完全无关的方法
  • 如果把参数改成 print(new Object()),编译器选的是 print(Object) 而不是 print(Object.

    ..)
    ,因为前者更精确——这完全是编译期类型推导,和对象实际类型无关
  • 哪怕你传入的是 new ArrayList(),只要声明类型是 Object,就永远触发 print(Object),不会因为运行时是 ArrayList 就换方法

override 才是真·运行时多态的唯一路径

只有满足「有继承关系 + 子类重写父类非 private/static/final 的实例方法 + 通过父类引用指向子类对象」,才能触发 JVM 的虚方法调用(invokevirtual)和动态绑定。

class Animal { void sound() { System.out.println("animal"); } }
class Dog extends Animal { @Override void sound() { System.out.println("woof"); } }
class Cat extends Animal { @Override void sound() { System.out.println("meow"); } }

Animal a1 = new Dog();
Animal a2 = new Cat();
a1.sound(); // 输出 "woof" —— 运行时看 a1 实际是 Dog
a2.sound(); // 输出 "meow" —— 运行时看 a2 实际是 Cat
  • 关键点不在变量声明类型(Animal),而在 new 后面的真实类型
  • 如果方法被声明为 static,即使子类“重写”,调用也只看引用类型: ((Animal)new Dog()).staticMethod() 仍执行 Animal.staticMethod()
  • private 方法不能被重写,子类里同名方法只是新方法,跟父类毫无关系

容易踩坑的边界情况

看似像多态,其实没走动态绑定——这些是高频翻车点:

  • final 方法能被继承,但不能被重写,因此无法参与运行时多态
  • 构造器里调用 overridden 方法是危险的:子类字段尚未初始化,但方法已被子类版本接管(JVM 允许,但逻辑常出错)
  • 泛型擦除导致的假象: ListList 在运行时都是 List,这不是多态,是类型擦除后的统一表现
  • 接口默认方法(default)支持重写,也走动态绑定;但静态接口方法(static)不参与多态,调用目标在编译期锁定

怎么验证到底走没走运行时绑定?

最直接的方式:反编译字节码,看调用指令是 invokestatic(静态绑定)、invokespecial(构造器/私有/超类调用)还是 invokevirtual(运行时多态)。

  • javap -c YourClass 查看字节码
  • 所有 overload 调用最终都变成 invokestaticinvokevirtual 到**确定符号**,不依赖栈顶对象类型
  • 真正的 override 调用一定是 invokevirtual,且方法符号是父类声明的,JVM 在运行时查该对象的实际类的虚方法表(vtable)来定位实现
真正理解多态,关键是盯住「谁决定调用哪个方法」:编译器决定 → 静态;JVM 在运行时查对象实际类型决定 → 多态。其余所有修饰符、语法糖、IDE 提示,都是干扰项。