Scala的那些奇怪的符号（二） [+T]和[-T]

看到这个例子就得说说逆变和协变。众所周知，一般面向对象的语言中都有“继承”的概念：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")

} 这个类的函数的意思就是，定义一个“Space”类，这个类带一个类型参数；然后这个类的主构造函数打印一句话：“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”

 

更多精彩内容，请关注我的微信公众账号 互联网技术窝