scala中泛型，协变和逆变

Posted 2022-01-30 Leo Han

<:表示泛型的上限，传递数据应该是当前类，或者当前类的子类

>:表示泛型的下限，和java不太一样，什么类型都可以传递

scala中为了丰富泛型的功能，提供了协变（+）和逆变（-）的功能

1. Scala的协变(+)，逆变(-)，协变covariant、逆变contravariant、不可变invariant
2. 对于一个带类型参数的类型，比如 C[T]，如果对A及其子类型B，满足C[B]也符合 C[A]的子类型，那么就称为covariance(协变) ，如果 C[A]是 C[B]的子类型，即与原来的父子关系正相反，则称为contravariance(逆变)。如果一个类型支持协变或逆变，则称这个类型为variance(翻译为可变的或变型)，否则称为invariance(不可变的)
   3)在Java里，泛型类型都是invariant，比如 List 并不是 List 的子类型。而scala支持，可以在定义类型时声明(用加号表示为协变，减号表示逆变)，如: trait List[+T] // 在类型定义时声明为协变这样会把List[String]作为List[Any]的子类型。
   C[+T]：如果A是B的子类，那么C[A]是C[B]的子类，称为协变（泛型变量的值可以是本身类型或者其子类的类型）
   C[-T]：如果A是B的子类，那么C[B]是C[A]的子类，称为逆变 （泛型变量的值可以是本身类型或者其父类的类型）
   C[T]：无论A和B是什么关系，C[A]和C[B]没有从属关系。称为不变.