特征
特征是scala當(dāng)中的接口业扒。但是提供更加強(qiáng)大和靈活的功能。
一個(gè)類(lèi)或者另一個(gè)特征可以混入特征從而可以使用其中的成員函數(shù)和變量舒萎。但不同于繼承程储,這種混入是無(wú)副作用的。理論上來(lái)說(shuō)臂寝,混入的特征應(yīng)該是和被混入的類(lèi)成正交關(guān)系章鲤。
包含抽象方法的trait并不需要聲明為抽象類(lèi)型,無(wú)需在trait關(guān)鍵字之前添加abstact關(guān)鍵字交煞。但是那些包含一個(gè)或多個(gè)未定義方法的類(lèi)必須聲明為抽象類(lèi)咏窿。
一個(gè)有趣的特性是:可以只為一個(gè)實(shí)例混入一個(gè)trait。
val button = new Button("click me") with Subject[Button] {
override def click(): Unit = {
super.click()
notifyObservers(this)
}
}
特征是可堆砌的素征,類(lèi)似A extends B with C with D
.同時(shí)集嵌,混入的優(yōu)先級(jí)從左到右遞增。與ES6最新的Object.assign()語(yǔ)法類(lèi)似御毅。右邊的trait被疊在最上面根欧。
只有在滿(mǎn)足下面條件時(shí),我們才在trait中定義某方法之前添加abstract關(guān)鍵字:該方法調(diào)用了super對(duì)象的另一個(gè)方法并且該方法在父類(lèi)中尚未定義具體的實(shí)現(xiàn)方法端蛆。
trait不允許有主構(gòu)造函數(shù)凤粗,因此也只能擴(kuò)展那些包含了無(wú)參主構(gòu)造函數(shù)的類(lèi)。但是每次創(chuàng)建使用trait的實(shí)例時(shí)今豆,特整體都會(huì)被執(zhí)行嫌拣,因此我們可以在特征體中初始化字段,方法和類(lèi)呆躲。 但是不要在trait中聲明那些無(wú)法在初始化時(shí)指定合適默認(rèn)值的具體字段异逐,如果需要請(qǐng)使用抽象字段。
選擇trait還是類(lèi)插掂?
trait是scala實(shí)現(xiàn)混入的方法灰瞻,它適用于大多數(shù)的“輔助”行為。類(lèi)似設(shè)計(jì)模式中的組合辅甥,而類(lèi)則類(lèi)似設(shè)計(jì)模式中的繼承酝润。
良好的面向?qū)ο笤O(shè)計(jì)需要遵循下列通用原則:一旦完成構(gòu)造過(guò)程,該實(shí)例便應(yīng)該一直處于某種已知的合法狀態(tài)中璃弄。