Scala语法详解：特质 (Traits)

Posted 2021-09-09 JavaEdge.

特质 (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))