Scala-类型参数和界定

1.协变和逆变

下面以队列为例

trait Queue[T]{//some trait member....}

我们知道AnyRef是String的超类，但能否说Queue[String就是Queue[AnyRef]的子类类型呢？从更加广泛的意义上来说，如果S是T的子类型，那么能否把Queue[S]当作Queue[T]的子类类型？

答案是否定的，但是Scala的另一种特效----协变（Covariant）就可以实现上面的功能

trait Queue[+T]{//some trait member....}

与之对应的就是逆变（Contravariant），如果S是T的子类型，这将隐含着Queue[S]是Queue[T]的子类型 （有点奇怪）

trait Queue[-T]{//some trait member....}

下面看下一个具体的例子Cell单元格类，它具有简单的读写操作

class Cell[T] (init:T) {  private[this] var current=init  def get=current  def set(x:T){current=x}}

下面的操作会报错

val c1=new Cell[String]("abc") //正常val c2:Cell[AnyRef]=c1 //类型不匹配异常

但是把Cell的声明如下，就不会出现异常了

class Cell[+T] (init:T) {}

但是上面的类还是存在一些潜在的问题，比如

def main(args: Array[String]) {    val c1=new Cell[String]("abc") //正常    val c2:Cell[AnyRef]=c1 //正常    c2.set(1)   //正常    val s:String=c1.get //把int类型赋值给了String类型 异常}

其实上面的操作都是由于下面的语句导致

def set(x:T){current=x}

所有这类问题得多加注意，书上给出了一条经验之谈--“”不允许使用+号注解的类型参数作为方法参数类型”

2.上界

比如下面的列子，Comparable[T]就是T的上界，T是Comparable[T]的子类，它具有compareTo方法，否则使用的时候会报错

class Compare2[T<:Comparable[T]](val first:T,val second:T ){  def compare=if(first.compareTo(second)>0) 1 else 0}

3.下界

其中T为R的下界，也就是说R为T的超类。这里new了一个父类型

class LowerBounds[+T](val first:T) {  def replace[R >: T](newFirst:R)=new LowerBounds[R](newFirst)}

4.视图界定

视图界定(Views Bounds),其符号为 T <% S，其和上界类似。以下面的代码为例，Int类型是没有继承Ordered类型的，但是因为使用了隐式转换(待分析)，它会自动把Int转换成RichInt类型，而RichInt继承了Ordered类型

class Compare3[T<%Ordered[T]](val first:T,val second:T ){  def compare=if(first>second) 1 else 0}val c=new Compare3[Int](2,1); //Int->RichInt