/** * 逆变,也是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) } }
Scala类型参数——泛型之逆变
最新推荐文章于 2023-04-03 00:15:00 发布