Scala 模式匹配在嵌套案例类中并不详尽

Question

我有一个案例类层次结构来编码一些请求和处理错误：

  sealed trait OpError
  sealed trait RequestErrorType
  sealed trait ProcessingErrorType

  final case class InvalidEndpoint(reason: String) extends RequestErrorType
  final case class InvalidParameters(reason: String) extends RequestErrorType

  final case class InvalidFormat(response: String) extends ProcessingErrorType
  final case class EntityNotFound(id: Long) extends ProcessingErrorType

  final case class RequestError(errorType: RequestErrorType) extends OpError
  final case class ProcessingError(errorType: ProcessingErrorType) extends OpError

如果我写一个跨越所有模式的简单匹配：

  def printMatches(error: OpError): Unit = error match {
    case RequestError(InvalidEndpoint(reason)) => //print something
    case RequestError(InvalidParameters(reason)) => //print something
    case ProcessingError(InvalidFormat(format)) => //print something
    case ProcessingError(EntityNotFound(entityId)) => //print something
  }

编译器给我一个关于缺少匹配的警告：

 match may not be exhaustive.
 It would fail on the following input: ProcessingError(_)
 def printMatches(error: OpError): Unit = error match {

但是 ProcessingError 接受一个只有两个扩展的 ProcessingErrorType：InvalidFormat 和 EntityNotFound，这两者都在模式匹配中被考虑在内。我错过了什么？

更奇怪的是，如果我将 InvalidParameters 或 InvalidEndpoint 的参数类型更改为 String*，我不会得到错误：

final case class InvalidParameters(reason: String*) extends RequestErrorType

有什么想法吗？

Answer 1

这是一个已确认的错误。 I filed a bug report for this 此后已针对 Scala 2.12.0-M4 进行了修复。

Answer 2

非常有趣！不幸的是，我还没有找到答案。我一直在围绕http://www.scala-lang.org/files/archive/spec/2.11/08-pattern-matching.html#constructor-patterns 旋转，但我还没有真正找到对发生的事情的有效解释。

这是一个更简单的演示（希望你不介意）：

sealed abstract class ClassOne
case class ClassOneImpl() extends ClassOne

sealed abstract class ClassTwo()
case class ClassTwoImpl() extends ClassTwo

sealed abstract class Foo
case class FooOne(x: ClassOne) extends Foo
case class FooTwo(x: ClassTwo) extends Foo

def printMatches(st: Foo): Unit = st match {
  case FooOne(ClassOneImpl()) => println()
  case FooTwo(ClassTwoImpl()) => println()
}

我观察到以下两个修改中的每一个都删除了警告：
1) 更改 FooOne 和 FooTwo 签名，而不是采用 ClassOne 和 ClassTwo 他们采用 ClassOneImpl 和 ClassTwoImpl
2) 删除FooOne 或FooTwo 以便只有一个case 类扩展Foo（这导致模式匹配中只有一种case）。

也许我们可以提交一个问题，看看他们怎么说？

Answer 3

您可以使用未经检查的注释帮助编译器：

... = (error: @unchecked) match ...

但你应该确定，你的匹配是详尽的。

Answer 4

我认为穷举匹配适用于单一继承级别。 RequestErrorType 和 ProcessingErrorType 是构造函数的一部分，其中不检查详尽性。

看代码可以看出来，但是编译器好像没有。