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

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-warningsScalac的选项.这样任何警告都将被视为错误.

在sbt中,您可以通过以下方式实现:

scalacOptions += "-Xfatal-warnings"

Answer 2

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

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

Lukas Rytz 的详细操作指南。