Scala的Trait：可以包含代碼的接口
本文源自Michel Schinz和Philipp Haller所寫的A Scala Tutorial for Java programmers，由Bearice成中文。第一篇為Scala簡單做了一下入門，第二篇描述Scala對象，第三篇對Scala類做了一些介紹。第四篇介紹了Scala的模式匹配。下面這部分介紹Scala的Trait，直譯過來就是特性/特征的意思。
51CTO編輯推薦：Scala編程語言專題
7 Scala Trait
除了從父類集成代碼外，Scala中的類還允許從一個或者多個traits中導入代碼。
對于Java程序員來說理解traits的最好方法就是把他們當作可以包含代碼的接口（interface）。在Scala中，當一個類繼承一個trait時，它就實現了這個trait的接口，同時還從這個trait中繼承了所有的代碼。
讓我們通過一個典型的實例來看看這種trait機制是如何發揮作用的：排序對象。能夠比較若干給定類型的對象在實際應用中是很有用的，比如在進行排序時。在Java語言中可以比較的對象是通過實現Comparable接口完成的 。在Scala中我們可以通過吧Comparable定義為trait來做的比Java好一些。我們吧這個trait叫做Ord。
在比較對象時，一下六種關系通常使用率最高：小于、小于等于、等于、不等于、大于等于、大于。但是把他們都定義一次無疑是很沒用而且繁瑣的。尤其是六種關系中的四種其實是可以通過其他兩種關系導出的。例如給定等于和小于的定義后就可以推導出其他的定義。于是在Scala中，這些推導可以通過下面這個trait實現：
trait Ord {
def < (that: Any): Boolean
def <=(that: Any): Boolean = (this < that) || (this == that)
def > (that: Any): Boolean = !(this <= that)
def >=(that: Any): Boolean = !(this < that)
}
這個定義在建立了一個叫做與Java中的 Comparable 等效的叫做 Ord的類型的同時還實現了使用抽象的一種關系推導其他三種的接口。比較相等性的方法沒有出現是由于他已經默認存在于所有對象中了。
上面使用的叫做Any的類型表示了Scala中所有類的共同超類。事實上它就等于Java語言中的Object。
要使的一個類可以被比較，就需要可以比較他們是否相等或者大小關系，而這些都混合在上面的類Ord中了。現在我們來寫一個Date類來表示格利高里歷中的日期。這個日期由年、月、日三個部分組成，每個部分都可以用一個整數表示。所有我們就得出了下面這個定義：
class Date(y: Int, m: Int, d: Int) extends Ord {
def year = y
def month = m
def day = d
override def toString(): String = year + "-" + month + "-" + day
}
注意在類名后出現的extends Ord。這表示了這個類繼承了Ord這個trait。
然后我們重新定義了equals這個從Object繼承來的方法，好讓他能夠正確的比較我們日期中的每個部分。原來的equals函數的行為與Java中的一樣，是按照對象的指針進行比較的。我們可以得出下面的代碼。
override def equals(that: Any): Boolean =
that.isInstanceOf[Date] && {
val o = that.asInstanceOf[Date]
o.day == day && o.month == month && o.year == year
}
這個函數使用了預定義函數 isInstanceOf 和asInstanceOf 。第一個isInstanceOf 類似Java中的 instanceof ：當且僅當對象是給定類型的實例時才返回true。第二個 asInstanceOf 對應Java中的類型轉換操作：當對象是給定類型的子類時轉換，否則拋出ClassCastException。
最后我們還需要定義測試小于關系的函數，如下面所示。這個函數使用了預定義的函數error ，它可以使用給定字符串拋出一個異常。
def <(that: Any): Boolean = {
if (!that.isInstanceOf[Date])
error("cannot compare " + that + " and a Date")
val o = that.asInstanceOf[Date] (year < o.year) ||
(year == o.year && (month < o.month ||
(month == o.month && day < o.day)))
}
以上就是Data的完整定義了。這個類的實例既可以作為日期顯示，也可以進行比較。而且他們都定義了6種比較操作：其中兩種 ： equals和< 是我們直接定義的，而其他的是從Ord中繼承的。
Scala Traits 的應用遠不止于此，不過更加深入的討論不再本文的討論范圍內。
下一篇文章將是這個介紹的最后一部分，講述Scala的泛型。
【相關閱讀】
