将 Java 特征与维基百科对多态性的定义相关联

Correlating Java features with Wikipedia's definition of Polymorphism

维基百科指出有 3 种(主要)类型的多态性。将此定义与我对 Java 多态性的有限理解相关联,这是我想出的映射 -

  1. 临时多态性 - Java 函数重载(动态调度)。
  2. 参数多态性 - Java 泛型。
  3. 子类型化 - Java 函数覆盖(静态调度)。

这是正确的吗?

参考文献 - 1. https://en.wikipedia.org/wiki/Polymorphism_%28computer_science%29 2.Polymorphism - Define In Just Two Sentences

  1. 临时多态性将映射到方法重载(方法在编译时已知)
  2. 正确

  3. 子类型将映射到覆盖(动态调度)

  1. 正确。
  2. 正确。
  3. 子类型化 - 一般来说,这就是 Java 继承的工作方式,与方法或字段或参数类型无关。