如果 Car 是 Vehicle 的子类型，为什么 Vehicle->void 被视为 Car->void 的子类型？
作者：John V 提问时间：10/12/2018
阅读一篇关于继承的基础论文，我无法理解下面所示的推理。显然这是正确的，因为逆变确实有效，我只是想了解其中的道理。 首先，它表明： 如果函数返回 Car，则它是返回 Vehicle 的函数的子类型。那...
逆变 问答列表
了解一般不变性、协方差和逆变性
作者：Matthew Layton 提问时间：9/27/2021
泛型的差异一直让我感到困惑。以下规则是我被引导相信的： 不变 T：只接受 T 的类型;仅此而已。 协变 T：接受 T 的类型和派生自 T 的类型，但不小于 T。 逆变 T：接受 T 的类型和小于 T...
如何将print函数作为参数传递给forEach？
作者：R u c k s a c k 提问时间：5/9/2023
该函数可以打印整数，可以像 一样调用。我想在数组上做同样的事情。printprint(5)[Int] 但是，尝试在 上执行相同的操作会失败。forEach [1,2,3].forEach(prin...