这个 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
,还是 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
定义的方法。如果不是,您将得到一个例外。
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
,还是 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
定义的方法。如果不是,您将得到一个例外。