แก้ไข : เขียนคำถามนี้ใหม่ตามคำตอบเดิม
scala.collection.immutable.Setชั้นไม่ได้ covariant ในพารามิเตอร์ชนิดของมัน ทำไมถึงเป็นแบบนี้?
import scala.collection.immutable._
def foo(s: Set[CharSequence]): Unit = {
println(s)
}
def bar(): Unit = {
val s: Set[String] = Set("Hello", "World");
foo(s); //DOES NOT COMPILE, regardless of whether type is declared
//explicitly in the val s declaration
}
foo(Set("Hello", "World"))คอมไพล์ด้วย 2.10 เนื่องจาก Scala ดูเหมือนจะสามารถอนุมานประเภทที่ถูกต้องของ Set มันใช้ไม่ได้กับการแปลงโดยนัยแม้ว่า ( stackoverflow.com/questions/23274033/… )
คำตอบ:
Setไม่แปรผันในพารามิเตอร์ type เนื่องจากแนวคิดเบื้องหลังชุดเป็นฟังก์ชัน ลายเซ็นต่อไปนี้ควรชี้แจงสิ่งต่างๆเล็กน้อย:
trait Set[A] extends (A=>Boolean) {
def apply(e: A): Boolean
}
หากSetเป็นโรคโควาเรีAยapplyวิธีนี้จะไม่สามารถใช้พารามิเตอร์ประเภทได้Aเนื่องจากฟังก์ชันที่ไม่ตรงกัน Setอาจจะเป็นcontravariantในAแต่เรื่องนี้ทำให้เกิดปัญหามากเกินไปเมื่อคุณต้องการที่จะทำสิ่งเช่นนี้
def elements: Iterable[A]
ในระยะสั้นวิธีแก้ปัญหาที่ดีที่สุดคือทำให้สิ่งต่าง ๆ ไม่เปลี่ยนแปลงแม้โครงสร้างข้อมูลที่ไม่เปลี่ยนรูป คุณจะสังเกตเห็นว่าimmutable.Mapพารามิเตอร์ประเภทหนึ่งไม่แปรผันเช่นกัน
List(1,2,3).contains _คือ(Any) => Booleanในขณะที่ประเภทของการเป็นSet(1,2,3).contains _ res1: (Int) => Boolean
ที่http://www.scala-lang.org/node/9764 Martin Odersky เขียน:
"ในเรื่องของเซตฉันเชื่อว่าความไม่แปรปรวนเกิดจากการนำไปใช้เช่นกันชุดทั่วไปถูกนำมาใช้เป็นแฮชแท็กซึ่งไม่ใช่อาร์เรย์ประเภทคีย์ที่ไม่แปรผันฉันยอมรับว่าเป็นความผิดปกติที่น่ารำคาญเล็กน้อย"
ดังนั้นดูเหมือนว่าความพยายามทั้งหมดของเราในการสร้างเหตุผลที่เป็นหลักการสำหรับสิ่งนี้ถูกเข้าใจผิด :-)
Seqเป็นโควาเรีย ... ฉันขาดอะไรไปหรือเปล่า?
Array[Any]ภายใน
แก้ไข : สำหรับใครที่สงสัยว่าทำไมคำตอบนี้ดูไม่ตรงประเด็นเล็กน้อยนั่นเป็นเพราะฉัน (ผู้ถาม) ได้แก้ไขคำถาม
การอนุมานประเภทของ Scala นั้นดีพอที่จะเข้าใจว่าคุณต้องการ CharSequences ไม่ใช่ Strings ในบางสถานการณ์ โดยเฉพาะอย่างยิ่งสิ่งต่อไปนี้ใช้ได้กับฉันใน 2.7.3:
import scala.collections.immutable._
def findCharSequences(): Set[CharSequence] = Set("Hello", "World")
วิธีสร้างไม่เปลี่ยนรูปแฮชเซ็ตโดยตรง: อย่า เนื่องจากการเพิ่มประสิทธิภาพการใช้งานไม่เปลี่ยนรูปแฮชเซ็ตที่มีองค์ประกอบน้อยกว่า 5 องค์ประกอบไม่ใช่อินสแตนซ์ของการเปลี่ยนรูปไม่ได้จริงๆ มีทั้ง EmptySet, Set1, Set2, Set3 หรือ Set4 คลาสย่อยเหล่านี้ไม่เปลี่ยนรูปตั้งค่า แต่ไม่เปลี่ยนรูป HashSet
foo(s.toSet[CharSequence])รวบรวมได้ดีtoSetวิธีเป็น O (1) -asInstanceOfมันเป็นเพียงแค่การตัด