协方差 非常简单，最好从某些收集类的角度来考虑
List。我们可以 参数化
的
List一些类型参数类
T。也就是说，我们的列表包含
Tsome 类型的元素
T。如果，列表将是协变的
S是Tiff列表的子类型List [S]是List [T]的子类型
（在这里，我使用数学定义 iff 表示 当且仅当 。）
也就是说，a
List[Apple]是一个
List[Fruit]。如果有一些例程接受a
List[Fruit]作为参数，而我有一个
List[Apple]，则可以将其作为有效参数传入。
def something(l: List[Fruit]) { l.add(new Pear())}如果我们的集合类
List是可变的，那么协方差就没有意义，因为我们可能会假设我们的例程可以像上面那样添加其他水果（不是苹果）。因此，我们只希望 不变的
集合类是协变的！
