Scala语法整理

协变(+)、逆变（-）、类型上界(<:)和类型下界(>:)

• 非变 trait Queue[T] {}
  这是非变情况。这种情况下，当类型S是类型A的子类型，则Queue[S]不可认为是Queue[A]的子类型或父类型，这种情况是和Java一样的。

• 非变 trait Queue[+T] {}
  这是协变情况。这种情况下，当类型S是类型A的子类型，则Queue[S]也可以认为是Queue[A}的子类型，即Queue[S]可以泛化为Queue[A]。也就是被参数化类型的泛化方向与参数类型的方向是一致的，所以称为协变。

• 非变 trait Queue[-T] {}
  这是逆变情况。这种情况下，当类型S是类型A的子类型，则Queue[A]反过来可以认为是Queue[S}的子类型。也就是被参数化类型的泛化方向与参数类型的方向是相反的，所以称为逆变。

• U >: T
  这是类型下界的定义，也就是U必须是类型T的父类(或本身，自己也可以认为是自己的父类)。

• S <: T
  这是类型上界的定义，也就是S必须是类型T的子类（或本身，自己也可以认为是自己的子类)。

• Any 是所有类的超类，Nothing是所有类的子类

Code example

def printBokkListByTrait[P >: Book, R <: AnyRef](  
            action : GetInfoAction[P, R]) {  
        for (book <- books)  
            println(action(book))  
    }  

Extraction method (提取器)

object Student {
  def unapply(str: String): Option[(String, String, String)] = {
    val parts = str.split(",")
    if (parts.length == 3) Some(parts(0), parts(1), parts(2)) else None
  }
}

val students = List(
  "B123456,Justin,Kaohsiung",
  "B98765,Monica,Kaohsiung",
  "B246819,Bush,Taipei"
)

students.foreach(_ match {
  case Student(_, name, addr) if addr == "Kaohsiung" => println(name)
  case _ =>
})

unapply()方法稱之為提取方法（Extraction method），而像Student這樣只具備提取方法的物件稱之為提取器（Extractor）. 与之对应，apply方法被称为Injection method(注入方法)。

通过if对case的结果进行数据过滤，叫pattern guard(模式保护)

sealed

编译出错了，我们是不能在外部文件继承List类。所以，如果子类都明确的情况下，为了防止继承滥用，为抽象类添加sealed

abstract sealed class Person

case class Chinese extends Person

case class American extends Person
// 此时类Person只能在当前文件中继承，否则报错