Question

让我们说我有一个特性，父母，有一个孩子，孩子。

scala> sealed trait Parent
defined trait Parent

scala> case object Boy extends Parent
defined module Boy

我编写了一个模式匹配密封特征的函数。我的f函数总计，因为只有一个Parent个实例。

scala> def f(p: Parent): Boolean = p match { 
     |   case Boy => true
     | }
f: (p: Parent)Boolean

然后，2个月后，我决定添加Girl Parent的孩子。

scala> case object Girl extends Parent
defined module Girl

然后重新编写f方法，因为我们正在使用REPL。

scala> def f(p: Parent): Boolean = p match { 
     |   case Boy => true
     | }
<console>:10: warning: match may not be exhaustive.
It would fail on the following input: Girl
       def f(p: Parent): Boolean = p match { 
                                   ^
f: (p: Parent)Boolean

如果我遇到非详尽的匹配，那么我会得到一个编译时警告（正如我们在这里看到的那样）。

但是，如何在非详尽的匹配中进行编译失败？

Answer 1

您可以将-Xfatal-warnings添加到Scalac的选项中。这样，任何警告都将被视为错误。

在sbt中，您可以通过以下方式实现：

scalacOptions += "-Xfatal-warnings"

Answer 2

从 scalac 2.13.2 开始，对警告进行了相当精细的控制。要得到 OP 的要求：

<块引用>

scalacOptions += "-Wconf:cat=other-match-analysis:error"

Detailed howto by Lukas Rytz.

Answer 3

也许您可以放入默认情况下捕获后定义元素并将其绑定到您可以单独管理的部分函数。然后，partial将充当＆＃34;默认处理程序＆＃34;。

  sealed trait Animal
  case class Dog(name: String) extends Animal
  case class Cat(name: String) extends Animal

  val t: Animal = Dog("fido")

  // updates when the trait updates
  val partial = PartialFunction[Animal, Unit] {
    case Dog(_) => println("default dog")
    case Cat(_) => println("default cat")
    case _ => throw new RuntimeException("Broken")
  }

  // matches that may be out of date refer to it
  t match {
    case Dog(_) => println("specific dog")
    case t => partial(t)
  }

或许您可以一直使用PartialFunction并将它们链接在一起。

SBT中非穷举匹配使编译失败

3 个答案: