Scala泛型

一、协变、逆变

协变：Son是Father的子类，则MyList[Son] 也作为MyList[Father]的“子类”。 格式：class MyList[+T]{ //协变 } 

逆变：Son是Father的子类，则MyList[Son]作为MyList[Father]的“父类”。 格式：class MyList[-T]{ //逆变 } 

不变：Son是Father的子类，则MyList[Father]与MyList[Son]“无父子关系”。 格式：class MyList[T] //不变 

//泛型模板 
//class MyList<T>{}
 //不变
 //class MyList[T]{} 
//协变 
//class MyList[+T]{} 
//逆变
 //class MyList[-T]{} 

二、泛型上下限

泛型的上下限的作用是对传入的泛型进行限定。

语法：

• Class PersonList[T <: Person]{ //泛型上限 } 
• Class PersonList[T >: Person]{ //泛型下限 } 

//泛型通配符之下限  
//def test[A >: Child](a:Class[A]): Unit ={  
// println(a)  
//} 

//形式扩展
def test[A >: Child](a:A): Unit ={  
  println(a.getClass.getName)
  } 

三、上下文限定

语法：

• def f[A : B](a: A) = println(a) 
• 等同于def f[A](a:A)(implicit arg:B[A])=println(a) 

上下文限定是将泛型和隐式转换的结合产物，以下两者功能相同，使用上下文限定[A : Ordering]之后，方法内无法使用隐式参数名调用隐式参数，需要通过implicitly[Ordering[A]]获取隐式变量，如果此时无法查找到对应类型的隐式变量，会发生出错误。

def f[A:Ordering](a:A,b:A) =implicitly[Ordering[A]].compare(a,b)