Scala概述（五）抽象（2）

5.2    抽象成員（Abstraction Members）

在Scala中，面向對象的抽象方式可以與函數式抽象起到同樣的作用。例如：下例是一個以OO抽象方式定義的Cell類型。

abstract class AbsCell {

type T

val init: T

private var value: T = init

def get: T = value

def set(x: T): unit = { value = x }

}

AbsCell類既沒有類型參數也沒有值參數，而是定義了一個抽象類型成員T和一個抽象值成員init。我們可以通過給出這兩個成員的具體定義來對這個類型進行實例化。例如：

val cell = new AbsCell { type T = int; val init = 1 }

cell.set(cell.get * 2)

這裏，cell的類型是AbsCell { type T = int }，也就是AbsCell被{ type T = int }細化（refinement）而形成的類型。訪問cell值的代碼認爲其類型別名cell.T=int，因此上面第二條語句是合法的。