这个 java 继承代码有什么问题?

What wrong in this java inheritance code?

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

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

假设你要说

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

然后,在 someMethod:

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

这与您正在做的事情本质上是一样的。但是 someMethod 唯一知道 b 的是它是某种 Bird。在这一点上,它无法判断它是 Falcon,还是 EmuKiwi 之类的没有飞行方法的东西(因为 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 定义的方法。如果不是,您将得到一个例外。