この種のバグパターンマッチングとNilを防ぐ方法

Question

パターンマッチをもう一度行うと、Nilを使って空のリストをチェックすることができます。基本となる型が反復処理可能である場合は、あなたはまだナシを確認することができ、それが空集合、などのために中断します...以下の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 

質問です - どのように私は、この種のを防ぐことができます問題の？明らかに、lが型Listの場合、バグはありません。そして、もしlがSet型であれば、それはコンパイルされません。しかし、リストを持つクラスがあり、このようにパターンを一致させる関数を定義すれば、代わりにジェネリック反復可能クラスを変更する人はいますか？このNil vs. _パターンは一般的に悪い考えですか？

Answer 1

疑念を取り除くために、監視者をリストに変換してください。ここで

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

Answer 2

一つの可能​​性は、ガードを使用することです。これを行うには

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

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

もう一つの方法は、if-else式（あなただけをチェックするために1つのまたは2つの条件がある場合は最高の作品）を使用することです。

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

Answer 3

は別のオプション（しゃれ意図）である：

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

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

これは、人気のList() match { case h :: t => ... }のようheadを得るためにあなたのパターンマッチの場合に有用であるが、それは、それは、リストのいませんIterableおよび::は、に失敗します。

私は、ヘッドを得るためにコレクションでパターンマッチングすることはかなり一般的だと思ったので、この回答を追加しました。そうでなければ、xs.isEmptyでチェックできます。