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] 使用 }
相关推荐
InfiniteIdeaGo 2020-09-16
knightwatch 2020-08-03
生活随笔 2020-07-15
ykmail 2020-06-23
secondid 2020-05-27
阿债的方寸天地 2020-04-30
hongsheyoumo 2020-04-29
伏雌摘星阁 2020-04-14
linuxisperfect 2020-03-06
tvk 2020-02-19
dongfangxiaozi 2020-02-17
jiangtie 2020-02-09
圆圆的世界CSDN 2020-01-30
jiangtie 2020-01-17
iamplane 2020-01-08
zmjzhangmj 2020-01-05
安得情怀似旧时 2019-12-16
Antech 2019-12-15