文章目录[隐藏]
source:
trait List[+T]{}
当类型 B 是类型 A 的子类型时，则 List[B]也可以认为是 List[A}的子类型，即 List[B]可以泛化 为 List[A]。也就是被参数化类型的泛化方向与参数类型的方向是一致的，所以称为协变 （covariance）
逆变定义形式如：trait List[-T]{} 当类型 B 是类型 A 的子类型，
则 Queue[A]反过来可以认为是 Queue[B}的子类型。
也就是被 参数化类型的泛化方向与参数类型的方向是相反的，所以称为逆变（contravariance）
summary
