特质 (Traits) 用于在类 (Class)之间共享接口 (Interface)和字段 (Fields)。类似Java8的接口。 类和对象 (Objects)可以继承Trait,但Trait不能被实例化,因此特质没有参数。
定义
最简化的就是关键字trait+标识符:
trait HairColor
特征作为泛型类型和抽象方法非常有用。
trait Iterator[A] { def hasNext: Boolean def next(): A }
扩展 trait Iterator [A] 需要一个类型 A 和实现方法hasNext和next。
使用
使用 extends 扩展Trait。然后使用 override 关键字实现trait里面的任何抽象成员:
trait Iterator[A] { def hasNext: Boolean def next(): A } class IntIterator(to: Int) extends Iterator[Int] { private var current = 0 override def hasNext: Boolean = current < to override def next(): Int = { if (hasNext) { val t = current current += 1 t } else 0 } } val iterator = new IntIterator(10) iterator.next() // returns 0 iterator.next() // returns 1
这个类 IntIterator 将参数 to 作为上限。它扩展了 Iterator [Int],这意味着方法 next 必须返回一个Int。
子类型
凡是需要特质的地方,都可以由该特质的子类型来替换。
import scala.collection.mutable.ArrayBuffer trait Pet { // 抽象字段 val name: String } // name 由Cat和Dog的构造器实现 class Cat(val name: String) extends Pet class Dog(val name: String) extends Pet val dog = new Dog("Harry") val cat = new Cat("Sally") val animals = ArrayBuffer.empty[Pet] animals.append(dog) animals.append(cat) // 调用pet.name的前提是它必须在特质Pet的子类型中得到了实现。 animals.foreach(pet => println(pet.name))