特质 (Traits) 用于在类 (Class)之间共享程序接口 (Interface)和字段 (Fields)。 它们类似于Java 8的接口。 类和对象 (Objects)可以扩展特质，但是特质不能被实例化，因此特质没有参数。

定义一个特质

最简化的特质就是关键字trait+标识符：

  1. trait HairColor

特征作为泛型类型和抽象方法非常有用。

  1. trait Iterator[A] {
  2.   def hasNext: Boolean
  3.   def next(): A
  4. }

扩展 trait Iterator [A] 需要一个类型 A 和实现方法hasNext和next。

使用特质

使用 extends 关键字来扩展特征。然后使用 override 关键字来实现trait里面的任何抽象成员：

  1. trait Iterator[A] {
  2.   def hasNext: Boolean
  3.   def next(): A
  4. }
  6. class IntIterator(to: Int) extends Iterator[Int] {
  7.   private var current = 0
  8.   override def hasNext: Boolean = current < to
  9.   override def next(): Int =  {
  10.     if (hasNext) {
  11.       val t = current
  12.       current += 1
  13.       t
  14.     } else 0
  15.   }
  16. }
  19. val iterator = new IntIterator(10)
  20. iterator.next()  // returns 0
  21. iterator.next()  // returns 1

这个类 IntIterator 将参数 to 作为上限。它扩展了 Iterator [Int]，这意味着方法 next 必须返回一个Int。

子类型

凡是需要特质的地方，都可以由该特质的子类型来替换。

  1. import scala.collection.mutable.ArrayBuffer
  3. trait Pet {
  4.   val name: String
  5. }
  7. class Cat(val name: String) extends Pet
  8. class Dog(val name: String) extends Pet
  10. val dog = new Dog("Harry")
  11. val cat = new Cat("Sally")
  13. val animals = ArrayBuffer.empty[Pet]
  14. animals.append(dog)
  15. animals.append(cat)
  16. animals.foreach(pet => println(pet.name))  // Prints Harry Sally

在这里 trait Pet 有一个抽象字段 name ，name 由Cat和Dog的构造函数中实现。最后一行，我们能调用pet.name的前提是它必须在特质Pet的子类型中得到了实现。