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