Scala:亚型多态性与通用多态性

Question

我想我知道什么是亚型多态性。

什么是普遍多态性，两者有何不同？

来自：Scala编程，第三版

10.9多态性与动态结合 您在第10.4节中看到，Element类型的变量可以引用ArrayElement类型的对象。这种现象的名称是多态，意思是“许多形状”或“许多形式”。在这种情况下，Element对象可以有许多形式。 . 7这种多态性称为亚型多态性。第19章讨论了Scala中的另一种多态性，称为通用多态性。

第19章没有提到“普遍多态”一词。它确实谈到了类型参数化(泛型)。所以我想“通用多态”是一个花哨的名字吗？但是，亚型多态性不是参数化类型的私有情况吗？

Answer 1

通常，在谈到普遍多态性时，我们指的是两件事：

1. 参数化多态性(A.K.A型参数化，A.K.A型)
2. 包含多态性(A.K.A亚型多态性)

它们不是直接相关的，而是同一根的两个分支。当我们开始谈论关于方差的"is subtype“关系时，我们确实将它们混合在一起，当我们问诸如”长颈鹿是一种动物的亚型，长颈鹿是一盒动物的亚型“这样的问题时？