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，因此上面第二条语句是合法的。