C语言二叉树内存释放时while循环无限运行问题求解

问题核心原因 #

你的代码存在4个关键逻辑错误，直接导致了死循环和重复进入左分支的问题：

• 空指针检查顺序完全颠倒：你先执行了printf("%i\n", tree->number);访问节点成员，之后才判断if(!tree) return;。如果传入的tree是空指针，这里会直接触发段错误，空指针检查必须放在所有指针成员访问操作之前。
• 释放节点的逻辑完全错误：你先执行了tree = NULL;将局部指针变量置空，再执行free(tree);，本质是调用free(NULL)，完全没有释放实际的节点内存，原节点占用的内存没有被回收。
• C语言值传递特性导致父节点指针未更新：函数参数tree是指针的副本，你在函数内部修改tree = NULL只会修改当前函数栈里的局部变量，完全不会影响父节点中left/right指针的指向，父节点里的指针仍然指向已经（本该）释放的内存地址。
• 多余的while循环直接导致死循环：你递归释放完左/右孩子后，父节点的left/right指针仍然是非空的，回到当前函数的while循环后，会再次判断到tree->left非空，重复进入左分支递归，永远不会退出循环。

正确的二叉树释放实现 #

二叉树释放本身用后序遍历的递归逻辑即可，不需要额外的while循环，会自动从最底层节点开始向上释放：

void freeTree(node *tree) {
    // 第一步先做空指针判断，避免访问空指针
    if (!tree) {
        return;
    }
    // 先递归释放左子树、再递归释放右子树
    freeTree(tree->left);
    freeTree(tree->right);
    // 最后释放当前节点
    printf("Freed: %i\n", tree->number);
    free(tree);
}

如果需要将调用方传入的根节点指针置空，可以修改为二级指针传参：

void freeTree(node **tree) {
    if (!tree || !(*tree)) {
        return;
    }
    freeTree(&((*tree)->left));
    freeTree(&((*tree)->right));
    printf("Freed: %i\n", (*tree)->number);
    free(*tree);
    *tree = NULL;
}
// 调用时传入根节点指针的地址：freeTree(&root);

输出异常的原因 #

你释放节点5时实际上没有释放成功，也没有修改父节点的left指针，回到父函数的while循环后，仍然判断到tree->left非空，因此再次打印Going Left进入递归，最终陷入死循环。

内容的提问来源于stack exchange，提问作者Funlamb