链表append函数运行异常求助：执行时触发runtime error

听起来你的链表 append 函数触发了运行时错误，但 create 和 prepend 都正常，那问题大概率出在 append 特有的逻辑上——毕竟前两个函数要么是创建独立节点，要么是操作链表头部，不需要遍历到尾部或者处理空链表的特殊情况。我来给你梳理几个最常见的坑，以及对应的修复方案：

1. 空链表时的空指针解引用 #

这是 append 函数最容易踩的坑：当链表还没有任何节点（head 为 NULL）时，直接去访问 head->next 或者尝试遍历找尾节点，会直接触发空指针解引用错误。

错误示例代码 #

// 错误：传值传递head，且没处理空链表
void append(Node* head, int val) {
    Node* new_node = create(val);
    Node* current = head;
    // 当head是NULL时，current->next直接触发runtime error
    while (current->next != NULL) {
        current = current->next;
    }
    current->next = new_node;
}

修复方案 #

首先，要用指针的指针传递head（这样才能修改外部的head指针），然后先判断链表是否为空，为空时直接让head指向新节点：

void append(Node** head, int val) {
    Node* new_node = create(val);
    // 处理空链表的特殊情况
    if (*head == NULL) {
        *head = new_node;
        return;
    }
    // 遍历到最后一个节点
    Node* current = *head;
    while (current->next != NULL) {
        current = current->next;
    }
    current->next = new_node;
}

2. 遍历尾节点的循环条件错误 #

如果你的循环条件写错，会导致遍历到 NULL 节点后再去访问它的 next 指针，同样触发空指针错误。

错误示例代码 #

void append(Node** head, int val) {
    Node* new_node = create(val);
    if (*head == NULL) {
        *head = new_node;
        return;
    }
    Node* current = *head;
    // 错误：遍历到current为NULL才停止
    while (current != NULL) {
        current = current->next;
    }
    // current此时是NULL，解引用current->next报错
    current->next = new_node;
}

修复方案 #

循环条件应该判断 current->next != NULL，这样会停在最后一个有效节点上，而不是走到 NULL：

// 正确的循环条件
while (current->next != NULL) {
    current = current->next;
}
current->next = new_node;

3. 维护尾指针时忘记更新 #

如果你为了优化 append 速度，额外维护了一个 tail 指针指向链表尾部，但忘记在每次添加节点后更新它，也会导致运行时错误。

错误示例代码 #

Node* head = NULL;
Node* tail = NULL;

void append(int val) {
    Node* new_node = create(val);
    if (head == NULL) {
        head = new_node;
        // 错误：忘记设置tail = new_node
    } else {
        // tail还是NULL，访问tail->next触发错误
        tail->next = new_node;
        // 错误：忘记把tail更新为新节点
    }
}

修复方案 #

每次添加新节点后，必须同步更新 tail 指针：

Node* head = NULL;
Node* tail = NULL;

void append(int val) {
    Node* new_node = create(val);
    if (head == NULL) {
        head = new_node;
        tail = new_node; // 初始化tail
    } else {
        tail->next = new_node;
        tail = new_node; // 更新tail到新的尾部
    }
}

快速排查步骤 #

如果上面的场景都没覆盖到，你可以按这个流程自查：

• 检查 append 的参数：是否用了 Node** 来传递头指针？值传递的头指针无法修改外部的空链表状态。
• 加调试打印：在遍历过程中打印每个节点的地址，看是否走到了 NULL 节点。
• 确认 create 函数返回的节点指针是有效的（比如没有忘记分配内存，或者内存分配失败后返回了 NULL？不过你说 create 正常，这个可能性较低）。

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