删除链表尾节点：为何某特定方法无法生效

嘿，我来帮你搞明白为啥两个删除尾节点的函数效果不一样！核心问题确实出在node *prev的赋值时机和逻辑上，咱们一步步拆解。

首先先明确咱们用到的基础结构，先贴出常见的链表结构体和尾插法实现，方便对照：

链表结构体定义 #

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

尾插法实现（用来构建测试链表） #

void append(node **head, int val) {
    node *new_node = malloc(sizeof(node));
    new_node->data = val;
    new_node->next = NULL;
    
    if (*head == NULL) {
        *head = new_node;
        return;
    }
    
    node *temp = *head;
    while (temp->next != NULL) {
        temp = temp->next;
    }
    temp->next = new_node;
}

一、能成功删除尾节点的函数逻辑 #

先看这个能正常工作的版本，它的prev赋值逻辑是正确的：

void delete_tail_success(node **head) {
    // 边界情况1：空链表直接返回
    if (*head == NULL) return;
    // 边界情况2：链表只有一个节点
    if ((*head)->next == NULL) {
        free(*head);
        *head = NULL;
        return;
    }
    
    node *temp = *head;
    node *prev = NULL;
    // 遍历到倒数第一个节点（temp->next为NULL时停止）
    while (temp->next != NULL) {
        prev = temp;  // 先把prev指向当前temp（也就是temp的前一个节点）
        temp = temp->next;  // 再让temp往后走一步
    }
    // 此时temp是尾节点，prev是倒数第二个节点
    free(temp);  // 释放尾节点内存
    prev->next = NULL;  // 把倒数第二个节点的next设为NULL，完成尾节点删除
}

为啥这个能成？
核心是prev始终跟在temp的「身后一步」：每次循环先把prev更新为当前的temp，再让temp移动到下一个节点。当循环结束时，temp正好停在最后一个节点，而prev稳稳地指向倒数第二个节点——这正是我们需要的：通过prev把链表的尾巴截断，再释放掉尾节点。

二、失效的删除函数问题分析 #

你提到两个函数的差异在prev的赋值方式，那大概率是下面两种错误写法之一，咱们逐个看：

错误写法1：prev和temp同步移动 #

void delete_tail_fail(node **head) {
    if (*head == NULL) return;
    if ((*head)->next == NULL) {
        free(*head);
        *head = NULL;
        return;
    }
    
    node *temp = *head;
    node *prev = *head;
    while (temp->next != NULL) {
        temp = temp->next;  // 先移动temp
        prev = temp;  // 再让prev跟着temp移动
    }
    free(temp);
    prev->next = NULL;  // 这里会出大问题！
}

问题在哪？
循环结束时，temp和prev都指向了尾节点！当你free(temp)之后，prev就变成了野指针（指向已经被释放的内存），这时候给prev->next赋值是未定义行为，而且更关键的是：你根本没找到倒数第二个节点，链表的尾巴根本没被截断——原来的倒数第二个节点的next还是指向已经被释放的尾节点，等于没完成删除操作。

错误写法2：遍历到temp为NULL才停止 #

void delete_tail_fail2(node **head) {
    if (*head == NULL) return;
    if ((*head)->next == NULL) {
        free(*head);
        *head = NULL;
        return;
    }
    
    node *temp = *head;
    node *prev = NULL;
    // 错误的循环条件：遍历到temp为NULL才停
    while (temp != NULL) {
        prev = temp;
        temp = temp->next;
    }
    free(temp);  // temp是NULL，free空指针无意义
    prev->next = NULL;  // prev是尾节点，它的next本来就是NULL，等于白操作
}

问题在哪？
循环条件错了，导致temp最终走到了NULL，而prev变成了尾节点。这时候free(temp)相当于释放空指针（虽然大部分系统不会崩溃，但完全没用），prev->next = NULL本来就是成立的，等于没做任何删除操作——尾节点还好好地挂在链表上，只是你以为删了而已。

总结关键要点 #

删除链表尾节点的核心逻辑就是：

1. 处理边界情况（空链表、单节点链表）
2. 找到倒数第二个节点，让它的next指向NULL
3. 释放最后一个节点的内存

而prev的赋值时机是关键：必须在temp移动之前把prev设为当前的temp，这样才能保证prev始终是temp的前一个节点，不会跟temp同步跑到尾节点，也不会遍历过头。

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