Scala进阶27-List中的上界、下界、逆变、协变

最新推荐文章于 2025-11-11 16:40:27 发布

原创最新推荐文章于 2025-11-11 16:40:27 发布 · 854 阅读

1 ·

CC 4.0 BY-SA版权

Scala 专栏收录该内容

77 篇文章

订阅专栏

本文深入探讨了Scala中List构造的内部实现细节，包括抽象类Big_Data及其子类Hadoop和Spark的应用实例。通过具体代码解释了如何使用::操作符来构建List，并展示了Scala中类型参数的协变和逆变特性。

abstract class Big_Data
class Hadoop extends Big_Data
class Spark extends Big_Data

/**
  * ::是中值表达式
  * def ::[B >: A] (x: B): List[B] =
  * new scala.collection.immutable.::(x, this)
  * A是以B为上界的，或者说B是以A为下界的。返回是上界B，list是协变的，函数的参数（x:B）其实是逆变的。
  * 函数的参数时逆变的，就不能保持函数的返回结果类型是协变的了。使得list可以容纳具体的上界的所有子类型。
  */
object List_Constructor_Internals {
  //hadoop: List[Hadoop] = List(Hadoop@483f6d77)
  val hadoop = new Hadoop :: Nil

  //big_Data: List[Big_Data] = List(Spark@f58853c, Hadoop@483f6d77)
  val big_Data = new Spark :: hadoop
  //等同于这样写
  val big_data1 = hadoop.::(new Spark)
}