面向 Java 開發者的 Scala 指南：特質與行為複用

Scala 不僅為 JVM 帶來函數式編程，更提供現代物件導向設計視角。本文探討 特質 如何讓物件構建更簡單、更強大——它介於 Java 介面與 C++ 多重繼承之間，兼具兩者優點卻避開其缺陷。

歷史包袱：Java 的繼承抉擇

• Java 模仿 C++，但拋棄私有繼承與多重繼承，改用介面避免「鑽石繼承」問題。
• 代價：行為複用只能靠「委派/組合」，導致大量樣板代碼（如 JavaBeans 的 PropertyChangeSupport）。

JavaBeans 監聽器樣板地獄

// Java：每個 POJO 重複 30+ 行樣板代碼
public class Person {
    private PropertyChangeSupport pcs = new PropertyChangeSupport(this);
    public void setFirstName(String v) {
        String old = firstName; firstName = v;
        pcs.firePropertyChange("firstName", old, v);
    }
    // add/remove listener 委派給 pcs...
}

Scala 特質：介面與類的融合體

特質可：

• 像介面一樣被類混入（with Trait），一個類可混入多個特質
• 像類一樣包含欄位與方法實現
• 方法實現在混入目標類時才型別檢查，支援遲綁定（如構造器傳 this 給特質欄位）

BoundPropertyBean 特質：一次定義，到處複用

trait BoundPropertyBean {
    import java.beans._
    val pcs = new PropertyChangeSupport(this)  // this 遲綁定到混入類
    def addPropertyChangeListener(l: PropertyChangeListener) = pcs.addPropertyChangeListener(l)
    def removePropertyChangeListener(l: PropertyChangeListener) = pcs.removePropertyChangeListener(l)
    def firePropertyChange(name: String, oldVal: Any, newVal: Any) = 
        pcs.firePropertyChange(new PropertyChangeEvent(this, name, oldVal, newVal))
}

Person 混入特質：零樣板

class Person(var firstName: String, var lastName: String, var age: Int)
    extends Object with BoundPropertyBean {
    override def toString = s"[Person: firstName=$firstName, lastName=$lastName, age=$age]"
    // 只需覆寫 setter 觸發事件
    def setFirstName(v: String) = { val o = firstName; firstName = v; firePropertyChange("firstName", o, v) }
    def setLastName(v: String) = { val o = lastName; lastName = v; firePropertyChange("lastName", o, v) }
    def setAge(v: Int) = { val o = age; age = v; firePropertyChange("age", o, v) }
}

JVM 層面原理

• 特質編譯為 介面 + 預設方法實現（Java 8 類似）
• 混入類會將特質欄位/方法複製進自身 bytecode，javap -private 可見 private final PropertyChangeSupport pcs 直接存在於 Person 類中
• 因此特質方法可呼叫 super、存取混入類私有欄位，編譯器負責線性化排序

內建特質範例

• Application：提供 main 入口，支援 -Dscala.time 計時
• Ordered[A]：只需實作 compare(that: A): Int，自動獲得 < > <= >= compareTo 等關係運算子

互操作：特質即 Java 介面

純方法簽名的特質編譯為標準 Java 介面（POJI），Java 代碼可直接實現/調用：

// Scala
trait Student { def getFirstName: String; def teach(subject: String) }
object StudentFactory {
  class StudentImpl(var first: String, var last: String, var subject: String) extends Student { ... }
  def getStudent(fn: String, ln: String) = new StudentImpl(fn, ln, "Scala")
}
// Java
Student s = StudentFactory.getStudent("Neo", "Anderson");
s.teach("Kung fu");  // 輸出 "I know Kung fu"

結語

特質是 Scala 解決「行為複用 vs 型別階層」張力的關鍵創新。它讓我們以組合方式構建物件，避免繼承層次膨脹，同時保持與 Java 生態無縫互操作。下期將探討 Scala 泛型與解析器組合子。