Scala --- 协变、逆变、非变

最新推荐文章于 2022-05-31 08:32:24 发布

少说废话多干活

最新推荐文章于 2022-05-31 08:32:24 发布

阅读量125

点赞数

分类专栏：大数据 Scala

本文链接：https://blog.csdn.net/qq_24271537/article/details/103391861

版权

大数据同时被 2 个专栏收录

24 篇文章 0 订阅

订阅专栏

Scala

14 篇文章 0 订阅

订阅专栏

本文介绍了Scala中的协变、逆变和非变性概念。通过类Temp2、Temp3和Temp1的示例，阐述了协变（C[+T]）如何使类型C[A]成为C[B]的子类，逆变（C[-T]）如何使C[B]成为C[A]的子类，以及非变性（C[T]）中C[A]和C[B]之间的独立性。

摘要由CSDN通过智能技术生成

class Pair[T](a:T)

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

    println(p2)
  }
}

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

总结：

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

class Super
class Sub extends Super

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

object Covariance_demo {
  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
  }
}