C语言对称树内存泄漏排查：Valgrind检测异常原因解析

• 返回值语义错误导致调用者误判
  你的对称树创建函数应该是返回TreeNode*类型指针。当你返回1时，这个整数会被强制转换为非法的非空指针值（通常对应地址0x1）。调用者拿到该值后，会误以为树创建成功，不会执行错误清理逻辑——之前已经malloc成功的节点内存无人释放，这就是Valgrind报告的明确丢失96字节的来源。

• 间接泄漏的产生逻辑
  如果调用者基于这个非法非空指针，继续执行后续节点创建操作（比如为对称树的另一半分配子节点），这些后续malloc的内存同样会因为没有正确的失败处理流程而无法释放，这就是间接丢失576字节的原因——是后续基于错误指针额外分配的内存。

• return NULL解决问题的本质
  NULL是C语言标准的空指针常量，调用者可通过if (tree == NULL)明确判断创建失败。此时调用者会触发预先编写的错误处理逻辑：遍历并释放所有已malloc成功的节点，将之前分配的内存全部归还系统，因此Valgrind检测不到任何泄漏。

• 额外注意事项

  1. 严格保证函数返回值类型与返回值匹配，禁止整数与指针混用，否则会引发未定义行为。
  2. 实现完整的错误回溯逻辑：创建树的过程中，任何一步malloc失败，都需递归或循环释放已创建的所有节点，再返回NULL，才能彻底避免内存泄漏。

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