Jak zapobiegać tego rodzaju błędom - dopasowywanie wzorców i zerowanie

Question

Kiedy ponownie dopasowujesz wzorzec do listy, możesz użyć pustej listy do sprawdzenia pustej listy. Jednakże, jeśli typ bazowy jest iterable, nadal można sprawdzić, Nil, i będzie przerwa na zbiór pusty, itp ... Zobacz następujący REPL sesji:

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 

pytanie brzmi - w jaki sposób można zapobiec tego rodzaju emisyjny? Oczywiście, jeśli l jest listą typów, to nie jest to błąd. A jeśli l jest typu Set, to nie będzie się kompilować. Ale co, jeśli mamy klasę, która ma listę, definiujemy funkcję, która dopasowuje wzorzec w ten sposób, a następnie ktoś zmienia klasę, aby zamiast tego generować iterację? Czy ten wzór Nil kontra _ pasuje ogólnie do złego pomysłu?

Answer 1

Konwersja scrutinee do listy, aby wyeliminować wątpliwości.

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

Answer 2

Jedną z możliwości jest użycie straży:

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

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

Innym sposobem, aby to zrobić jest użycie if-else-wyrażenie (działa najlepiej, jeśli masz tylko jeden lub dwa warunki, aby sprawdzić):

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

Answer 3

Oto kolejna opcja (pun przeznaczone):

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

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

Jest to przydatne w przypadku, w którym wzór mecz, aby uzyskać head jak w popularnej List() match { case h :: t => ... } ale nie jest to lista, to jest Niepowodzenie Iterable i

Dodałem tę odpowiedź, ponieważ uważam, że to dość powszechne dopasowanie do wzorca w kolekcji, aby uzyskać głowę, w przeciwnym razie można po prostu sprawdzić z xs.isEmpty.