匹配的子类在斯卡拉

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 

我还没有找到一个指向特定导致原始问题的错误，但忽略关于在您自己的危险中关于案例类继承的警告。