如何为含动态链表的C++类编写正确的拷贝构造函数？

你遇到的是动态链表拷贝时的经典陷阱——只复制了头节点指针，没遍历复制整个链表节点，导致原对象析构后新对象的后续节点指针变成野指针，触发段错误。下面一步步给你讲正确的实现思路和代码：

核心问题分析 #

默认拷贝构造函数和你当前的实现只复制了head指针本身，并没有复制指针指向的整个链表节点。当原链表对象被销毁（比如insertNewNode返回临时对象时），原节点内存被释放，新对象里的head及后续节点指针就指向了已经被释放的内存，访问时自然会触发段错误。

正确的拷贝构造函数实现步骤 #

要实现深拷贝，需要遍历原链表的每一个节点，为每个节点创建新的内存空间，复制数据后链接到新链表中：

link_list(const link_list& other) {
    // 初始化新链表的头节点为空
    head = nullptr;
    // 如果原链表为空，直接返回
    if (other.head == nullptr) {
        return;
    }

    // 复制第一个节点
    node* current_other = other.head;
    head = new node();
    head->setpair(current_other->getpair());
    head->setnextnode(nullptr);

    // 遍历原链表剩余节点，逐个复制
    node* current_new = head;
    current_other = current_other->getnextnode();
    while (current_other != nullptr) {
        // 创建新节点
        node* new_node = new node();
        new_node->setpair(current_other->getpair());
        new_node->setnextnode(nullptr);
        // 链接到新链表末尾
        current_new->setnextnode(new_node);
        // 移动指针
        current_new = new_node;
        current_other = current_other->getnextnode();
    }
}

代码解释 #

• 先处理原链表为空的边界情况，避免空指针访问
• 复制第一个节点并初始化新链表的head
• 用两个指针分别遍历原链表和新链表，逐个创建新节点、复制数据、链接到新链表尾部
• 每个新节点的next都初始化为nullptr，避免野指针

配合insertNewNode的优化 #

你的insertNewNode函数返回link_list对象，这会触发拷贝构造函数。如果想避免不必要的拷贝，可以把返回类型改成link_list&（返回引用），这样直接返回*this就不会调用拷贝构造：

link_list& insertNewNode(Pair _pairs) {
    // 创建新节点
    node* new_node = new node();
    new_node->setpair(_pairs);
    new_node->setnextnode(nullptr);

    // 插入到链表头部（如果是尾部插入逻辑类似）
    if (head == nullptr) {
        head = new_node;
    } else {
        new_node->setnextnode(head);
        head = new_node;
    }

    // 返回对象本身的引用
    return *this;
}

如果坚持要返回值类型，只要拷贝构造函数正确实现，也能正常工作，只是会多一次拷贝开销。

额外注意事项 #

• 别忘了完善link_list的析构函数，确保遍历整个链表释放所有节点内存，避免内存泄漏：

  ~link_list() {
      node* current = head;
      while (current != nullptr) {
          node* temp = current;
          current = current->getnextnode();
          delete temp;
      }
      head = nullptr;
  }
  

• 如果需要赋值运算符，也要实现深拷贝的赋值运算符（遵循三法则：拷贝构造、析构、赋值运算符一起实现），避免浅拷贝问题。

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