Java 编译时重载与运行时覆盖和多态性

Question

有人可以解释当他们说重载发生在编译时而覆盖发生在运行时是什么意思吗？ 我的理解是重载发生在 class 中，其中方法名称相同但参数不同。 返回类型可能不同也可能不同。 覆盖发生在类之间，或者更具体地说，发生在超级 class 和后代之间。 这里的签名必须匹配。 多态性发生在同一个super class的后代类之间。这里返回和参数相同但实现不同

为什么在编译时解析 class 中的相同方法名称，而在运行时解析类之间的相同方法名称？

Answer 1

给定以下代码...

Class Base
   Method Example(char x)
   Method Example(int x)

Base inst = NEW Base
inst.Example(1)

编译器会将这些方法视为不同的方法，因为它们的签名使它们具有唯一可识别性。 所以它知道方法调用将 go 调用到 class 中的第二个方法。

但是由于子类，事情比这复杂一点......

Class Base
   Method Example(char x)
   Method Example(int x)

Class Ext1 Extends Class Base
   Method Example(char x)

Class Ext2 Extends Class Base
   Method Example(int x)

Base inst = NULL

if (something) {
  inst = NEW Base
} else if (something_else) {
  inst = NEW Ext1
} else {
  inst = NEW Ext2
}

inst.Example(1)

现在，尽管编译器仍然可以计算出在编译时将调用采用 int 的 Example 方法，但它无法知道将创建 3 个类中的哪一个，因此它不知道将调用的实际具体方法

这就是 vtable 的用武之地。再次以第一个示例为例，但模拟 vtable 如何参与......

Class Base
   VTable[0] = Method Example(char x)
   VTable[1] = Method Example(int x)

Base inst = NEW Base
inst.VTable[1](1)

编译器已经将我们看起来像是直接方法调用的东西变成了通过 vtable 进行的间接调用。 正是这个方法查找过程允许覆盖工作......

Class Base
   VTable[0] = Method Example(char x)
   VTable[1] = Method Example(int x)

Class Ext1 Extends Class Base
   VTable[0] = Method Example(char x)

Class Ext2 Extends Class Base
   VTable[1] = Method Example(int x)

Base inst = NULL

if (something) {
  inst = NEW Base
} else if (something_else) {
  inst = NEW Ext1
} else {
  inst = NEW Ext2
}

inst.VTable[1](1)

因此，虽然重载可以在编译时处理，但由于 vtable，覆盖发生在运行时。