scala - 为什么使用 cons 运算符构建的列表末尾需要 Nil

Question

我现在正在学习 Scala(Scala 编程，第二版，Odersky)。

当使用 cons 运算符构建列表时，我们必须编写:

val l = 1 :: 2 :: 3 :: 4 :: Nil

为什么最后需要 Nil？为什么编译器不能理解 4 是最后一个元素，所以就这样写:

val l = 1 :: 2 :: 3 :: 4

Answer 1

::的签名大致为:

case class ::[E](hd: E, tl: List[E]) extends List[E]

// which generates this automatically:

object :: {
    def apply[E](hd: E, tl: List[E]): ::[E]
}

Nil的签名大致为:

object Nil extends List[Nothing]

如您所见，:: 采用一个元素和一个列表。 4 不是列表，而 Nil 是列表。