编程语言中的协方差和协方差

问题描述

协方差 非常简单，最好从某些收集类的角度来考虑List。我们可以 参数化 的List一些类型参数类T。也就是说，我们的列表包含Tsome 类型的元素T。如果，列表将是协变的

S是Tiff列表的子类型List [S]是List [T]的子类型

（在这里，我使用数学定义 iff 表示 当且仅当 。）

也就是说，a List[Apple] List[Fruit]。如果有一些例程接受aList[Fruit]作为参数，而我有一个List[Apple]，则可以将其作为有效参数传入。

def something(l: List[Fruit]) {
    l.add(new Pear())
}

如果我们的集合类List是可变的，那么协方差就没有意义，因为我们可能会假设我们的例程可以像上面那样添加其他水果（不是苹果）。因此，我们只希望 不变的 集合类是协变的！

解决方法

谁能解释我，编程语言理论中协变和逆变的概念吗？