-1

这是我的代码：

type 'a tree = Empty | N of 'a * 'a tree * 'a tree


let absolute x = 
    if x > 0 then x 
    else -x

let rec node = function 
    | N(_, Empty, Empty) -> 1
    | N(_, g, d) -> 1 + node g + node d

let rec balanced = function 
    | N(_, Empty, Empty) -> 0
    | N(_,g,d) when absolute (node g - node d) > 1 -> 1
    | N(_,g,d) when absolute (node g - node d) <= 1 -> balanced g + balanced d


let () = print_int (balanced (N ('x', N ('x', Empty, Empty),
  N ('x', N ('x', Empty, Empty), Empty))))

然后它告诉我：

Fatal error: exception Match_failure("main.ml", 8, 15)

我不明白这是什么意思，它似乎并没有表明我的错误来自哪里。

此外，我收到以下警告：

File "main.ml", line 8, characters 15-93:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
Empty
File "main.ml", line 12, characters 19-190:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(N (_, Empty, N (_, _, _))|N (_, N (_, _, _), _)|Empty)
(However, some guarded clause may match this value.)

我怎样才能摆脱这个警告？

我的意思是，在我看来，说我错过了这个案例并不意味着什么N(_,_,_)，但是这个案例总是被处理的，那么为什么编译器告诉我这个案例不匹配呢？

4

3 回答 3

3

在查看运行时错误之前，最好先查看编译器输出（即警告）。

你有两个警告。第一个：

File "main.ml", line 8, characters 15-93:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
Empty

在这里它告诉我们您在node函数中的模式匹配不处理这种Empty情况。只需将 a 添加| Empty -> 0到您的模式匹配中，您应该会很好（顺便说一下，您将不再需要不完整的Node (_,Empty,Empty)情况）。

现在你的第二个警告有点棘手：

File "main.ml", line 12, characters 19-190:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(N (_, Empty, N (_, _, _))|N (_, N (_, _, _), _)|Empty)
(However, some guarded clause may match this value.)

在这里，它告诉几个模式不匹配，但有些值是受保护的。确实如此N (_,_,_)。

N (_,_,_)您可以通过删除第二个when子句（即）来向编译器显示所有内容都已处理when absolute (node g - node d) <= 1。除非此子句为真，否则模式匹配不会达到这一点，因此您可以确定它是。此外，您确保不会以这种方式重复相同的计算两次。请注意，在此模式匹配中，您也没有Empty再次处理这种情况。去做。

现在让我们看看你的异常。它基本上说“第 8 行字符 15 的模式匹配失败”。那是你的node功能。您被警告您的模式匹配不完整的地方。这里的教训是“不要忽视警告，它们并不麻烦，它们很重要”。

于 2018-06-11T16:45:53.457 回答
1

警告没有错。您缺少一个案例，编译器为您生成了该案例的示例。这种情况在运行时出现，结果你得到一个失败的匹配，因为你没有处理它。

于 2018-06-11T16:19:20.367 回答
0

其他人已经解释了警告及其含义。跟着那个。

我只想添加一些关于您的代码当前失败的地方。在平衡功能中，您可以捕获左右孩子都是空的情况，并正确处理两个孩子都不是空的情况。但是，如果只有一个孩子是 Empty 怎么办？在这种情况下，您计算node g和node d。其中之一是 Empty，这是您在 node 函数中未涵盖的情况。您的示例确实有节点，其中只有一侧是空的并且它失败了。

于 2018-06-12T07:38:13.903 回答