BST实现的功能中的分段错误

Question

这是我在二叉搜索树中插入项目的实现。

void insert(struct Node* root,int item){
if(root==NULL){
    root = newNode(item); // newNode is a function which creates new node, initialized it with item & return pointer of the new node.
}
if(item < root->item)
    insert(root->left,item);
else
    insert(root->right,item);
}

但我不知道为什么它在驱动程序中进行以下调用时会出现分段错误？

struct Node* root = NULL;
insert(root,50);

Answer 1

你可能有无限递归。

通过初始调用，root 将是一个空指针，这意味着您将创建一个新的根节点。然后我们检查if(item < root->item)，这将是错误的，导致程序执行else子句并递归调用insert。

如果newNode 将left 和right 指针设置为NULL，那么整个事情将重新开始，创建一个新节点并转到else 子句并递归调用自身。

解决方案是另一个else，如

if (root == NULL) {
    ...
} else if (item < root->item) {
    ...
} else {
    ...
}

如果您只是使用 调试器 来捕捉崩溃或单步调试代码，您会很快非常发现问题。将来，首先使用调试器来捕获崩溃，并定位它发生的位置和时间，并检查函数调用堆栈。

---

另一方面，如果newNode 没有没有初始化节点结构的left 和right 指针，那么您将拥有undefined behavior，这通常会导致崩溃。

像malloc 这样的动态分配函数不会初始化它分配的内存。内存的内容是不确定的。取消引用此类指针会导致上述 UB（未定义行为）。

这也可以在调试器的帮助下快速检测到。

---

最后，如果您解决了上述问题，那么导致崩溃的第三个可能原因是，当您将参数传递给 C 中的函数时，它是按值传递的。这意味着值被复制到参数中，并且函数内部的参数就像任何其他局部变量一样，一旦参数超出范围，对参数的所有更改（赋值）都会丢失函数返回。

这意味着在初始调用insert 之后，变量root 将仍然是一个空指针。

我的评论中提到了解决方案。