参数化类型
Reader
定义泛型的Reader[+T]，并赋予协变的能力。
trait Reader[+T] {
val source: T
def read: String
}
StringReader
class StringReader(val source: String) extends Reader[String] {
def read: String = source
}
FileReader
import scala.io.Source
import scala.util.Properties.lineSeparator
class FileReader(val source: File) extends Reader[File] {
def read: String =
Source.fromFile(source).getLines.mkString(lineSeparator)
}
抽象类型
Reader
首先定义一个抽象类型：type In；基于抽象类型In，定义了一个抽象字段：val source: In；此外，Reader定义了一个抽象方法read。
trait Reader {
type In
val source: In
def read: String
}
StringReader
class StringReader(val source: String) extends Reader {
type In = String
def read: String = source
}
FileReader
import scala.io.Source
import scala.util.Properties.lineSeparator
class FileReader(val source: File) extends Reader {
type In = File
def read: String =
Source.fromFile(source).getLines.mkString(lineSeparator)
}
using：抽象控制
Scala并没有将using像C#那些语言，将其作为保留字。但借助于Scala强大的扩展能力，using形如内置于语言的控制结构，其行为类似于if, while。
其中，using实现请参阅借贷模式.
