Scala Trait(特徵)


Scala Trait(特徵) 相當於 Java 的接口,實際上它比接口還功能強大。

與介面不同的是,它還可以定義屬性和方法的實作。

一般情況下Scala的類別只能夠繼承單一父類,但是如果是 Trait(特徵) 的話就可以繼承多個,從結果來看就是實現了多重繼承。

Trait(特徵) 定義的方式與類別類似,但它使用的關鍵字是trait,如下:

trait Equal {
  def isEqual(x: Any): Boolean
  def isNotEqual(x: Any): Boolean = !isEqual(x)
}

以上Trait(特徵)由兩個方法組成:isEqualisNotEqual。 isEqual 方法沒有定義方法的實現,isNotEqual定義了方法的實作。子類別繼承特徵可以實作未被實作的方法。所以其實 Scala Trait(特徵)更像 Java 的抽象類別。

以下示範了特徵的完整實例:

/* 文件名:Test.scala
 * author:php中文网
 * url:www.php.cn
 */
trait Equal {
  def isEqual(x: Any): Boolean
  def isNotEqual(x: Any): Boolean = !isEqual(x)
}

class Point(xc: Int, yc: Int) extends Equal {
  var x: Int = xc
  var y: Int = yc
  def isEqual(obj: Any) =
    obj.isInstanceOf[Point] &&
    obj.asInstanceOf[Point].x == x
}

object Test {
   def main(args: Array[String]) {
      val p1 = new Point(2, 3)
      val p2 = new Point(2, 4)
      val p3 = new Point(3, 3)

      println(p1.isNotEqual(p2))
      println(p1.isNotEqual(p3))
      println(p1.isNotEqual(2))
   }
}

執行上述程式碼,輸出結果為:

$ scalac Test.scala 
$ scala Test
false
true
true

特徵建構順序

特徵也可以有構造器,由字段的初始化和其他特徵體中的語句構成。這些語句在任何混入該特徵的物件在構造是都會被執行。

建構器的執行順序:

  • 呼叫超類別的建構器;

  • ##特徵建構器在超類別構造器之後、類別建構器之前執行;

  • 特質由左到右被建構;

  • 每個特徵當中,父特質先被建構;

  • 如果多個特徵共有一個父特質,父特質不會被重複建構

  • 所有特徵被建構完畢,子類被構造。

建構器的順序是類別的線性化的反向。線性化是描述某個類型的所有超類型的一種技術規格。