如何解决C++反转链表时抛出的read access violation读取访问异常

你遇到的0xDDDDDDDD访问错误是Visual Studio Debug模式下的典型野指针问题：该值是VS用来标记已经被delete释放的堆内存的特征值，说明reverse遍历链表时，访问到了提前被释放的节点地址。

问题的核心漏洞出在remove_at成员函数，同时还有多处链表指针维护错误的问题，逐一修复方案如下：

1. remove_at函数逻辑错误（直接触发本次崩溃的根因） #

你在处理index==0、index==-1的分支后没有加return，哪怕走了这两个分支，后面的通用删除逻辑仍会执行，相当于一次调用删除2个节点，同时产生野指针。另外缺少索引合法性判断，传入超出范围的索引会直接越界访问。

修复代码： #

int remove_at(int index)
{
    if (head == nullptr || index < -1 || index >= count)
        return -1;
    cout << "Specified index = " << index << endl;
    if (index == 0)
    {
        pop_front();
        return count; // 处理完直接返回，不要执行后面的逻辑
    }
    if (index == -1 || index == count -1)
    {
        pop_back();
        return count; // 处理完直接返回
    }
    Node<Data>* temp = head;
    Node<Data>* rmv;
    int countIndex = 0;

    while (countIndex < index - 1)
    {
        temp = temp->next;
        countIndex++;
    }

    rmv = temp->next;
    temp->next = rmv->next;
    // 如果删除的是尾节点，要更新tail指针
    if (rmv == tail)
        tail = temp;
    delete rmv;

    count--;
    return count;
}

2. pop_back函数逻辑漏洞 #

当链表只有1个节点时，head == tail，while(temp->next != tail)的循环条件永远成立，会导致无限循环直到越界访问；同时删除原尾节点后，没有将新尾节点的next设为nullptr，留下野指针隐患。

修复代码： #

int pop_back(void)
{
    if (head == nullptr)
        return -1;
    if (count == 1) {
        delete head;
        head = tail = nullptr;
        count--;
        return count;
    }
    Node<Data>* temp = head;
    while (temp->next != tail)
        temp = temp->next;

    delete tail;
    tail = temp;
    tail->next = nullptr; // 新尾节点的next置空
    count--;
    return count;
}

3. reverse函数未维护tail指针 #

反转链表后，原来的头节点变成了新的尾节点，你没有更新tail指针，后续所有用到tail的操作（push_back/pop_back等）都会异常。

修复代码： #

void reverse()
{
    Node<Data>* temp = nullptr;
    Node<Data>* prev = nullptr;
    Node<Data>* current = head;
    Node<Data>* old_head = head; // 保存原来的头节点，反转后就是新的尾节点

    while (current != nullptr)
    {
        temp = current->next;
        current->next = prev;
        prev = current;
        current = temp;
    }
    head = prev;
    tail = old_head; // 更新尾指针
}

4. 析构函数内存泄漏+空指针风险 #

当前析构逻辑在链表为空时会访问空指针崩溃，同时最后一个节点不会被释放，存在内存泄漏。

修复代码： #

~List()
{
    Node<Data>* temp = nullptr;
    while (head != nullptr)
    {
        temp = head;
        head = head->next;
        delete temp;
    }
    head = tail = nullptr;
    count = 0;
}

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