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固有。後者は他の関数型言語で使用されているため提供されていますか？

レガシー。リストはもともと機能的な言語に見えるように定義されていました：

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のために再設計されたので、を使用++して、任意の 2つのコレクション（さらにはイテレータ）を連結することができます。ただし、リストは、廃止された1つまたは2つを除いて、元の演算子を保持する必要があります。

常に使用してください:::。効率とタイプセーフティの2つの理由があります。

効率

x ::: y ::: zは正しい結合x ++ y ++ zであるため、よりも高速です:::。x ::: y ::: zはとして解析されますx ::: (y ::: z)。これはアルゴリズム的に高速です(x ::: y) ::: z（後者はO（| x |）より多くのステップが必要です）。

タイプセーフ

では、:::連結できるのは2つListのだけです。では++、あなたの任意のコレクションに追加することができ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）では、引数もの場合は++フォールバックします。:::List

異なる点は、最初の文が次のように解析されることです。

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

一方、2番目の例は次のように解析されます。

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

したがって、マクロを使用している場合は注意が必要です。

さらに、++2つのリストが呼び出されますが、リスト:::からリストへのビルダーを持つように暗黙の値を要求しているため、オーバーヘッドが大きくなります。しかし、マイクロベンチマークはその意味で有用なものを何も証明していませんでした。コンパイラがそのような呼び出しを最適化していると思います。

ウォームアップ後のマイクロベンチマーク。

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

ダニエル・C. Sobraiが言ったように、あなたが使用してリストに任意のコレクションのコンテンツを追加することができます++とのに対し、:::あなただけのCONCATENATEリストすることができます。