Scala Type Parameters 2

类型关系

Scala 支持在泛型类上使用型变注释，用来表示复杂类型、组合类型的子类型关系间的相关性

协变 +T，变化方向相同，通常用在生产

假设 A extends T, 对于 Clazz[+T]，则 Clazz[A] 也可看做 Clazz[T]

// 官网示例

abstract class Animal {

  def name: String

}

case class Cat(name: String) extends Animal

case class Dog(name: String) extends Animal

由于 Scala 标准库中不可变 List 的定义为 List[+A]，因此 List[Cat] 是 List[Animal] 的子类型， List[Dog] 也是 List[Animal] 的子类型，所以可直接将他们当作 List[Animal] 使用。

// 官网示例

object CovarianceTest extends App {

  def printAnimalNames(animals: List[Animal]): Unit = {

    animals.foreach { animal =>

      println(animal.name)

    }

  }

  val cats: List[Cat] = List(Cat("Whiskers"), Cat("Tom"))

  val dogs: List[Dog] = List(Dog("Fido"), Dog("Rex"))

  printAnimalNames(cats)

  // Whiskers

  // Tom

  printAnimalNames(dogs)

  // Fido

  // Rex

}

逆变 -T，变化方向相反，通常用在消费

假设 A extends T, 对于 Clazz[-T]，则 Clazz[T] 也可看做 Clazz[A]

// 官网示例

abstract class Printer[-A] {

  def print(value: A): Unit

}

class AnimalPrinter extends Printer[Animal] {

  def print(animal: Animal): Unit =

    println("The animal's name is: " + animal.name)

}

class CatPrinter extends Printer[Cat] {

  def print(cat: Cat): Unit =

    println("The cat's name is: " + cat.name)

}

object ContravarianceTest extends App {

  val myCat: Cat = Cat("Boots")

  def printMyCat(printer: Printer[Cat]): Unit = {

    printer.print(myCat)

  }

  val catPrinter: Printer[Cat] = new CatPrinter

  val animalPrinter: Printer[Animal] = new AnimalPrinter

  printMyCat(catPrinter)

  printMyCat(animalPrinter) // 将 Printer[Animal] 当作 Printer[Cat] 使用

}

巴特西

Scala Type Parameters 2

最新文章

热门文章