Scala协变与Java泛型

2019独角兽企业重金招聘Python工程师标准>>>

Scala协变与Java泛型

先定义一个支持协变的scala类，如下，

class ContainerPlus01[+A](v: A){
  def expose = println(v)
}

用＋号表示这个类支持协变

然后定义以下几个类，

class SupHelloWorld

class HelloWorld extends SupHelloWorld

class SubHelloWorld extends HelloWorld

协变的定义如下

对于一个带类型参数的类型，比如 List[T]，如果对A及其子类型B，满足 List[B]也符合List[A]的子类型，那么就称为covariance(协变)

那么当我们写下这段代码的时候就表示该类支持协变，

val helloWorld : ContainerPlus01[HelloWorld] = new ContainerPlus01[SubHelloWorld](new SubHelloWorld); //ok

helloworld的类型是 ContainerPlus01[HelloWorld] ，当我们实例化该类时，实际的类型是ContainerPlus01[SubHelloWorld]，也就是说SubHelloWorld是HelloWorld的子类，同时由于该类支持协变，最后ContainerPlus01[SubHelloWorld] 也是 ContainerPlus01[HelloWorld]的子类。

然后回过头来再看一下Java中能不能写成上面那样，（SubA是A的子类）

HelloWorld<A> h1 = new HelloWorld<SubA>(); //compile error

这样直接就报错，说明是不行的，因为java本身不支持协变。但可以有另外一种方式让java支持协变，像下面这样就可以，

HelloWorld<? extends A> helloWorld = new HelloWorld<SubA>();

这样协变的就是use-site variance。

对于Scala的逆变也和上面一样类似。

==============END==============

转载于:https://my.oschina.net/xinxingegeya/blog/527820