摘要: 类型关系 Scala 支持在泛型类上使用型变注释,用来表示复杂类型、组合类型的子类型关系间的相关性 协变 ,变化方向相同,通常用在生产 假设 , 对于 ,则 也可看做 由于 Scala 标准库中不可变 的定义为 ,因此 是 的子类型, 也是 的子类型,所以可直接将他们当作 使用。 逆变 ,变化方向相 阅读全文
posted @ 2019-10-09 23:17 afewnotes 阅读(193) 评论(0) 推荐(0) 编辑