C语言用malloc创建BST节点与定义局部结构体的差异疑问

代码运行异常的核心原因 #

你定义的BTNode insert是栈上的局部自动变量，它的有效生存期仅局限于当前insertBSTNode函数执行期间：
当函数执行到return之后，当前函数的栈帧会被系统自动回收销毁，&insert指向的内存空间会被后续调用的其他函数栈帧覆盖，你之前写入的item、左右指针的值都会变成脏数据。你将这个野地址赋值给*node，后续访问该指针读取Nodeitem时，读到的自然是被覆盖后的无效值（你看到的类似地址的内容就是栈帧被复用后写入的其他数据）。

malloc版本可正常运行的原因 #

malloc是从进程堆内存区分配空间，属于动态存储期：只要你不主动调用free释放这块内存，它的有效性会一直保持，和分配它的函数是否退出没有关系。
参考代码中把malloc返回的有效堆地址赋值给*node，后续对该节点的读写操作都访问的是稳定的堆内存，不会被系统自动回收，因此可以正常运行。

局部变量取地址和malloc分配的核心差异 #

• 存储位置不同：局部结构体存储在函数栈区，malloc分配的内存存储在进程堆区
• 生命周期不同：局部变量的生命周期仅到所在函数退出为止，函数返回后地址直接失效；malloc分配的内存生命周期从分配成功开始，到开发者主动调用free释放为止
• 管理方式不同：栈内存由编译器自动分配、自动回收，不需要开发者干预；堆内存需要开发者手动申请、手动释放，使用不当会出现内存泄漏、野指针等问题
• 容量限制不同：栈区的总容量通常很小（一般为几MB），如果定义过大的局部结构体容易出现栈溢出；堆区的容量上限和系统可用内存相当，适合存储需要长期存在、体积较大的对象

该场景是否优先使用malloc #

是，必须使用动态内存分配。
二叉搜索树的节点需要在插入函数执行结束后仍然长期存在，支撑后续的查找、遍历、删除等全生命周期操作，栈上的局部变量完全无法满足这个需求。

额外注意：实际使用malloc时建议增加返回值判空逻辑，避免内存分配失败导致的空指针访问；整个二叉树使用完毕后要遍历释放所有节点，避免内存泄漏。

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