具有不同静态和动态类型的 Java 参数？ [复制]

Question

我正在学习 cs61b 伯克利公开课程，对这个问题感到困惑（问题 1，第 7 行）： https://sp18.datastructur.es/materials/discussion/examprep04sol.pdf

c.play(d);    // Method D is called

所以在这种情况下d 具有Dog 的静态类型和Corgi 的动态类型，在编译时记录Method D，那么为什么在运行时它仍然调用Method D 而不是@ 987654328@基于其动态类型？

Answer 1

练习的目的是测试您对使用静态和动态类型进行方法分派的理解。

在您的情况下，Java 编译器必须做出两个决定：

• 需要调用谁的方法，Dog's 或 Corgi's，并且
• 如果是Corgi的方法，需要调用哪个重载。

第一个决定是基于调用表达式c.play(d)的左侧，即c，即Corgi。如果将Corgi 进一步子类化为Cardigan 和Pembroke，则将在运行时根据动态类型调用相应子类的方法。

编译器只关心c 的静态类型：它需要确保采用Dog 的play 方法在运行时可用。虚拟调用本身由JVM根据c对象的动态类型进行。

需要调用重载的第二个决定也是在编译时完成的。这很重要，因为它在编译时“锁定”了决策。这就是为什么正确的答案是"D"，即使对象d 的动态类型是Corgi。