如何检查节点是否是二叉树（Haskell）中的叶

Question

我需要检查节点是否是二叉树中的叶子。这是我当前的代码。

它向我发送了一条错误消息：“HW371937.hs:C:\Users\lenovo\Desktop\���\��� HASKELL\hw371937。hs：（22,1）-（25,91）：函数isLeaf中的非穷举模式”

我不知道如何递归地检查下一个节点是否是叶子。任何帮助都将受到感谢。

Answer 1

卫兵：

  | tree == Empty = False

不可能是真的，因为在条款的开头：

isLeaf node tree@(Node el left right)

您说这是一个节点，而不是一个空节点。这也是您没有涉及的情况：如果您传递了一个空的（最终由于递归，您可以传递一个空的），则没有模式匹配。

话虽如此，我认为你把事情弄得太复杂了。你可以这样写：

isLeaf :: Eq a => a -> BTree a -> Bool
isLeaf _ Empty = False
isLeaf x (Node x' Empty Empty) = x == x'
isLeaf x (Node _ l r) = isLeaf x l || isLeaf x r

或者使用其中子句：

isLeaf :: Eq a => a -> BTree a -> Bool
isLeaf x = go
    where go Empty = False
          go (Node x' Empty Empty) = x == x'
          go (Node _ l r) = go l || go r