一起學Scala Trait(特徵)

Scala 是一門多正規化（multi-paradigm）的程式語言，設計初衷是要整合物件導向程式設計和函數語言程式設計的各種特性。 Scala 執行在Java虛擬機器上，併相容現有的Java程式。 Scala 原始碼被編譯成Java位元組碼，所以它可以執行於JVM之上，並可以呼叫現有的Java類庫。

Scala Trait(特徵) 相當於 Java 的介面，實際上它比介面還功能強大。
與介面不同的是，它還可以定義屬性和方法的實現。
一般情況下Scala的類只能夠繼承單一父類，但是如果是 Trait(特徵) 的話就可以繼承多個，從結果來看就是實現了多重繼承。
Trait(特徵) 定義的方式與類類似，但它使用的關鍵字是 trait，如下所示：

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

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

以下演示了特徵的完整例項：

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

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

構造器的執行順序：

• 1.呼叫超類的構造器；
• 2.特徵構造器在超類構造器之後、類構造器之前執行；
• 3.特徵由左到右被構造；
• 4.每個特徵當中，父特徵先被構造；
• 5.如果多個特徵共有一個父特徵，父特徵不會被重複構造
• 6.所有特徵被構造完畢，子類被構造。

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

原文地址：