如何解决编程语言中的协方差和协方差
协方差 非常简单，最好从某些收集类的角度来考虑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是可变的，那么协方差就没有意义，因为我们可能会假设我们的例程可以像上面那样添加其他水果（不是苹果）。因此，我们只希望 不变的
集合类是协变的！
解决方法
谁能解释我，编程语言理论中协变和逆变的概念吗？
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
