C语言双向链表尾插节点遇死循环问题求助

先还原你大概率写错的核心代码结构（直接操作头指针遍历是关键错误之一）：

void add_dnodeint_end(dlistint_t **head_ref, int data) {
    dlistint_t *new_node = malloc(sizeof(dlistint_t));
    if (!new_node) return;
    new_node->n = data;
    new_node->next = NULL;
    new_node->prev = NULL;

    if (*head_ref == NULL) {
        *head_ref = new_node;
        return;
    }

    // 错误：直接用head_ref遍历，而非临时指针
    while (*head_ref != NULL) {
        if ((*head_ref)->next == NULL) {
            (*head_ref)->next = new_node;
            new_node->prev = *head_ref;
            // 原本这里有 *head_ref = (*head_ref)->next;
        }
        *head_ref = (*head_ref)->next; // 你以为这行总会执行
    }
}

为什么移除if块内的head_ref = head_ref->next;会触发死循环？ #

你踩了两个核心坑：

1. 直接修改头指针遍历：head_ref是指向链表头节点的指针的指针，应该用临时指针（比如dlistint_t *current = *head_ref;）遍历，直接操作head_ref会导致原头节点丢失，后续逻辑完全混乱。
2. 循环内的逻辑自锁：假设你改用临时指针current遍历，错误的循环逻辑会导致自锁：
   • 当current走到最后一个节点时，进入if块挂接新节点，随后执行current = current->next;，此时current变成新节点；
   • 下一次循环判断current != NULL成立，进入if块后，你又把新节点的next指向自己（因为new_node就是当前的current）；
   • 之后执行current = current->next;，current还是自己，永远无法变成NULL，循环无限执行——这就是死循环的根源。

对你困惑的直接解答 #

你误以为满足if条件后，if块外的current = current->next;会让循环终止，但实际情况是：

• 第一次处理最后一个节点时，挂接新节点后current变成新节点；
• 下一次循环中，新节点的next是NULL，再次触发if块，你错误地将新节点的next指向自身；
• 后续current = current->next;只会让current一直指向自己，循环条件永远成立，根本无法终止。

正确的实现方式 #

不需要在循环内加if判断，直接用循环定位到最后一个节点即可：

void add_dnodeint_end(dlistint_t **head_ref, int data) {
    dlistint_t *new_node = malloc(sizeof(dlistint_t));
    if (!new_node) return;
    new_node->n = data;
    new_node->next = NULL;
    new_node->prev = NULL;

    if (*head_ref == NULL) {
        *head_ref = new_node;
        return;
    }

    dlistint_t *current = *head_ref;
    // 遍历到最后一个节点（current->next 为 NULL）
    while (current->next != NULL) {
        current = current->next;
    }
    // 挂接新节点
    current->next = new_node;
    new_node->prev = current;
}

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