scala中泛型,协变和逆变

Posted Leo Han

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了scala中泛型,协变和逆变相关的知识,希望对你有一定的参考价值。

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

>:表示泛型的下限,和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]没有从属关系。称为不变.

以上是关于scala中泛型,协变和逆变的主要内容,如果未能解决你的问题,请参考以下文章

Java泛型中的协变和逆变

详解C#的协变和逆变

scala-协变和逆变

泛型接口(协变和逆变)

协变和逆变

c#泛型的协变和逆变