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)
  }
}