Scala列表串联，::: vs ++

:::和++在Scala中串联列表之间有什么区别吗？

scala> List(1,2,3) ++ List(4,5)
res0: List[Int] = List(1, 2, 3, 4, 5)

scala> List(1,2,3) ::: List(4,5)
res1: List[Int] = List(1, 2, 3, 4, 5)

scala> res0 == res1
res2: Boolean = true

从文档看来，它看起来++更通用，而它:::是List特定的。是否提供后者是因为它已用于其他功能语言中？

遗产。List最初被定义为具有功能性语言的外观：

1 :: 2 :: Nil // a list
list1 ::: list2  // concatenation of two lists

list match {
  case head :: tail => "non-empty"
  case Nil          => "empty"
}

当然，Scala以临时方式开发了其他系列。当2.8发布时，对集合进行了重新设计，以实现最大程度的代码重用和一致的API，以便您可以++用来连接任意两个集合-甚至迭代器。但是，除了一两个不推荐使用的列表之外，List必须保留其原始运算符。

始终使用:::。有两个原因：效率和类型安全。

效率

x ::: y ::: z比更快x ++ y ++ z，因为:::是正确的关联。x ::: y ::: z被解析为x ::: (y ::: z)，在算法上比快(x ::: y) ::: z（后者需要O（| x |）多步）。

类型安全

与:::您只能串联两个Lists。使用，++您可以将任何集合追加到List，这很糟糕：

scala> List(1, 2, 3) ++ "ab"
res0: List[AnyVal] = List(1, 2, 3, a, b)

++也很容易与以下内容混淆+：

scala> List(1, 2, 3) + "ab"
res1: String = List(1, 2, 3)ab

:::仅适用于列表，而++可与任何遍历一起使用。在当前实现（2.9.0）中，如果参数也是a ++，:::则回退List。

另一个不同点是第一句被解析为：

scala> List(1,2,3).++(List(4,5))
res0: List[Int] = List(1, 2, 3, 4, 5)

而第二个示例解析为：

scala> List(4,5).:::(List(1,2,3))
res1: List[Int] = List(1, 2, 3, 4, 5)

因此，如果您使用宏，则应多加注意。

此外，++对于两个列表，正在调用:::但具有更多开销，因为它要求隐式值在列表之间创建一个生成器。但是从这个意义上说，微基准测试并没有提供任何有用的功能，我想编译器会优化此类调用。

预热后的微基准测试。

scala>def time(a: => Unit): Long = { val t = System.currentTimeMillis; a; System.currentTimeMillis - t}
scala>def average(a: () => Long) = (for(i<-1 to 100) yield a()).sum/100

scala>average (() => time { (List[Int]() /: (1 to 1000)) { case (l, e) => l ++ List(e) } })
res1: Long = 46
scala>average (() => time { (List[Int]() /: (1 to 1000)) { case (l, e) => l ::: List(e ) } })
res2: Long = 46

正如Daniel C. Sobrai所说，您可以使用++，将任何集合的内容附加到列表中，而使用:::只能将列表连接起来。