वेक्टर

Question

के लिए पैटर्न मिलान "केस नील" postVector पर पैटर्न मिलान का उपयोग करने के तरीके (या Seq लागू करने वाले किसी भी संग्रह) को पढ़ने के बाद, मैंने इस संग्रह पर पैटर्न मिलान का परीक्षण किया।

object +: { 
    def unapply[T](s: Seq[T]) = 
    s.headOption.map(head => (head, s.tail)) 
} 

REPL मुझे पता चलता है कि

scala> Vector[Int]() == Nil 
res37: Boolean = true 

... तो क्यों मैं एक Vector के लिए इस case Nil कथन का उपयोग नहीं कर सकते हैं:

scala> x // Vector 
res38: scala.collection.immutable.Vector[Int] = Vector(1, 2, 3) 

scala> x match { 
    | case y +: ys => println("y: " + "ys: " + ys) 
    | case Nil => println("empty vector") 
    | } 
<console>:12: error: pattern type is incompatible with expected type; 
found : scala.collection.immutable.Nil.type 
required: scala.collection.immutable.Vector[Int] 
Note: if you intended to match against the class, try `case _: <none>` 
       case Nil => println("empty vector") 
        ^

यहाँ dhg के जवाब यह है कि +: बताते है?

Answer 1

तुलना Vector[Int]() == Nil संभव है क्योंकि आप तुलना करने के लिए प्रकार के स्तर पर कोई बाधा नहीं है; कि equals के कार्यान्वयन संग्रह के लिए, दूसरे हाथ पर, एक तत्व तत्व तुलना द्वारा ध्यान दिए बिना संग्रह प्रकार का प्रदर्शन करने के लिए अनुमति देता है:

Vector(1, 2, 3) == List(1, 2, 3) // true! 

पैटर्न मिलान में, आप एक खाली सूची के लिए एक मामला नहीं हो सकता (Nil) जब प्रकार सूची से संबंधित नहीं है (यह Vector है)।

आप इस हालांकि कर सकते हैं:

val x = Vector(1, 2, 3) 

x match { 
    case y +: ys => println("head: " + y + "; tail: " + ys) 
    case IndexedSeq() => println("empty vector") 
} 

लेकिन मैं यहाँ डिफ़ॉल्ट मामले उपयोग करने के लिए है, क्योंकि x एक सिर तत्व नहीं है, तो सुझाव है, यह तकनीकी रूप से खाली नहीं होना चाहिए:

x match { 
    case y +: ys => println("head: " + y + "; tail: " + ys) 
    case _ => println("empty vector") 
}