文章浏览阅读1.3k次，点赞6次，收藏4次。本文同步发表于我的微信公众号，在微信搜索 OpenCV or Android 即可关注。协变、逆变概念许多程序设计语言的类型系统支持子类型。例如，如果Cat是Animal的子类型，那么Cat类型的表达式可用于任何出现Animal类型表达式的地方。所谓的变型（variance）是指如何根据组成类型之间的子类型关系，来确定更复杂的类型之间（例如Cat列表之于Animal列表，回传Cat的函数之于回传Animal的函数…等等）的子类型关系。当我们用类型构造出更复杂的类型，原本类型的子类型性质可能被保持、._协变和逆变