java - 为什么 Java 不允许我执行这种类型的多态性/继承？

Question

我正在重构一个巨大的 if 语句。我发现改进它的方法之一是使用多态性和继承。以一种非常简单的方式，这就是我的代码中的内容:

public abstract class Animal {  
    public abstract void doAction();  
}

public class Dog extends Animal {  
    public void doAction() {System.out.println("run");} 
}

public class Cat extends Animal {  
    public void doAction() {System.out.println("sleep");}
}

public class RunActions {  
    public void runAction(Dog d) {
        d.doAction();
    }

    public void runAction(Cat c) {
        c.doAction();
    }
}

public class Start {
    public static void main(String args[]) {
        Animal animal = new Dog();
        new RunActions().runAction(animal); // Problem!
    }
}

我知道，我知道。我可以直接调用animal.doAction();。或者在 RunActions 中添加一个接收 Animal 作为参数的方法。

但是为什么编译器不允许我调用最后一个“runAction(animal)”行？ JVM 不应该在运行时识别出 Animal 是 Dog 的实例吗？

有什么具体原因不允许我这样做吗？

编辑:忘记让 Dog 和 Cat 扩展 Animal。已修复。

Answer 1

编译器无法保证运行时有合适的方法。

您有一个采用 Cat 的方法，并且有一个采用 Dog 的方法。您正在尝试传递引用 Dog 的 Animal 变量。如果引用大象怎么办？那么运行时就没有合适的方法了。这就是为什么它不会让你编译。

Animal animal = new Elephant();
new RunActions().runAction(animal); // real problem now!