自定义链表交换函数出现Segmentation Fault段错误求助

兄弟，我瞅了下你的代码，a->next = b->next触发段错误，大概率是空指针访问或者指针逻辑错误导致的，咱们一步步拆解问题：

可能的错误原因 #

• 空指针传入：调用swapnode时，a、b、aprev或bprev可能是NULL。比如你找节点前驱的时候没处理边界，把不存在的节点指针传了进来，这时候访问a->next或者bprev->next直接就会触发段错误。
• 相邻节点交换逻辑错误：如果a和b是相邻节点（比如a的下一个就是b），你的代码会导致循环引用。比如a是头结点，b是它的下一个节点时，你用temp = a->next（也就是b），然后b->next = temp，这就会让b的next指向自己，后续遍历链表时会无限循环，最终触发内存访问越界。
• 野指针/无效内存：a或b指向了已经被释放的节点，或者是未初始化的野指针，访问它们的成员自然会崩。

修复方案与优化代码 #

1. 先加参数合法性检查 #

在函数开头先过滤掉非法输入，避免空指针访问：

if (!head || !a || !b || (a != head && !aprev) || (b != head && !bprev)) {
    return head; // 非法输入直接返回原头结点
}

2. 修正相邻节点的交换逻辑 #

当a和b相邻时，不能用通用的非相邻交换逻辑，得单独处理避免循环引用。

修复后的完整代码 #

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

node* swapnode(node* head, node* aprev, node* a, node* bprev, node* b) {
    // 参数合法性检查
    if (!head || !a || !b || (a != head && !aprev) || (b != head && !bprev)) {
        return head;
    }
    if (a == b) return head; // 同一节点无需交换

    // 情况1：a是头结点
    if (a == head) {
        if (a->next == b) { // a和b相邻
            a->next = b->next;
            b->next = a;
            head = b;
        } else {
            node* a_next = a->next;
            bprev->next = a;
            a->next = b->next;
            b->next = a_next;
            head = b;
        }
        return head;
    }

    // 情况2：b是头结点
    if (b == head) {
        if (b->next == a) { // b和a相邻
            b->next = a->next;
            a->next = b;
            head = a;
        } else {
            node* b_next = b->next;
            aprev->next = b;
            b->next = a->next;
            a->next = b_next;
            head = a;
        }
        return head;
    }

    // 情况3：a和b都不是头结点
    if (a->next == b) { // a在b前面且相邻
        aprev->next = b;
        a->next = b->next;
        b->next = a;
    } else if (b->next == a) { // b在a前面且相邻
        bprev->next = a;
        b->next = a->next;
        a->next = b;
    } else { // 非相邻节点交换
        node* a_next = a->next;
        a->next = b->next;
        b->next = a_next;
        aprev->next = b;
        bprev->next = a;
    }

    return head;
}

额外排查建议 #

调用这个函数前，一定要确保：

• a和b确实存在于链表中
• aprev是a的直接前驱（aprev->next == a），bprev是b的直接前驱（bprev->next == b）
• 所有指针都没有指向已释放的内存

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