Scala程序中的擴展類
我們仍然需要能夠創建新的元素對象。你已經看到了因為類Element是抽象的，所以“new Element”不能被用來做這件事。因此，為了實例化一個元素，我們需要創建擴展了Element并實現抽象的contents方法的子類。代碼10.3展示了一種可能的方式：
- class ArrayElement(conts: Array[String]) extends Element {
- def contents: Array[String] = conts
- }
代碼 10.3 定義ArrayElement為Element的子類
51CTO編輯推薦：Scala編程語言專題
類ArrayElement定義為擴展了類Element。就好象Java里，你在類名之后使用extends子句那樣：
這種extends子句有兩個效果：使類ArrayElement從類Element繼承所有非私有的成員，并且使ArrayElement成為Element的子類型。由于ArrayElement擴展了Element，類ArrayElement被稱為類Element的子類。反過來，Element是ArrayElement的超類。
- ... extends Element ...
如果你省略extends子句，Scala編譯器隱式地假設你的類擴展自scala.AnyRef，在Java平臺上與java.lang.Object一致。因此，類Element隱式地擴展了類AnyRef。你可以在圖釋10.1上看到這些繼承關系。
圖釋 10.1 ArrayElement的類關系圖
繼承：inheritance表示超類的所有成員也是子類的成員，除了以下兩點。首先，超類的私有成員不被子類繼承。其次，在子類中實現的與超類中的成員具有相同名稱和參數的將不被繼承到子類中。這種情況我們說子類的成員重載：override了超類的成員。如果子類中的成員是具體的而超類中的是抽象的，我們還可以說具體的成員實現：implement了抽象的。
例如，ArrayElement的contents方法重載（或者可說成：實現）了類Element的抽象方法contents。這個設計的一個漏洞是因為返回數組是可變的，所以客戶端能改變它。本書中我們希望事情盡量簡化，但當ArrayElement是真實項目中的部分時，你應當考慮代之以返回一個數組的防御性拷貝。另一個問題是我們現在并不確信contents數組所有的String元素具有同樣的長度。這可以通過在主構造器中檢查前提條件，并且一旦違反則拋出異常的方式來解決。相對的，類ArrayElement從類Element繼承了width和height方法。例如，給定ArrayElement的一個對象ae，你可以使用ae.width查詢其長度，就好象width是定義在類ArrayElement中一樣：
子類型化：subtyping是指子類的值可以被用在需要其超類的值的任何地方。例如：
- scala> val ae = new ArrayElement(Array("hello", "world"))
- ae: ArrayElement = ArrayElement@d94e60
- scala> ae.width
- res1: Int = 5
變量e被定義為類型Element，所以其初始化的值也應當是Element。實際上，初始化值的類型是ArrayElement。這也沒問題，因為類ArrayElement擴展了類Element，并且因此，類型ArrayElement適用于類型Element。想了解更多子類和子類型之間的差異，參見詞匯表中的subtype。 圖釋10.1還展示了存在于ArrayElement和Array[String]之間的組合：composition關系。這種關系被稱為組合的原因是由于類ArrayElement是被Array[String]“組合”出來的。因此Scala編譯器將在它為ArrayElement產生的二進制類中安置一個字段用來保留傳入的conts數組的引用。我們將在本章后續內容中討論一些關于組合和繼承的設計理念，詳見10.11節。
- val e: Element = new ArrayElement(Array("hello"))
【相關閱讀】
