“调用堆栈”和“递归”只是流行的设计模式,后来被整合到大多数编程语言中(因此变得大多“不可见”)。没有什么可以阻止您使用堆数据结构重新实现两者。所以,这是“显而易见的”1960 年代 TAOCP 复古风格的解决方案:
trait Node { val name: String }
case class BranchNode(name: String, children: List[Node]) extends Node
case class LeafNode(name: String) extends Node
def mapLeaves(root: Node, f: LeafNode => LeafNode): Node = {
case class Frame(name: String, mapped: List[Node], todos: List[Node])
@annotation.tailrec
def step(stack: List[Frame]): Node = stack match {
// "return / pop a stack-frame"
case Frame(name, done, Nil) :: tail => {
val ret = BranchNode(name, done.reverse)
tail match {
case Nil => ret
case Frame(tn, td, tt) :: more => {
step(Frame(tn, ret :: td, tt) :: more)
}
}
}
case Frame(name, done, x :: xs) :: tail => x match {
// "recursion base"
case l @ LeafNode(_) => step(Frame(name, f(l) :: done, xs) :: tail)
// "recursive call"
case BranchNode(n, cs) => step(Frame(n, Nil, cs) :: Frame(name, done, xs) :: tail)
}
case Nil => throw new Error("shouldn't happen")
}
root match {
case l @ LeafNode(_) => f(l)
case b @ BranchNode(n, cs) => step(List(Frame(n, Nil, cs)))
}
}
尾递归step 函数采用带有“堆栈帧”的具体堆栈。 “堆栈帧”存储当前正在处理的分支节点的名称、已处理的子节点列表以及以后仍需处理的剩余节点的列表。这大致对应于递归 mapLeaves 函数的实际堆栈帧。
有了这个数据结构,
- 从递归调用返回对应于解构
Frame 对象,或者返回最终结果,或者至少使stack 缩短一帧。
- 递归调用对应于将
Frame 添加到stack 的步骤
- 基本情况(在叶子上调用
f)不会创建或删除任何帧
一旦理解了通常不可见的堆栈帧是如何明确表示的,翻译就很简单,而且大多是机械的。
例子:
val example = BranchNode("x", List(
BranchNode("y", List(
LeafNode("a"),
LeafNode("b")
)),
BranchNode("z", List(
LeafNode("c"),
BranchNode("v", List(
LeafNode("d"),
LeafNode("e")
))
))
))
println(mapLeaves(example, { case LeafNode(n) => LeafNode(n.toUpperCase) }))
输出(缩进):
BranchNode(x,List(
BranchNode(y,List(
LeafNode(A),
LeafNode(B)
)),
BranchNode(z, List(
LeafNode(C),
BranchNode(v,List(
LeafNode(D),
LeafNode(E)
))
))
))