C++链表类IntList拷贝构造函数内存泄漏问题排查求助

咱们先捋一捋自定义链表类拷贝构造函数里最容易踩的内存泄漏坑，我给你列几个核心检查点，再附一个正确的深拷贝实现示例，你可以对照自己的代码逐一排查：

常见的泄漏诱因&修复方向 #

• 浅拷贝代替深拷贝：这是最常见的问题——如果你的拷贝构造函数只是直接复制原链表的头指针（比如head = other.head;），那两个IntList对象会共享同一块节点内存。后续不管是析构时的双重释放，还是其中一个对象修改节点影响另一个，都可能引发泄漏或崩溃。正确的做法是为每个节点分配新内存，复制节点数据。
• 未处理内存分配失败的情况：如果拷贝过程中某个节点new失败，之前已经创建的节点如果没及时释放，就会变成泄漏的内存。一定要在分配失败时调用清空函数释放已分配的节点，再抛出异常。
• 析构函数/清空函数不完善：如果你的析构函数没有遍历所有节点并逐个delete，或者清空后没把头指针置为nullptr，那拷贝后的对象内存就无法被正确释放，最终导致泄漏。
• 空链表边界 case 遗漏：当原链表为空时，要确保新对象的头指针被初始化为nullptr，否则后续操作可能访问野指针，引发不可控的内存问题。

正确的深拷贝构造函数实现示例 #

#include <stdexcept>

class IntList {
private:
    struct Node {
        int data;
        Node* next;
        Node(int val) : data(val), next(nullptr) {}
    };
    Node* head;

    // 辅助函数：清空并释放所有节点
    void clear() {
        Node* temp;
        while (head != nullptr) {
            temp = head;
            head = head->next;
            delete temp;
        }
        head = nullptr; // 重置头指针，避免野指针
    }

public:
    // 默认构造函数
    IntList() : head(nullptr) {}

    // 拷贝构造函数
    IntList(const IntList& other) : head(nullptr) {
        Node* current = other.head;
        Node** newNodePtr = &head; // 用二级指针简化尾插操作

        while (current != nullptr) {
            // 为新节点分配内存
            *newNodePtr = new Node(current->data);
            if (*newNodePtr == nullptr) {
                // 内存分配失败，释放已创建的节点
                clear();
                throw std::bad_alloc();
            }
            current = current->next;
            newNodePtr = &((*newNodePtr)->next);
        }
    }

    // 析构函数
    ~IntList() {
        clear();
    }

    // 重载赋值运算符（遵循Rule of Three）
    IntList& operator=(const IntList& other) {
        if (this != &other) { // 防止自赋值
            clear(); // 先释放当前对象的内存
            Node* current = other.head;
            Node** newNodePtr = &head;
            while (current != nullptr) {
                *newNodePtr = new Node(current->data);
                if (*newNodePtr == nullptr) {
                    clear();
                    throw std::bad_alloc();
                }
                current = current->next;
                newNodePtr = &((*newNodePtr)->next);
            }
        }
        return *this;
    }
};

额外排查技巧 #

如果对照后还是找不到问题，可以用内存检测工具辅助：比如Linux/macOS下的valgrind，或者Visual Studio自带的内存泄漏检测器，它们能精准定位到哪一行代码分配了内存却没释放，帮你快速锁定泄漏点。

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