17.scala的泛型類

泛型類指能夠接受類型參數的類。泛型類在集合類中被普遍使用。

定義一個泛型類

泛型類使用方括號 [] 來接受類型參數。一個慣例是使用字母 A 做爲參數標識符，固然你能夠使用任何參數名稱。

•  

class Stack[A] {  private var elements: List[A] = Nil  def push(x: A) { elements = x :: elements }  def peek: A = elements.head  def pop(): A = {    val currentTop = peek    elements = elements.tail    currentTop  }}

上面的 Stack 類的實現中接受類型參數 A。這表示其內部的列表，var elements: List[A] = Nil，只可以存儲類型 A 的元素。方法 def push 只接受類型 A 的實例對象做爲參數(注意：elements = x :: elements 將 elements 放到了一個將元素 x 添加到 elements 的頭部而生成的新列表中)。

使用

要使用一個泛型類，將一個具體類型放到方括號中來代替 A。

•  

val stack = new Stack[Int]stack.push(1)stack.push(2)println(stack.pop)  println(stack.pop)

實例對象 stack 只能接受整型值。然而，若是類型參數有子類型，子類型能夠被傳入：

•  

class Fruitclass Apple extends Fruitclass Banana extends Fruit
val stack = new Stack[Fruit]val apple = new Appleval banana = new Banana
stack.push(apple)stack.push(banana)

類 Apple 和類 Banana 都繼承自類 Fruit，因此咱們能夠把實例對象 apple 和 banana 壓入棧 Fruit 中。

注意：泛型類型的子類型是*不可傳導*的。這表示若是咱們有一個字母類型的棧 Stack[Char]，那它不能被用做一個整型的棧 Stack[Int]。不然就是不安全的，由於它將使咱們可以在字母型的棧中插入真正的整型值。結論就是，只有當類型 B = A 時， Stack[A] 是 Stack[B] 的子類型才成立。由於此處可能會有很大的限制，Scala 提供了一種 類型參數註釋機制 用以控制泛型類型的子類型的行爲。