链表内存释放：两种代码差异解析及优劣对比咨询

两段代码的执行流程对比 #

第一段代码执行逻辑：

while (head)
{
    tmp = head->next;  // 先保存当前节点的下一个节点地址
    free(head);        // 释放当前节点
    head = tmp;        // 将head切换到下一个节点
}

第二段代码执行逻辑：

while (head)
{
    tmp = head;        // 先保存当前节点地址
    head = head->next; // 提前将head切换到下一个节点
    free(tmp);         // 释放之前保存的当前节点
}

为什么第一段代码会被检测工具报错？ #

逻辑上第一段代码是完全正确的——你确实在释放head前就把下一个节点的地址存在了tmp里，释放head不会导致这个地址丢失。但很多静态代码检测工具（比如Clang-Tidy、Cppcheck）的规则会对“释放指针后仍保留该指针的引用”触发告警，哪怕你之后只是把它赋值为其他值。这类工具会认为free(head)之后head变成了野指针，哪怕你没有再通过它访问内存，也会误报。

第二段代码则避开了这个检测逻辑：它先把head移动到下一个节点，再释放旧节点，全程没有“持有已释放指针”的状态，所以不会触发这类告警。

逻辑准确性与效率对比 #

• 逻辑准确性：两段代码都是正确的，都能完整释放链表的所有节点，不会出现内存泄漏或访问野指针的问题（前提是链表本身结构正常，next指针没有损坏）。
• 效率：两者完全等价，都是O(n)的时间复杂度，每个节点仅被访问一次，没有额外的内存或性能开销。

总结 #

如果你的场景里没有静态检测工具的约束，两段代码随便用都行；但如果要过检测工具的校验，第二段代码的写法更符合工具的分析规则，能避免不必要的告警。

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