如何排查C++链表类代码中的悬空指针？

代码中的悬空指针根源 #

你的代码中最关键的悬空指针问题出现在**赋值运算符operator=**中：

IntList & IntList::operator=(const IntList &rhs) {
    IntList *newList = new IntList(rhs);
    swap(newList->head, head);
    newList->clear();
    delete newList;
    return *this;
}

这段代码只交换了两个对象的head指针，但没有交换tail指针。执行swap(newList->head, head)后，当前对象的tail仍然指向原来链表的尾节点，而原来的节点会被newList->clear()删除，导致当前对象的tail成为悬空指针。后续调用back()、push_back()等依赖tail的函数时，会访问已释放的内存，触发未定义行为。

修复方法是同时交换tail指针：

IntList & IntList::operator=(const IntList &rhs) {
    // 处理自赋值情况，避免不必要的操作
    if (this == &rhs) {
        return *this;
    }
    
    IntList *newList = new IntList(rhs);
    // 同时交换head和tail
    swap(newList->head, head);
    swap(newList->tail, tail);
    
    newList->clear();
    delete newList;
    return *this;
}

其他潜在问题（非悬空指针但会导致未定义行为） #

1. front()和back()函数未检查空链表：
   当链表为空时，调用这两个函数会直接访问nullptr->value，触发未定义行为。可以添加断言或空链表检查：

#include <cassert>

const int & IntList::front() const {
    assert(!empty() && "front() called on empty IntList");
    return head->value;
}

const int & IntList::back() const {
    assert(!empty() && "back() called on empty IntList");
    return tail->value;
}

2. remove_duplicates函数的循环逻辑优化：
   原代码的循环逻辑存在指针赋值混乱的风险，调整后逻辑更清晰，减少出错概率：

void IntList::remove_duplicates() {
    if (head == nullptr || head->next == nullptr) {
        return;
    }
    
    for (IntNode *currNode = head; currNode != nullptr; currNode = currNode->next) {
        IntNode *temp = currNode;
        while (temp->next != nullptr) {
            if (temp->next->value == currNode->value) {
                IntNode *toDelete = temp->next;
                temp->next = toDelete->next;
                if (toDelete == tail) {
                    tail = temp;
                }
                delete toDelete;
            } else {
                temp = temp->next;
            }
        }
    }
}

悬空指针的通用排查方法 #

1. 启用编译器警告：
   使用GCC/Clang编译时添加-Wall -Wextra -Wpedantic选项，编译器会提示潜在的指针问题，比如使用未初始化的指针、访问已释放内存的指针等。

2. 使用地址 sanitizer：
   编译时添加-fsanitize=address选项，运行程序时会自动检测悬空指针访问、内存泄漏、越界访问等问题，并给出详细的错误位置，这是排查内存问题最有效的工具之一。

3. 手动检查指针操作：

• 每次delete指针后，立即将其置为nullptr，避免后续误访问。
• 涉及链表节点删除时，检查所有相关指针（前驱节点的next、head、tail等）是否被正确更新。
• 拷贝构造函数和赋值运算符中，确保所有成员变量（如head、tail）都被正确拷贝/交换，没有遗漏。

4. 添加断言和日志：
   在关键位置添加断言（如访问head/tail前检查链表是否为空），或临时添加日志输出指针地址，帮助追踪指针的生命周期。

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