C语言中删除链表所有节点：错误代码分析与修正方案正确性确认

原问题 #

以下循环旨在删除链表的所有节点并释放其占用的内存，但该循环存在错误。请解释错误所在并修复该bug。

for (p = first; p != NULL; p = p->next)
    free(p);

原代码错误分析 #

• 核心问题是内存释放后访问野指针：执行free(p)后，p指向的内存已被操作系统回收，p成为野指针。此时循环增量部分p = p->next会尝试访问已释放内存中的next成员，这属于未定义行为，可能导致程序崩溃、数据损坏或其他不可预测的异常。

你的解决方案验证 #

你提供的修复代码是完全正确的：

struct node *next_node;
p = first;

while (p != NULL) {
    next_node = p->next;
    free(p);
    p = next_node;
}

修复逻辑的关键在于：

• 在释放当前节点p之前，提前将下一个节点的地址p->next保存到临时变量next_node中，确保即使当前节点内存被释放，我们仍能通过next_node获取到下一个节点的有效地址，从而安全遍历并释放整个链表的所有节点。

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