复盘笔记

专栏原创出处：github-源笔记文件 (opens new window) ，github-源码 (opens new window)，欢迎 Star，转载请附上原文出处链接和本声明。

Scala 编程语言专栏系列笔记，系统性学习可访问个人复盘笔记-技术博客 Scala 编程语言 (opens new window)

什么是特质
如何定义特质
如何使用特质
子类型（实现类）的作用

# 什么是特质

特质用于在类之间共享程序接口和字段。

特质类似于 Java 中的接口。
特质中可以声明属性和方法。
类和对象可以扩展特质，但是特质不能被实例化，因此特质没有参数。

# 如何定义特质

最简单的定义方法就是关键字 trait + 标识符。
特质用作泛型类型和定义抽象方法非常有用。

  trait HairColor  // 定义一个简单的特质
  
  // 定义一个带有泛型类型和抽象方法的特质
  trait Iterator[A] {
    def hasNext: Boolean
    def next(): A
  }
 
        Copied!

# 如何使用特质

如果子类没有父类，第一个实现的特质用 extends 关键字，其余实现的特质用 with 关键字。
如果子类存在父类，则剩余实现的特质都使用 with 关键字。
使用 override 关键字来实现特质里面的任何抽象成员。

  trait Iterator[A] {
    def hasNext: Boolean
    def next(): A
  }
  
  // IntIterator 将参数 to 作为 hasNext 方法比较的上限，并扩展了 Iterator 的类型为 Int
  // 因此 next 方法必须返回 Int 类型的值
  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
 
        Copied!

# 子类型（实现类）的作用

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

  trait Pet {
    val name: String
  }
  
  class Cat(val name: String) extends Pet
  class Dog(val name: String) extends Pet
  
  val dog = new Dog("Harry")
  val cat = new Cat("Sally")
  // 此处集合中需要放入 Pet 类型的对象，因为 Cat 和 Dog 实现了 Pet 特质，因此对象 dog 和 cat 可以放入该集合
  val animals = ArrayBuffer.empty[Pet]
  animals.append(dog)
  animals.append(cat)
  animals.foreach(pet => println(pet.name))  // Prints Harry Sally
 
        Copied!

← 内部类元组（Tuple） →