สกาล่า: ไม่มี vs รายการ ()

ใน Scala จะมีความแตกต่างใด ๆ ระหว่างNilและList()?

ถ้าไม่สไตล์ Scala สำนวนไหนมากกว่ากัน? ทั้งสำหรับการสร้างรายการว่างใหม่และการจับคู่รูปแบบในรายการว่าง

scala> println (Nil == List())
true

scala> println (Nil eq List())
true

scala> println (Nil equals List())
true

scala> System.identityHashCode(Nil)
374527572

scala> System.identityHashCode(List())
374527572

Nil เป็นสำนวนมากกว่าและเป็นที่ต้องการในกรณีส่วนใหญ่ คำถาม?

ไม่ทราบผู้ใช้แสดงว่าค่ารันไทม์ของทั้งสองNilและList()เหมือนกัน อย่างไรก็ตามประเภทคงที่ไม่ใช่:

scala> val x = List()
x: List[Nothing] = List()

scala> val y = Nil
y: scala.collection.immutable.Nil.type = List()

scala> def cmpTypes[A, B](a: A, b: B)(implicit ev: A =:= B = null) = if (ev eq null) false else true
cmpTypes: [A, B](a: A, b: B)(implicit ev: =:=[A,B])Boolean

scala> cmpTypes(x, y)
res0: Boolean = false

scala> cmpTypes(x, x)
res1: Boolean = true

scala> cmpTypes(y, y)
res2: Boolean = true

สิ่งนี้มีความสำคัญเป็นพิเศษเมื่อใช้ในการอนุมานประเภทเช่นในตัวสะสมของฝาพับ:

scala> List(1, 2, 3).foldLeft(List[Int]())((x, y) => y :: x)
res6: List[Int] = List(3, 2, 1)

scala> List(1, 2, 3).foldLeft(Nil)((x, y) => y :: x)
<console>:10: error: type mismatch;
 found   : List[Int]
 required: scala.collection.immutable.Nil.type
       List(1, 2, 3).foldLeft(Nil)((x, y) => y :: x)
                                               ^

ตามที่ผู้ใช้ไม่ทราบคำตอบแสดงว่าเป็นวัตถุเดียวกัน

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

List[Foo]() 

ดีกว่า

Nil : List[Foo]