Scala使用Mixins进行类组合

Mixins是用于进行类组合的特征。

abstract class A { val message: String } class B extends A { val message = "I'm an instance of class B" } trait C extends A { def loudMessage = message.toUpperCase() } class D extends B with C val d = new D d.message // I'm an instance of class B d.loudMessage // I'M AN INSTANCE OF CLASS B

D类有一个父类B和一个mixin C。每个类只能有一个父类但是可以有多个mixins（分别使用关键字extends和with）。mixins和父类可能有相同的父类型。

下面是一个更有意思的示例：

abstract class AbsIterator { type T def hasNext: Boolean def next: T }

上面的类有一个抽象类型T和一个标准迭代器方法。

下面，我们会实现一个具体的类（所有抽象成员T，hasNext和next都会实现）：

class StringIterator(s: String) extends AbsIterator { type T = Char private var i = 0 def hasNext = i < s.length def next = { val ch = s charAt i i += 1 ch } }

StringIterator有一个String并可用于遍历字符串（如，查看字符串是否包含特定字符）。

下面创建一个特征扩展AbsIterator。

trait RichIterator extends AbsIterator { def foreach(f: T => Unit): Unit = while (hasNext) f(next) }

因为RichIterator是一个特征，所以不需要实现AbsIterator中的抽象成员。

将StringIterator和RichIterator的功能组合到一个类中。

object StringIteratorTest extends App { class Iter extends StringIterator(args(0)) with RichIterator val iter = new Iter iter foreach println }

类Iter的父类是StringIterator，mixin是RichIterator。

单一继承无法有这样的灵活程度。