coding-style - Ocaml:糟糕的风格，此模式匹配中的所有子句都受到保护

Question

我得到一个 "Error: Warning 25: bad style, all clauses in this pattern-matching are guarded"
“守卫”是什么意思？

我的代码具有模式匹配-

match z with
    | y when List.length z = 0 -> ...
    | y when List.length z > 0 -> ...

Answer 1

守卫是when部分。编译器告诉您的是，它无法判断您的匹配是否详尽(涵盖所有可能的情况)，但可能不是。编译器不能真正确定，因为对于任意表达式，穷举性是不可判定的。编译器只是认为你应该至少有一个没有保护的模式，因为当匹配是详尽的时，最后一种情况的保护将是多余的。

由于您知道您的匹配是详尽无遗的，因此编译器基本上是正确的。你的第二个守卫是多余的。你可以把它关掉，意思没有区别:

match z with
| y when List.length z = 0 -> ...
| y -> ...

这将使编译器高兴。

我喜欢这个警告；多年来，它为我发现了一些逻辑错误。

如果这段代码不仅仅是一个例子，而是你真正写的，那么像这样写会更惯用:

match z with
| [] -> ...
| head :: tail -> ...

它也更有效一点，因为它不会费心计算列表的长度然后丢弃结果。

如果你不需要解构列表，你可以让它更简单:

if z = [] then
    ...
else
    ...