SML / NJ不完全匹配

Question

我想知道人们如何在SML / NJ编译器中处理非详尽的匹配警告。 例如，我可以定义一个数据类型

datatype DT = FOO of int | BAR of string

然后有一个我知道只需要FOO的功能

fun baz (FOO n) = n + 1

编译器将发出警告

stdIn:1.5-1.24 Warning: match nonexhaustive
          FOO n => ...
val baz = fn : DT -> int

我不想看到针对故意进行的不完全匹配的警告，因为那样的话，我必须浏览输出以查找可能实际上是错误的警告。 我可以这样写函数

fun baz (FOO n) = n + 1 
  | baz _ = raise Fail "baz"

但这会使代码混乱。 人们在这种情况下通常会做什么？

Answer 1

您可以设置以下编译器标志来配置非详尽匹配警告的警告级别：

• Compiler.Control.MC.matchNonExhaustiveWarn
• Compiler.Control.MC.matchNonExhaustiveError

如果将两者都设置为false，则不会生成警告。 不幸的是，这将关闭针对该错误的所有实例的警告，这可能不是您想要的，因为它将删除此保护措施。

（注意：您只需在代码中将其设置为false即可）

更多信息可以在这里找到。 项目46特别描述了您的警告。

Answer 2

正如Daniel所言，您可以关闭警告，但我不建议这样做。

最好调整数据类型，使函数能够在允许的整个值范围内运行。 第二个最好的方法是继续执行，并用错误使代码“混乱”，以使其清楚显示正在发生的事情（并允许更有意义的运行时错误）。

Answer 3

您必须涵盖所有情况，以便确定该函数如何处理其整个域，或者承受警告。 最后的选择是首先修改通过函数输入的值，以便在调用程序中完成解构。

Answer 4

我认为，如果您经常这样做，则需要重新考虑一下数据类型。 如果它们不是同一类对象，为什么将Foo和Baz分组为一个数据类型？ 如果它们是构造同一对象的不同方法，那么您可以期望对Foo起作用的函数也可以对Baz做出明智的选择。 如果您有一个带有构造器Car和Bike的Vehicle类型，但是您只想对Cars进行一些操作，那么如果您的代码很大，则正确的做法可能是分离Car的定义并更改您使用的所有位置车辆，但期望只有Car才能直接使用Car。

Answer 5

就像其他答案所说的一样，更改数据类型以产生详尽的匹配会更清洁。 在这种情况下，您可以更改DT类型，也可以从baz更改返回类型。 例如：

datatype DT = FOO of int | BAR of string
fun baz (FOO n) = SOME (n + 1)
  | baz _       = NONE

然后baz的类型为val baz = fn : DT -> int option ，您不必担心处理baz引发的错误。