在Scala中将元素添加到不可变列表

Question

在Scala中，将元素添加到不可变列表的方式如下：

    val l = 1 :: 2 :: Nil
    l: List[Int] = List(1, 2)

这意味着您首先创建一个Nil（空）列表，然后向其添加2，然后添加1。即，这些操作是右相关的。 因此，实际上，可以用更清晰的方式重写它，如下所示：

    val l = (1 :: (2 :: Nil))
    l: List[Int] = List(1, 2)

问题是，如果List应该保留插入顺序，并且如果先将2添加到一个空列表中，然后再添加1，那么答案为何不是l: List[Int] = List(2, 1) ??

Answer 1

这只是约定。 列表基本上是堆栈。 访问或修改最近添加的项目是最有效的。 通常，您也可以将列表的开头视为最后一项，在这种情况下，建议的符号将是适当的。

我推测，采用该约定的原因是，我们通常不十分注重列表的构造方式，但我们确实经常希望将访问的第一个项目视为排序中的初始项目，因此将其表示为反映出这一点。

Answer 2

这是因为元素是前置的：先2后1 。

从缺点方法的定义：

  def ::[B >: A] (x: B): List[B] =
    new scala.collection.immutable.::(x, this)

在这里您可以看到，每次创建案例类scala.collection.immutable.::新实例时：

case class ::[B](val head: B, var tail: List[B]) extends List[B]

你只需要使用你的新元素作为head为新的列表和你的整个前面的列表作为它的tail 。

不可变List prepend操作也需要固定时间O（1），append是线性O（n）（来自Scala docs ）。