scala学习笔记-上界、下界、协变、逆变、非变

1：上下界

• 在制定泛型类型是，有时需要界定泛型类型的范围，而不是接受任意类型。例如：要求某个泛型类型，必须是某个类的子类，这样在程序中就可以翻新的调用父类的犯法，程序才能正常的使用与运行
• scala的上下界特性允许 泛型类型是某个类的子类，或者是某个类的父类
  • 下界类型： U<:T U必须 是类型T的父类或者是自己本身
  • 上界类型： U<: T U必须是类型T的子类或者是自己本身

2：协变、逆变、非变

class Pair[T](a:T)

object Pair{
  def main(args: Array[String]): Unit = {
    var p1 = new Pair("HELLO")
    //编译报错，无法将p1转换为p2
    var p2:Pair[AnyRef] =p1
    println(p2)
  }
}

• 协变
  • class Pair[+T]，这种情况是协变。类型B是类型A的子类，Pair[B]可以认为是Pair[A]的子类型。这种情况，参数化类型的方向和类型的方向是一致的。
• 逆变
  • class Pair[-T]，这种情况是逆变。类型B是A的子类，Pair[A]反过来可以认为是Pair[B]的子类型。这种情况，参数化类型的方向和类型的方向是相反的。
• 非变
  • class Pair[-T]{}，这种情况是非变（默认），类型B是A的子类，Pair[A]和Pair[B]没有任何从属关系，这种情况和java是一样的。

class Super

class Sub extends  Super

//非变
class Temp1[A](title:String)
//协变
class Temp2[+A](title:String)
//逆变
class Temp3[-A](title:String)


object Covariance{
  def main(args: Array[String]): Unit = {
    val a= new Sub
    // 没有问题，sub是Super的子类
    val b:Super=a

    // 非变
    val t1:Temp1[Sub] = new Temp1[Sub]("测试")
    // 默认不允许转换
    val t2:Temp1[Super] = t1

    //协变
    val t3:Temp2[Sub] = new Temp2[Sub]("测试")
    val t4:Temp2[Super]=t3

    //逆变
    val t5:Temp3[Super] = new Temp3[Super]("测试")
    val t6:Temp3[Sub]=t5
  }
}

• 总结

  C[+T]:如果A是B的子类，那么C[A]是C[B]的子类
  C[-T]:如果A是B的子类，那么C[B]是C[A]的子类
  C[T]:无论A和B是什么关系，C[A]是C[B]没有从属关系