原文：https://my.oschina.net/xinxingegeya/blog/486671 Scala的协变(+)，逆变(-)，上界(<:)，下界(>:) 协变covariant、逆变contravariant、不可变invariant 对于一个带类型参数的类型，比如 List[T]，如果对A及其子类型B，满足 List[B]也符合List[A]的子类型，那么就称为covar