如何通过代码示例理解Java多态

Java多态指同一引用调用方法时,实际执行哪个类的实现取决于运行时对象类型;编译时类型决定字段和静态方法调用,运行时类型决定实例方法动态绑定。

什么是Java多态:看懂编译时类型和运行时类型的区别

Java多态不是“一个方法有多种形态”,而是同一个引用调用方法时,实际执行的是哪个类的实现,取决于它在运行时指向的对象类型。关键在于:变量声明的类型(编译时类型)new 出来的对象类型(运行时类型) 可以不同。

常见错误现象:明明子类重写了方法,但调用结果还是父类的——大概率是引用类型写死了父类,且没发生向上转型或没触发动态绑定。

  • 只有

    private、非static、非final
    的实例方法才参与多态
  • 成员变量(字段)不具有多态性:访问哪个类的字段,只看引用的编译时类型
  • 静态方法也不具有多态性:调用哪个类的static方法,只看引用的编译时类型

用Animal-Dog-Cat示例验证动态绑定过程

下面这段代码能清晰暴露多态的核心机制:方法调用在运行期才决定走哪条字节码路径。

class Animal {
    String name = "Animal";
    public void makeSound() {
        System.out.println("Some sound");
    }
    public static void breathe() {
        System.out.println("Animal breathes");
    }
}

class Dog extends Animal {
    String name = "Dog";
    @Override
    public void makeSound() {
        System.out.println("Woof!");
    }
    public static void breathe() {
        System.out.println("Dog breathes");
    }
}

class Cat extends Animal {
    String name = "Cat";
    @Override
    public void makeSound() {
        System.out.println("Meow!");
    }
}

public class PolymorphismDemo {
    public static void main(String[] args) {
        Animal a1 = new Dog(); // 向上转型:编译时Animal,运行时Dog
        Animal a2 = new Cat(); // 编译时Animal,运行时Cat

        System.out.println(a1.name);     // 输出:Animal(字段无多态)
        System.out.println(a2.name);     // 输出:Animal(同上)

        a1.makeSound(); // 输出:Woof!(动态绑定,走Dog重写版)
        a2.makeSound(); // 输出:Meow!(动态绑定,走Cat重写版)

        a1.breathe();   // 输出:Animal breathes(static方法看编译时类型)
        a2.breathe();   // 输出:Animal breathes(同上)
    }
}

为什么重载(overload)不算多态?

Java里常说的“多态”特指运行时多态(dynamic polymorphism),即基于继承+重写+向上转型的动态方法分派。而重载是编译期确定的静态分派,和多态无关。

  • 重载方法的选择发生在编译阶段:编译器只看引用类型实参类型,不关心运行时对象是谁
  • 哪怕你写Animal a = new Dog(),再调用a.print(1),编译器也只会去找Animal中参数为intprint方法,不会去查Dog有没有另一个print(int)
  • 如果Animal没有print(int),而Dog有,这段代码直接编译失败

容易被忽略的陷阱:向下转型前必须用instanceof检查

多态带来灵活性的同时也引入了安全隐患。当你需要调用子类特有方法(比如Dogfetch()),必须先转成具体子类型。但强制转型(Dog)a1若失败会抛ClassCastException

  • 永远不要绕过instanceof直接强转,尤其在集合遍历或框架回调中
  • instanceof在Java 14+支持模式匹配(if (a1 instanceof Dog d)),可同时完成判断和赋值
  • 过度使用向下转型往往说明设计有问题:考虑是否该把共用行为提到父类/接口,或用访问者模式、策略模式替代

多态本身不难,难的是在真实项目里判断“该不该用”“用在哪一层”“要不要配合接口或抽象类”。很多人卡在“知道概念但不敢用”,其实只要记住一点:只要你在用父类引用接收子类对象,并调用被重写的方法,就已经在用多态了