なぜ私はSeq.emptyにマッチできませんか？

Question

私はこのような配列に一致しようとした：

val users: Seq[User] = .... 

users match { 
    case Seq.empty => .... 
    case .. 
} 

私が言ってエラーを得た：私はこれを行うことができない理由

stable identifier required, but scala.this.Predef.Set.empty found. 

誰かが説明できますか？すなわちSeq()またはその代わりNilにその背後にある理論

Answer 1

両方Seq.applyとSeq.empty何unapply方法を持たない、GenericCompanionで実装されているので、あなたはそのパターンマッチングが可能ではないだろうと思うだろうが、Seq.unapplySeq()ので、あなたがSeq()に残ってパターンマッチことができるしている、SeqFactoryに実装それが利用可能になります。 unapplySeq()ドキュメントから

：

この方法は、パターンマッチ{ケース配列（...）=>}で呼び出されます。

より背景

コレクションは、コンパイラがcase List() => ...のようなものを見たときに呼び出されるメソッドunapplySeq()、経由パターンの可能なマッチングを行います。

それはList(42)はなく、そのパターンマッチングでList.apply(42)と同じものであることは興味深い：

lst match { 
    case List(8)  => ... // OK 
    case List.apply(8) => ... // won't compile 
} 

同じ原理がSeq()とSeq.emptyに適用されます。

Answer 2

マッチ：

scala> Seq.empty 
res0: Seq[Nothing] = List() 

scala> val a = Seq(1,2,3) 
a: Seq[Int] = List(1, 2, 3) 

scala> val b = Seq() 
b: Seq[Nothing] = List() 

scala> a match {case Seq() => "empty" 
    | case _ => "other" 
    | } 
res1: String = other 

scala> b match {case Seq() => "empty" 
    | case _ => "other" 
    | } 
res2: String = empty 

はなぜ技術的な理由@jwvh's answerを参照してください。