Come evitare questo tipo di bug - corrispondenza del modello e Nil

Question

Quando si esegue il modello di corrispondenza di nuovo Elenchi, è possibile utilizzare Nil per verificare la presenza di un elenco vuoto. Tuttavia, se il tipo di fondo è un Iterable, è ancora possibile verificare la presenza di Nil, e si romperà per insieme vuoto, ecc ... Vedi sessione seguente REPL:

scala> val l: Iterable[Int] = List() 
l: Iterable[Int] = List() 

scala> l match { 
    | case Nil => 1 
    | case _ => 2 
    | } 
res0: Int = 1 

scala> val l: Iterable[Int] = Set() 
l: Iterable[Int] = Set() 

scala> l match { 
    | case Nil => 1 
    | case _ => 2 
    | } 
res2: Int = 2 

domanda è - come posso impedire questo tipo di problema? Ovviamente, se l è un elenco di tipi, non è un bug. E se l è di tipo Set, non verrà compilato. Ma se avessimo una classe che ha una lista, definiamo una funzione che il modello corrisponde in questo modo, e poi qualcuno cambia la classe per assumere invece un iter generico? Questo modello Nil vs. _ è in linea con una cattiva idea in generale?

Answer 1

Convertire le verifiche in un elenco per eliminare dubbi.

l.toList match { 
    case Nil => 1 
    case xs => 2 
} 

Answer 2

Una possibilità è quella di utilizzare una guardia:

scala> val xs: Iterable[Int] = Set() 
xs: Iterable[Int] = Set() 

scala> xs match { case xs if xs.isEmpty => 1 case _ => 2 } 
res0: Int = 1 

Un altro modo per farlo è quello di utilizzare un if-else-espressione (funziona meglio se si hanno solo uno o due condizioni da verificare):

scala> if (xs.isEmpty) 1 else 2 
res1: Int = 1 

Answer 3

Ecco un'altra opzione (gioco di parole):

scala> val l: Iterable[Int] = List() 
l: Iterable[Int] = List() 

scala> l.headOption match { case None => 1; case Some(h) => 2 } 
res0: Int = 1 

Questo è utile nei casi in cui si pattern match, al fine di ottenere il head come nel popolare List() match { case h :: t => ... } ma non è un elenco, è un Iterable e :: fallirà.

Ho aggiunto questa risposta perché ho pensato che fosse abbastanza comune abbinare una partita a una collezione per ottenere una testa, altrimenti è possibile controllare con xs.isEmpty.