Scala类型参数——泛型之逆变

/**
* 逆变，也是Scala中一种比较特殊的功能，它也完美的解决了在Java中泛型的一大缺憾。
* 比如，Professor02是Master02的子类，那么Card[Professor02]是不是Card[Master02]的子类？
* 这个在Java中是 不是的，但是在Scala中因为逆变、协变这个特色功能的存在，它就是其子类。
* 逆变其实就是泛型类下边界的加强版。
*/
class Master02

class Professor02 extends Master02

class Teach02 extends Master02

//这个是逆变，只能是Card02[T]及其Card02[T]子类
class Card02[-T]

class ContravariantDemo {
//只能是Card02[Teach02]及其Card02[Teach02]的子类Card[Master02]
def enterMeet(card: Card02[Teach02]): Unit = {
println("只能是讲师及其上一级别的人，才能进入会场！")
}
}

object ContravariantDemo {
def main(args: Array[String]): Unit = {
val masterCard = new Card02[Master02]
val professorCard = new Card02[Professor02]
val teacherCard = new Card02[Teach02]

val cont = new ContravariantDemo
cont.enterMeet(masterCard)
cont.enterMeet(teacherCard)
//此处就会报错
    // cont.enterMeet(professorCard)
}
}