Pattern Matching "case Nil" per Vector

Question

Dopo aver letto questo post su come utilizzare la corrispondenza del modello su Vector (o qualsiasi raccolta che implementa Seq), ho verificato la corrispondenza del modello su questa raccolta.

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") 
        ^

Ecco dhg 's risposta che spiega +::

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

REPL mi dimostra che

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

... e allora perché non posso usare questa case Nil economico per un Vector?

Answer 1

Il confronto Vector[Int]() == Nil è possibile perché non esiste alcun vincolo sul livello di tipo per ciò che si confronta; che consente l'attuazione di equals per collezioni, d'altra parte, per eseguire un elemento rispetto elemento indipendentemente dal tipo di insieme:

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

In pattern matching, non si può avere un caso per un elenco vuoto (Nil) quando il tipo non è correlato alla lista (è un Vector).

È possibile fare questo però:

val x = Vector(1, 2, 3) 

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

ma vorrei suggerire semplicemente di utilizzare il caso di default qui, perché se x non hai un elemento di testa, deve essere tecnicamente vuoto:

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