相关疑难解决方法(0)

scala> class A
defined class A

scala> class B
defined class B

scala> val a: A = new A
a: A = A@551510e8

scala> a match {
     | case _: B => println("unlikely")
     | case _ => println("no match")
     | }
no match

在上面的例子中,编译器不应该告诉我其中一个案例永远不能匹配吗？一个稍微复杂的例子最近引起了我的注意,导致了一个应该被编译器捕获的不必要的bug.

编辑:

只是为了更清楚这个问题.由于某种原因,我无法看到Scala中这是不可能的吗？(我可以理解这些类型是否使用泛型和类型擦除导致问题,但这看起来非常直接.)如果这不是不可能的,是否有正当理由这不是Scala？如果不是什么时候加入？;)