Scala之旅——特质

特质用于在类之间共享接口和字段,这点和Java8中的接口很像。类和对象可以继承特质,但是特质不能被实例化,因此没有参数。

定义一个特质

最简化的特质就是关键字trait和一个标识符:

1
trait HairColor

特质在用于泛型类型和抽象方法时特别有用。

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

继承trait Iterator[A]需要一个类型A,并且实现方法hasNextnext

使用特质

使用extends关键字可以继承一个特质。实现特质中的任何一个抽象方法时使用override关键字:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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用来作为上界。extends Iterator[Int]表示其中的next方法必须返回一个Int值。

子类型化

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
import scala.collection.mutable.ArrayBuffer

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")

val animals = ArrayBuffer.empty[Pet]
animals.append(dog)
animals.append(cat)
animals.foreach(pet => println(pet.name)) // Prints Harry Sally

特质Pet有个抽象字段name,分别在CatDog中的构造方法中得到了实现。最后一行,我们调用pet.name必须是在特质pet的任何子类型中得到了实现。

小鹏 wechat
公众号:数据Man
0%