如何解决Int 上的匹配表达式并不详尽
我已经开始学习 Scala。
我很惊讶接下来的代码会编译:
object Hello extends App {
def isOne(num: Int) = num match {
case 1 => "hello"
}
}
例如,你不能在 Rust 中做类似的事情。
为什么 Scala 编译器不强制我为 case
提供默认值?
我会说它有点不安全。
是否有任何 scala linter 或其他东西?也许一些标志?
解决方法
由于 Scala 2.13.4 对未密封类型(例如 Int
)的穷举性检查进行了改进,因此请尝试使用编译器标志
-Xlint:strict-unsealed-patmat
例如
scala -Xlint:strict-unsealed-patmat -Xfatal-warnings
Welcome to Scala 2.13.5 (OpenJDK 64-Bit Server VM,Java 1.8.0_275).
Type in expressions for evaluation. Or try :help.
scala> def isOne(num: Int) = num match {
| case 1 => "hello"
| }
^
warning: match may not be exhaustive.
It would fail on the following input: (x: Int forSome x not in 1)
error: No warnings can be incurred under -Werror.
一般来说,根据Pattern Matching Expressions
如果模式匹配的选择器是一个密封类的实例, 模式匹配的编译可以发出诊断警告 一组给定的模式不是详尽无遗的,即有一个 在运行时引发 MatchError 的可能性。
,好吧,你可以在结构匹配上稍微处理一下,通过设置 scalac 设置中的“-Xfatal-warnings”选项,这会将这个和其他警告解除为错误。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。