java - 这段java继承代码有什么问题？

Question

class Bird{
    public Bird(){
    }

}

class Falcon extends Bird{
    public Falcon(){
    }

    public void fly(){
    System.out.println("Fly method in falcon");}
}

public class Test{
    public static void main (String args[]){
        Bird b=new Falcon();
        b.fly();    // error on this line
    }
}

上面的代码给了我一个编译时错误。谁能告诉我为什么？我使用的是 JDK 1.8

Answer 1

基本上，如果您将某个东西声明为 Bird，编译器“允许”知道的唯一事情就是它具有为 Bird 定义的方法。不允许知道为 Bird 的任何子类声明的任何方法(除非您使用强制转换)。

假设你说

Bird b = new Falcon();
someMethod(b);

然后，在someMethod中:

public void someMethod(Bird b) {
    b.fly();
}

这本质上与您正在做的事情相同。但 someMethod 唯一了解 b 的是它是某种 Bird。此时，它无法判断它是 Falcon，还是诸如 Emu 或 Kiwi 之类没有航类的飞机方法(因为 someMethod 可以从程序中的其他地方调用)。

当然，当程序看到b.fly()时，它可能会在运行时检查这种鸟是否有fly 方法，如果没有，则抛出异常。有些语言就是这样做的。 Java 没有。

此外，如果您认为编译器在这种情况下应该知道:

Bird b = new Falcon();
b.fly();

那个b是一个Falcon，因为它只是将其创建为Falcon:这不起作用，因为它需要过度复杂的语言规则允许编译器看到 b.fly() 在这种情况下总是有效，但在其他情况下并不总是有效。语言规则需要保持相当简单和一致，以确保程序可以在任何符合标准的编译器上运行。

但是，如果您使用强制转换，您可以获取子类的方法:

Bird b = new Falcon();
((Falcon)b).fly();

这表示要检查(在运行时)b 是否为Falcon。如果是，您现在可以使用为 Falcon 定义的方法。如果不是，您将得到一个异常(exception)。