Java多态练习

Question

有人可以解释编译器/运行时如何在示例中运行适当的方法吗？有 6 个类和一个void m(/* ... */)具有不同参数的方法。我知道编译器会分析声明的类型。输出总是来自中产阶级的“M”。public class All {}public class Most extends All {}public class Special extends Most {}public class Top {    public void m( All p )     { System.out.println("A"); }}public class Middle extends Top {    public void m( All p )     { System.out.println("M"); }    public void m( Special p ) { System.out.println("L"); }}public class Bottom extends Middle {    public void m( Most p ) { System.out.println("V"); }    public void m( Special p ) { System.out.println("X"); }}public class Main {  public static void main(String[] args) {    All all = new All();    Most most = new Most();    Special special = new Special();    Top x = new Middle();    Top y = new Bottom();    Middle z = new Bottom();    x.m( most );     // Output is M    x.m( special );  // Output is M    y.m( all );      // Output is M    y.m( special );  // Output is M    z.m( all );      // Output is M    z.m( most );     // Output is M  }}

Answer 1

方法覆盖在运行时通过查看对象的运行时类型来解决。编译器也决定调用哪个方法，但它只能根据表达式的编译时类型来决定。

对于对 的两次调用x，它们都Top.m(All)在编译时解析为。x是编译时类型Top，因此编译器只能查找 中声明的方法Top及其超类。编译器发现唯一可用的方法是m(All). 在运行时，要调用的方法被解析为Middle.m(All)。这是因为运行时类型x实际上是Middle，所以运行时将调用覆盖m(All)在Middle。为什么不叫Middle.m(Special)？编译器已经决定Top.m(All)应该调用。运行时只会检查运行时类型是否覆盖了它。编译器不知道有一个Middle.m(Special)因为x是编译时类型Top。

这两个调用y是相似的。y的编译时类型仍然是Top，因此编译器将方法解析为Top.m(All). y是运行时类型Bottom。由于Bottom继承自Middle，它也覆盖Top.m(All)。实现与Middle. 因此在运行时调用被覆盖的方法。

这两个电话z有点不同，但他们Middle.m(All)最终还是决心这样做。的编译时类型z是Middle，因此两个调用都解析为Middle.m(All)。请注意，没有Middle.m(Most)，因此调用z.m(most)仍将解析为Middle.m(All)。在运行时，该方法仍然解析为，Middle.m(All)因为运行时类型Bottom不会覆盖Middle.m(All)。