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==============
原文：http://my.oschina.net/xinxingegeya/blog/527820