1. 程式人生 > >TOUR OF SCALA 通過混入(MIXIN)來組合類

TOUR OF SCALA 通過混入(MIXIN)來組合類

當某個特質被用於組合類時,被稱為混入。

abstract class A {
  val message: String
}
class B extends A {
  val message = "I'm an instance of class B"
}
trait C extends A {
  def loudMessage = message.toUpperCase()
}
class D extends B with C

val d = new D
println(d.message)  // I'm an instance of class B
println(d.loudMessage)  // I'M AN INSTANCE OF CLASS B

D有一個父類B和一個混入C。一個類只能有一個父類但是可以有多個混入(分別使用關鍵字extendwith)。混入和某個父類可能有相同的父類。

現在,讓我們看一個更有趣的例子,其中使用了抽象類:

abstract class AbsIterator {
  type T
  def hasNext: Boolean
  def next(): T
}

該類中有一個抽象的型別T和標準的迭代器方法。

接下來,我們將實現一個具體的類(所有的抽象成員ThasNextnext都會被實現):

class StringIterator(s: String) extends AbsIterator {
  type T = Char
  private var i = 0
  def hasNext = i < s.length
  def next() = {
    val ch = s charAt i
    i += 1
    ch
  }
}

StringIterator帶有一個String型別引數的構造器,可用於對字串進行迭代。(例如檢視一個字串是否包含某個字元):

現在我們建立一個特質,也繼承於AbsIterator

trait RichIterator extends AbsIterator {
  def foreach(f: T => Unit): Unit = while (hasNext) f(next())
}

該特質實現了foreach方法——只要還有元素可以迭代(while (hasNext)),就會一直對下個元素(next()) 呼叫傳入的函式f: T => Unit。因為RichIterator

是個特質,可以不必實現AbsIterator中的抽象成員。

下面我們要把StringIteratorRichIterator 中的功能組合成一個類。

object StringIteratorTest extends App {
  class RichStringIter extends StringIterator("Scala") with RichIterator
  val richStringIter = new RichStringIter
  richStringIter foreach println
}

新的類RichStringIter有一個父類StringIterator和一個混入RichIterator。如果是單一繼承,我們將不會達到這樣的靈活性。

abstract class AbsIterator {
  type T
  def hasNext: Boolean
  def next(): T
}

//實現抽象類
class StringIterator(s: String) extends AbsIterator {
  type T = Char
  private var i = 0
  def hasNext = i < s.length
  def next() = {
    val ch = s charAt i
    i += 1
    ch
  }
}

//介面實現抽象類(可以不實現方法,而且可以呼叫父類方法)
trait RichIterator extends AbsIterator {
  def foreach(f: T => Unit): Unit = while (hasNext) f(next())

  def get()
}

//RichStringIter擁有StringIterator的方法以及RichIterator的方法
class RichStringIter extends StringIterator("Scala") with RichIterator {
  override def get(): Unit = println("qwe")
}

object StringIteratorTest{

  def main(args: Array[String]): Unit = {
    val richStringIter = new RichStringIter
    richStringIter foreach println
  }

}

總結:RichIterator類似與一個包裝器(wrapper),將動作隱含在方法裡,具體的操作由實現類來處理。