SML n-ary 树中的非穷举搜索错误

Question

我正在尝试使用 SML 进行编码并遇到下面列出的问题 我制作了一个 N-Ary 树，变量 tr 存储创建的树的值。

val tr =node([leaf "x", node([leaf "y", leaf "x" , leaf "z"])]);

函数 cat 是我希望打印所有叶节点的值。 但我收到了一个非详尽的搜索警告，但它不起作用。

fun cat (node ( [node t1 , node t2])) = cat(node t1) ^" "^cat(node t2) | cat ( node ([leaf x, node t1])) = x ^" "^cat(node t1) | cat( leaf x) = x

这是我的 n 叉树数据结构

datatype 'a ntree = leaf of 'a | node of 'a ntree list;

错误是get如下

 `val tr = node [leaf "x",node [leaf "y",leaf "x",leaf "z"]] : string ntree
 .\printValues.sml:14.5-16.20 Warning: match nonexhaustive
      node (node t1 :: node t2 :: nil) => ...
      node (leaf x :: node t1 :: nil) => ...
      leaf x => ...

  val cat = fn : string ntree -> string
  - cat(tr);

  uncaught exception Match [nonexhaustive match failure]
   raised at: .\printValues.sml:16.20`
  `

我该如何解决这个问题？相反，请指出如何继续调试。

Answer 1

您缺少cat (node xs) 的定义，其中xs 的元素少于2 个。

node 模式只是底层的列表——因此您应该遵循基本的 SML 模式，即在列表上定义一个函数，为空列表提供定义，然后为看起来像 x::xs 的模式提供定义。在您的情况下，您可能希望单独处理看起来像 node [x] 的模式，以免最后有任何杂散空间。以下作品：

fun cat (leaf x) = x
|   cat (node []) = ""
|   cat (node [x]) = cat x
|   cat (node (x::xs)) = cat x ^ " " ^ cat (node xs);

我将leaf x 模式向上移动——因为对我来说这是一个基本案例，按照惯例，基本案例首先列出。树定义的一个特点是它允许非分支父节点。例如，

node[node[leaf "x"]]

完全有效。案例cat (node [x]) = cat x 旨在剥离那些毫无意义的中间节点。最后一个子句中的一个巧妙之处在于，如果xs 是一个树列表，那么它本身就不是一棵树，因此它必须先包装在node 构造函数中，然后再馈送到cat。

SML 不完全包括电池 - 但Standard ML Basis Library 有一些好东西。有一个String.concatWith，它是一个join 函数。如果您可以使用它，那么有一种巧妙的方式可以写出您想要的内容：

fun cat (leaf x) = x
|   cat (node branches) = String.concatWith " " (map cat branches);

为您的示例提供输出：

cat tr;
val it = "x y x z" : string

第一种方法可以被认为是定义类似concatWith 的东西，带有硬连线分隔符（“”），并且在树数据类型中的节点列表的特殊情况下。