Scala Type Parameters 2

最新推荐文章于 2023-11-10 08:39:51 发布

原创最新推荐文章于 2023-11-10 08:39:51 发布 · 960 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#java #scala

scala 专栏收录该内容

11 篇文章

订阅专栏

本文深入探讨Scala中的型变概念，包括协变和逆变的使用场景及实例，解释了如何在泛型类上使用型变注释来表示类型之间的子类型关系，通过具体的代码示例展示了List和Printer类的协变与逆变特性。

类型关系

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] 使用
}