C++ - 无法理解二叉树递归函数（插入）

Question

我有一棵看起来像这样的二叉树

struct Node 
{
  int key;
  double data;
  Node* right;
  Node* left;
};

我有这个“插入”功能用于插入新节点和构建树

void insert(Node*& p, int key, double to_be_inserted) 
{
  if (p == nullptr) 
  {
    p = new Node;
    p->key = key;
    p->data = to_be_inserted;
    p->left = nullptr;
    p->right = nullptr;
  }
  else 
  {
    if (p->key == key) 
    {
      p->data = to_be_inserted;
    }
    else 
    {
      Node*& newChild = (p->key > key) ? p->left : p->right;
      insert(newChild, key, to_be_inserted);
    }
  }
}

还有一个看起来像这样的主函数

int main(int argc, char ** argv) 
{
  Node* root = nullptr;
  insert(root, 11, 11);
  insert(root, 6, 6);
  insert(root, 4, 4);
  insert(root, 5, 5);
  insert(root, 8, 8);
  insert(root, 10, 10);
  insert(root, 19, 19);
  insert(root, 17, 17);
  insert(root, 43, 43);
  insert(root, 31, 31);
  insert(root, 49, 49);

  printTree(root, 0);
  return 0;
}

最终“打印出来”的树看起来像这样

（这个“打印输出”的意思是从左到右而不是从上到下阅读）

我不明白的是...insert 函数何时决定回溯（返回树）并构建右子树？

例如，如果我们查看main 中的insert(root, 5, 5) 和insert(root, 8, 8)，为什么8 最终成为node 6 的子节点而不是node 5。根据insert 函数的逻辑，它应该一直沿着树向下，使8 成为node 5 的子节点……对吧？

我需要帮助来正确理解插入函数。我确信我误解了它的逻辑。

谢谢（很抱歉发了这么长的帖子）！

Answer 1

当您插入 8 时，这三个看起来像这样（X 表示 NULL）：

insert(root, 11, 11);
insert(root, 6, 6);
insert(root, 4, 4);
insert(root, 5, 5);

        11
    6         X
 4    X    X     X
   5       

现在，当您尝试插入 8( 在这一行 Node*& newChild = (p->key > key) ? p->left : p->right; 时，您首先检查 11 > 8 是否为真，因此这行告诉您您现在尝试在 left 是11 的子节点，恰好植根于6。

此时插入函数自身重复，但这次三个的根不是11，而是6。 8 比 6 大，因此它位于 6 的右侧。

因此这是插入8前后的情况。

        11                             11                
    6         X                    6         X           
 4    X    X     X   =====>     4    8    X     X        
   5                             5                     

---

顺便说一句， 这个函数有回溯。这是一个简单的递归函数。