仅删除链表中首个指定值节点的函数报错问题排查

你的代码存在几个关键问题，导致出现野指针错误和功能不符合预期，我们逐个拆解：

1. 未处理头节点即为目标值的情况 #

你的代码只检查当前节点的下一个节点是否匹配目标值，但如果链表的头节点本身就是要删除的节点（比如传入的列表是[4,5,6]），这段代码完全不会处理，直接返回原头节点，这显然不符合需求。

2. 循环逻辑错误，提前释放节点并返回 #

你在循环内部直接执行了free(h1); return head;——这意味着循环第一次迭代就会释放当前节点（初始是head），然后直接返回，后续的遍历和删除逻辑根本没机会执行。这不仅没完成删除操作，还会把正在使用的节点释放，导致后续访问出现野指针（也就是你看到的next field of node 0 is invalid错误）。

3. 找到目标节点后未释放内存，且未停止遍历 #

当你找到匹配的下一个节点时，只修改了指针指向，但没有释放被跳过的那个节点，会造成内存泄漏。同时，你没有在找到第一个匹配节点后退出循环，会继续遍历链表，可能误删后续的匹配节点（但你的需求是删除首个匹配节点）。

修正后的代码 #

下面是符合需求的实现，我们处理了所有边界情况，并且保证内存安全：

#include <stdlib.h>

struct node {
    int data;
    struct node *next;
};

struct node *delete_val(int value, struct node *head) {
    // 处理空链表
    if (head == NULL) {
        return NULL;
    }

    // 情况1：头节点就是要删除的节点
    if (head->data == value) {
        struct node *temp = head;
        head = head->next;
        free(temp); // 释放被删除的头节点
        return head;
    }

    // 情况2：要删除的节点在链表中间或尾部
    struct node *h1 = head;
    while (h1->next != NULL) {
        if (h1->next->data == value) {
            struct node *temp = h1->next;
            h1->next = h1->next->next;
            free(temp); // 释放找到的目标节点
            return head; // 找到首个匹配节点后立即返回，停止遍历
        }
        h1 = h1->next;
    }

    // 如果遍历完没找到目标值，返回原链表
    return head;
}

代码说明 #

• 空链表处理：直接返回NULL，避免后续空指针访问。
• 头节点匹配处理：单独处理头节点的情况，因为需要修改链表的头指针。
• 中间节点遍历：遍历链表时检查当前节点的下一个节点，找到匹配后，用临时指针保存要删除的节点，修改指针指向后释放该节点，然后立即返回（保证只删除首个匹配节点）。
• 未找到目标值：遍历结束后返回原链表，不做任何修改。

测试你给出的输入(4,[3,4,5,6,4,4,7])，这段代码会正确删除第一个4，返回[3,5,6,4,4,7]，同时不会出现野指针或内存泄漏问题。

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