在 Scala 中更好地对匹配进行类型检查

Question

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

在上面的例子中，编译器不应该告诉我其中一种情况永远不会匹配吗？ 最近一个稍微复杂的例子让我发现了，这导致了一个应该被编译器捕获的不必要的错误。

编辑：

只是为了更清楚地了解这个问题。 由于某种我看不到的原因，这在 Scala 中是不可能的吗？ （我可以理解这些类型是否使用了泛型并且类型擦除导致了问题，但这看起来很简单。）如果这不是不可能的，那么是否有正当理由这不在 Scala 中？ 如果没有，什么时候添加？ ;)

Answer 1

目前，仅对案例类构造函数模式进行详尽和冗余检查。 原则上，编译器也可以为其他类型的模式执行此操作。 但是必须在 SLS 中具体说明进行了哪些测试。 考虑到不同模式类之间的交互，这看起来可行但并非微不足道。 因此，总而言之，这是 Scala 中可以从进一步贡献中受益的领域之一。

Answer 2

如果您使用案例类，编译器会警告您（实际上编译失败）：

scala> case class A()
defined class A

scala> case class B()
defined class B

scala> val a = A()
a: A = A()

scala> a match {
     | case A() => println("A")
     | case B() => println("B")
     | case _ => println("_")
     | }
<console>:13: error: constructor cannot be instantiated to expected type;
 found   : B
 required: A
       case B() => println("B")

Answer 3

我检查了 Scala 2.13.3 ，我们收到了fruitless type test的警告：

scala> a match {
     | case _:B => println("B")
     | case _ => println("no match")
     | }
       case _:B => println("B")
              ^
On line 2: warning: fruitless type test: a value of type A cannot also be a B
no match