看到这个例子就得说说逆变和协变。众所周知，一般面向对象的语言中都有“继承”的概念：A继承于B，那么B就是A的父类，A就是B的子类，B的引用可以直接指向A的实例，而A的引用指向B的实例需要强制类型转化……不拉不拉可以延伸一堆内容。但是，一般的语言，Java也好C#也好……A类型的集合和B类型的集合两个集合是没有关系的；可是，Scala中却可以有关系：

[+T]

A是B的子类，如果想让Container[A]是Container[B]的子类，那么只需在定义Container的时候加上“[+T]”就好了；但是注意，如果只加了“[+T]”，只可以实例化从父类到子类的引用（当然咯，面向对象本来也是这个样子），下面看一个例子：

还是上篇的那三个类：Earth、Animal、Bird

class Earth {
  def sound(){
    println("hello !")
  }
}

class Animal extends Earth{
  override def sound() ={
    println("animal sound")
  }
}

class Bird extends Animal{
  override def sound()={
    println("bird sounds")
  }
}

除此之外，我们还定义一个Container类：“Space”

class Space[+T]{

println("hello space")

现在我们开始调用：

var a =new Space[Animal]
a = new Space[Bird]

输出：

hello space
hello space

完美！首先定义一个Space的实例，传的参数是Animal类型的，也就是说，现在这个实例的类型是：Space[Animal]；而Animal是Bird的父类，Space上又加上了“[+T]”，所以，函数可以准确无误的运行“a = new Space(new Bird)”。但是如果运行：

var a =new Space[Animal]
a = new Space[Earth]

type mismatch

因为Earth是Animal的父类，子类无法调用父类的引用，正确！

[-T]

但是有些人喜欢逆着面向对象的方向，想让子类也可以指向父类的引用，在正常情况下，通过强制类型转换，是可以实现的，但是在有集合类的情况下如何实现呢？这就是“协变” [-T]了，只需在定义集合类的时候在集合类上加上“[-T]”即可。

class Space[-T] {
println("hello space")
}

然后我们开始调用

var a =new Space[Animal]
a = new Space[Earth]

输出：

hello space
hello space

完美！但是这个时候我们如果用正常的思维：父类指向子类的引用会怎样呢？

var a =new Space[Earth]
a = new Space[Animal]

type mismatch

可见，协变和逆变，只要定义了其中的任意一条，就得按照协变或逆变的规则来进行，普通面向对象中的规则已经失效了。对于协变和逆变的定义，可以这么来记：对于面向对象世界的规则，顺着为协变，即为“正”！记为“[+T]”！逆着为逆变，即为“负”，即为“[-]T”