匹配的子類在斯卡拉

Question

爲什麼這個編譯失敗（或工作）：

case class A(x: Int) 
    class B extends A(5) 

    (new B) match { 
    case A(_) => println("found A") 
    case _ => println("something else happened?") 
    } 

編譯器錯誤是：

constructor cannot be instantiated to expected type; found : blevins.example.App.A required: blevins.example.App.B 

注意，這個編譯和運行爲預計：

(new B) match { 
    case a: A => println("found A") 
    case _ => println("something else happened?") 
    } 

---

附錄

僅作參考，這個編譯並運行良好：

class A(val x: Int) 
    object A { 
    def unapply(a: A) = Some(a.x) 
    } 
    class B extends A(5) 

    (new B) match { 
    case A(i) => println("found A") 
    case _ => println("something else happened?") 
    } 

Answer 1

這工作，至少在2.8：

scala> case class A(x: Int)       
defined class A 

scala> class B extends A(5)       
defined class B 

scala> (new B: A) match {        
    |  case A(_) => println("found A")    
    |  case _ => println("something else happened?") 
    | }            
found A 

我還沒有找到一個指向特定導致原始問題的錯誤，但忽略關於在您自己的危險中關於案例類繼承的警告。