Scala:上界、下界、协变、逆变

• S <: T

这是类型上界的定义。也就是S必须是类型T的子类（或本身，自己也可以认为是自己的子类)。

• U >: T

这是类型下界的定义。也就是U必须是类型T的父类(或本身，自己也可以认为是自己的父类)。

上界的例子

 

 

协变：

Scala的类或特征的范型定义中，如果在类型参数前面加入+符号，就可以使类或特征变为协变了。

示例：

 

逆变：

在类或特征的定义中，在类型参数之前加上一个-符号，就可定义逆变范型类和特征了。

示例

 

 

Scala的协变：泛型变量的值可以是本身类型或者其子类的类型

Scala的逆变：泛型变量的值可以是本身类型或者其父类的类型