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

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