带首尾指针的双向链表实现崩溃问题排查求助

看起来你的问题出在循环双向链表的循环特性和析构函数的逻辑不匹配上，先帮你拆解两个版本析构函数的问题，再给出修复方案：

为什么两个版本的析构函数都会崩溃？ #

从你的Node结构体和仓库名称（Circual-Double-Linked-List）可以确定，这是一个循环双向链表——最后一个节点的next会指向head，第一个节点的prev指向tail。这种特性直接导致了普通链表的析构逻辑失效。

第一个版本的问题 #

ListV2::~ListV2() {
    Node *current = head;
    Node *nextNode;
    while(current->next) {
        nextNode = current->next;
        delete current;
        current = nextNode;
    }
}

• 如果链表为空：head是nullptr，直接访问current->next会触发空指针访问违规，直接崩溃。
• 如果链表非空：因为是循环链表，current->next永远不会是nullptr，会进入无限循环，不断删除节点直到访问已释放的内存，最终触发崩溃。

第二个版本的问题 #

ListV2::~ListV2() {
    Node *nextNode;
    while(head) {
        nextNode = head;
        head = head->next;
        delete nextNode;
    }
}

这个版本解决了空链表的问题，但循环链表的特性还是会导致崩溃：
当删除到最后一个节点时，此时head就是这个节点，它的next指向的是已经被删除的原head节点。执行head = head->next后，head指向了一块已被释放的内存（你看到的0xfffffffffeeefef2是Windows系统标记已释放堆内存的哨兵值）。下一次循环while(head)条件成立，访问head->next就触发了读访问违规。

修复后的析构函数方案 #

针对循环双向链表，我们需要明确遍历的终止条件——当回到起点head时，说明所有节点都已处理完毕。这里提供两种可靠的写法：

写法1：利用do-while循环遍历所有节点 #

ListV2::~ListV2() {
    if (!head) return; // 空链表直接返回，避免空指针访问

    Node* current = head;
    do {
        Node* nextNode = current->next;
        delete current;
        current = nextNode;
    } while (current != head); // 循环直到回到起点，确保所有节点都被删除

    // 最后置空head和tail，避免后续误访问野指针
    head = nullptr;
    tail = nullptr;
}

写法2：先打破循环，再按普通链表方式删除 #

ListV2::~ListV2() {
    if (!head) return;

    // 先打破循环，让最后一个节点的next指向nullptr
    tail->next = nullptr;

    Node* current = head;
    while (current) {
        Node* nextNode = current->next;
        delete current;
        current = nextNode;
    }

    // 置空头尾指针
    head = nullptr;
    tail = nullptr;
}

额外检查点 #

除了析构函数，还要确保你在其他链表操作（比如删除单个节点、插入节点）时，正确维护了循环链表的指针关系：

• 删除节点时，要更新其前驱节点的next和后继节点的prev，避免出现野指针或断裂的循环。
• 插入节点时，要正确关联新节点与头尾节点的指针，保证循环的完整性。

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