第81讲:Scala中List的构造是的类型约束逆变.协变.下界详解 首先复习四个概念——协变.逆变.上界.下界 对于一个带类型参数的类型,比如 List[T]: 如果对A及其子类型B,满足 List[B]也符合 List[A]的子类型,那么就称为covariance(协变): 如果 List[A]是 List[B]的子类型,即与原来的父子关系正相反,则称为contravariance(逆变). 协变: ____ _____________ | | | | | A | | List[ A ] |…