การต่อกันรายการสกาล่า, ::: 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-specific มีให้หลังเพราะมันถูกใช้ในภาษาการทำงานอื่น ๆ ?

มรดก รายการเดิมถูกกำหนดให้เป็นลักษณะการทำงานภาษา:

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

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

แน่นอนว่าสกาล่าพัฒนาคอลเลคชั่นอื่น ๆ ในลักษณะเฉพาะกิจ เมื่อ 2.8 ออกมาคอลเลกชันได้รับการออกแบบใหม่เพื่อนำโค้ดกลับมาใช้สูงสุดและ API ที่สอดคล้องกันเพื่อให้คุณสามารถใช้++เชื่อมคอลเลกชันสองชุดใด ๆ - และแม้แต่ตัววนซ้ำ รายการอย่างไรก็ตามต้องเก็บโอเปอเรเตอร์ดั้งเดิมไว้นอกเหนือจากหนึ่งหรือสองรายการซึ่งเลิกใช้แล้ว

:::การใช้งานเสมอ มีสองเหตุผลคือประสิทธิภาพและความปลอดภัยของประเภท

อย่างมีประสิทธิภาพ

x ::: y ::: zเร็วกว่าx ++ y ++ zเนื่องจาก:::มีการเชื่อมโยงที่ถูกต้อง x ::: y ::: zถูกแยกวิเคราะห์เป็นx ::: (y ::: z)ซึ่งเร็วกว่าอัลกอริทึม(x ::: y) ::: z(หลังต้องใช้ O (| x |) ขั้นตอนเพิ่มเติม)

ประเภทความปลอดภัย

ด้วย:::คุณสามารถต่อกันเพียงสอง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)

ในขณะที่ตัวอย่างที่สองจะถูกแยกวิเคราะห์เป็น:

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

ดังนั้นหากคุณใช้มาโครคุณควรระวัง

นอกจากนี้++สำหรับสองรายการกำลังโทร:::แต่มีค่าใช้จ่ายมากขึ้นเพราะมันจะขอค่าโดยนัยที่จะมีการสร้างจากรายการไปยังรายการ แต่ microbenchmarks ไม่ได้พิสูจน์อะไรที่มีประโยชน์ในแง่นั้นฉันเดาว่าคอมไพเลอร์จะปรับการเรียกเช่นนั้นให้เหมาะสม

Micro-Benchmarks หลังจากอุ่นขึ้น

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 กล่าวคุณสามารถเพิ่มเนื้อหาของคอลเลกชันใด ๆ ลงในรายการโดยใช้++ในขณะที่:::คุณสามารถเชื่อมโยงรายการเท่านั้น