C语言链表：如何在指定节点后插入新节点？函数实现问题咨询

原代码存在几个关键逻辑问题，直接导致插入功能异常，以下是问题点和修复方案：

原代码核心问题 #

• 内存分配与错误检查顺序颠倒：先给elem->value赋值，才检查elem是否为NULL。一旦malloc失败，elem是空指针，访问elem->value会触发段错误。
• 找到目标节点后未终止循环：匹配到c_item后没有跳出while循环，会继续遍历链表，还会重复执行list = list->next，导致逻辑混乱。
• 冗余操作：elem->value = value在初始化时已经完成，if块里的重复赋值完全多余。
• 未处理目标节点不存在的情况：如果c_item不在传入的链表中，函数依然返回0，无法告知调用者插入失败。
• 参数检查逻辑不合理：原代码将list == NULL直接判定为错误，但如果c_item本身就是链表唯一节点，list等于c_item，此时不应直接返回错误。

修复后的代码 #

#include <stdlib.h>

// 假设ITEM结构体定义如下
typedef struct item {
    int value;
    struct item *next;
} ITEM;

int add_after(ITEM *list, ITEM *c_item, int value)
{
    // 先检查目标节点合法性
    if (c_item == NULL) {
        return -1; // 目标节点不能为空
    }

    // 分配新节点内存并检查结果
    ITEM *elem = malloc(sizeof(ITEM));
    if (elem == NULL) {
        return -1; // 内存分配失败
    }
    elem->value = value;

    // 使用独立指针遍历链表，避免修改传入的list指针
    ITEM *current = list;
    while (current != NULL) {
        if (current == c_item) {
            // 执行插入操作
            elem->next = current->next;
            current->next = elem;
            return 0; // 插入成功，立即返回
        }
        current = current->next;
    }

    // 目标节点不在链表中，释放已分配内存避免泄漏
    free(elem);
    return -2; // 返回特定错误码标识目标节点不存在
}

修改说明 #

1. 调整错误检查顺序：先验证c_item，再分配内存并检查，彻底避免空指针访问。
2. 使用current指针遍历链表，保留原list指针的初始值，符合良好编码习惯。
3. 找到目标节点后立即执行插入并返回，终止循环，避免无效遍历。
4. 新增目标节点不存在的处理逻辑：释放已分配的新节点内存，返回区分性错误码。
5. 移除冗余的elem->value赋值操作。

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