Question

PROCEDURE CreateNode (info: CHAR): BST;
VAR   
    bst : BST;
BEGIN
    NEW(bst);
    bst^.elem := info;
    bst^.left := NIL;
    bst^.right := NIL;
    RETURN bst;  
END CreateNode;



PROCEDURE Insert (info: CHAR; VAR t: BST);
BEGIN
    IF t = NIL THEN  
         t := CreateNode(info);  
    ELSIF Compare(info, t^.elem) = greater THEN  
         Insert(info, t^.right);  
    ELSIF Compare(info, t^.elem) = less THEN  
         Insert(info, t^.left);  
END;
END Insert;

当使用FOR从1到非常高的值（20k）完成时，这会导致堆栈溢出。

在溢出之前它只能达到相对较低的数字（~900）。

Answer 1

您是否在Stack Overflow上搜索过？：p开玩笑吧。

问题可能是递归调用。函数调用使用堆栈来存储寄存器值，如果被调用的函数结束并且控制返回给调用函数，则只能从那里删除寄存器值。对于递归调用，所有这些嵌套调用都保留在堆栈中，直到递归被破坏。最终堆栈不够大，你会得到这个错误。

你应该能够通过消除循环的递归来解决这个问题。这样，你只需要跳转到下一个节点的迭代，而不需要所有函数调用的开销。

这可能很难做到。有时递归似乎是显而易见的方法，你必须做一些工作来在循环中修复它。

无论如何，它应该具有与你相同的逻辑，即遍历树并寻找正确的位置。如果新值小于或大于任何叶子，则将其作为新节点插入，作为父叶子的叶子，并以“t”形式返回。如果已存在具有相同值的节点，则返回该节点。

为了消除过多的代码重复，下面的代码片段引入了一个新的函数TryCreateNode。它测试p（父节点的左侧或右侧叶子）是否为nil，如果是，则为其分配一个新节点。它返回p（现有叶）或新节点作为输出参数，如果创建了新节点，则返回true。该返回值在main函数中用于打破循环。

我不确定你使用哪种Pascal方言，所以我猜错了。也许您需要将其视为伪代码并首先修复语法。 ;）

FUNCTION TryCreateNode(Info: CHAR; VAR p: BST; VAR t: BST): Boolean;
BEGIN
  TryCreateNode := False;
  IF p = nil THEN 
  BEGIN
    p := CreateNode(info);
    TryCreateNode := True;
  END;
  t := p;
END;

PROCEDURE Insert (info: CHAR; VAR t: BST);
BEGIN
  WHILE t <> nil DO
  BEGIN
    IF Compare(info, t^.elem) = greater THEN
      IF TryCreateNode(info, t^.right, t) THEN
        BREAK;
    IF Compare(info, t^.elem) = less THEN
      IF TryCreateNode(info, t^.left, t) THEN
        BREAK;
  END;

END Insert;

Answer 2

看到这似乎是Pascal，问题的原因很可能是递归本身。您正在使用的Pascal版本很可能无法针对尾递归优化此函数（或不会）。

二叉树插入中的堆栈溢出

2 个答案: