独角兽企业重金招聘Python工程师标准>>>
Scala协变与Java泛型
先定义一个支持协变的scala类，如下，
classContainerPlus01[+A](v:A){defexpose=println(v)}
用＋号表示这个类支持协变
然后定义以下几个类，
classSupHelloWorldclassHelloWorldextendsSupHelloWorldclassSubHelloWorldextendsHelloWorld
协变的定义如下
对于一个带类型参数的类型，比如 List[T]，如果对A及其子类型B，满足 List[B]也符合List[A]的子类型，那么就称为covariance(协变)
那么当我们写下这段代码的时候就表示该类支持协变，
valhelloWorld:ContainerPlus01[HelloWorld]=newContainerPlus01[SubHelloWorld](newSubHelloWorld);//ok
helloworld的类型是ContainerPlus01[HelloWorld] ，当我们实例化该类时，实际的类型是ContainerPlus01[SubHelloWorld]，也就是说SubHelloWorld是HelloWorld的子类，同时由于该类支持协变，最后ContainerPlus01[SubHelloWorld] 也是 ContainerPlus01[HelloWorld]的子类。
然后回过头来再看一下Java中能不能写成上面那样，（SubA是A的子类）
HelloWorld<A>h1=newHelloWorld<SubA>();//compileerror
这样直接就报错，说明是不行的，因为java本身不支持协变。但可以有另外一种方式让java支持协变，像下面这样就可以，
HelloWorld<?extendsA>helloWorld=newHelloWorld<SubA>();
这样协变的就是use-site variance。
对于Scala的逆变也和上面一样类似。
==============END==============
