C语言实现二叉树插入操作出现异常结果问题排查求助

• 最高发的诱因是新插入的节点使用栈内存存储：如果在插入函数内定义了局部的节点结构体变量，再把该局部变量的地址赋值给父节点的左右子指针，局部栈变量会在插入函数执行结束后被系统自动回收，内存空间会被后续程序逻辑复用，运行时打印自然会读到脏数据。调试时因为停在函数刚执行完成的时间点，栈内存还没被其他逻辑覆写，所以能看到预期的数值。
• 其次可能是插入函数传参逻辑错误：如果需要修改指针的指向（比如根节点为空时插入首节点、修改父节点的子节点指针），使用了值传递传指针，最终修改的只是参数的拷贝，原指针没有被正确更新，指向了非法内存地址。
• 小概率是节点字段漏初始化：插入节点时只赋值了指针指向，漏写了数值字段的赋值逻辑，或者赋值时发生了类型错误，读取时就会解析出异常的大数字。

1. 所有二叉树节点统一在堆上分配内存，C语言使用malloc、C++使用new申请内存，不要用局部栈变量存储节点实例，内存申请完成后先完成val、left、right所有字段的初始化，再挂载到父节点上。
   错误示例：

// 错误写法：使用栈变量存储节点
void insert(TreeNode* root, int val) {
    TreeNode newNode;
    newNode.val = val;
    newNode.left = newNode.right = NULL;
    root->left = &newNode;
}

正确示例：

// 正确写法：堆上申请节点内存
void insert(TreeNode* root, int val) {
    TreeNode* newNode = (TreeNode*)malloc(sizeof(TreeNode));
    newNode->val = val;
    newNode->left = newNode->right = NULL;
    root->left = newNode;
}

2. 检查插入函数的传参逻辑：如果需要修改原指针的指向，C语言传入双重指针、C++传入指针的引用，避免修改只作用于参数拷贝。
3. 节点插入后可增加简单的合法性校验，比如断言子节点指针非空、val值在合理范围内，提前捕获异常。

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