欠落警告

Question

次は-uncheckedが有効になっている警告、生成されないのはなぜ：

object Order { 
    sealed trait EntryOption 
    case object EmptyEntry extends EntryOption 
    trait Entry extends EntryOption 

    def isEmpty(a: EntryOption): Boolean = a match { 
     case EmptyEntry => true 
// case _: Entry => false 
    } 
} 

を私がいないと、Scalaの2.8.0の日で正確にsame problem beforeを持っていたようです十分な答え。

---

EDIT

それは警告が唯一の非抽象クラスEntryのために放出されることを私のために意味をなさない@Jed。次のような状況を考えてみます。

trait Order { 
    sealed trait EntryOption 
    case object EmptyEntry extends EntryOption 
    abstract sealed class Entry extends EntryOption 

    def isEmpty(a: EntryOption): Boolean = a match { 
    case EmptyEntry => true 
// case _: Entry => false 
    } 
} 

trait OrderImpl extends Order { 
    final class EntryImpl extends Entry 
} 

警告が表示されるようにする唯一の方法はOrderに具象クラスEntryを持つことです！

Answer 1

：

scala> object Order { 
    | sealed trait EntryOption 
    | case object EmptyEntry extends EntryOption 
    | trait Entry extends EntryOption 
    | 
    | def isEmpty(a: EntryOption) : Boolean = a match { 
    |  case EmptyEntry => true 
    | // case _: Entry => false 
    | } 
    | } 
<console>:18: warning: match is not exhaustive! 
missing combination   Entry 

      def isEmpty(a: EntryOption) : Boolean = a match { 
                ^
defined module Order 

Answer 2

エントリは、ケースクラスではなく、特性です。それはトランクに文句を言うん