c++ - 尽管返回了引用，但无法链接重载的赋值运算符

Question

编辑:我现在已经解决了这个问题，我愚蠢地删除了重载运算符中的整个包，然后尝试向其中插入值。我写了一个函数来清除包而不删除它，现在它完美运行了。感谢大家的帮助。原文如下，以防大家发现自己犯同样的错误:

我见过很多其他初学者在链接重载 = 运算符时遇到问题，他们的问题几乎总是忘记在重载运算符中返回引用。但是，我相信我正在这样做，但我仍然无法正确链接我的重载 + 运算符。

例如，如果我创建两个 MagicBags，mb1 和 mb2，那么我设置

mb1 = mb2;

这可以正确编译和运行。当我创建第三个 MagicBag mb3 时，

mb3 = mb2 = mb1;

无法编译，并且我在重载的运算符中得到一个空指针。

这是我的运算符(operator):

MagicBag& operator=(const MagicBag& other) {
    if (this == &other) {
        return *this;
    }
    this->~MagicBag();//clear calling bag
    node<T> * a;//construct a temp node pointer to use as an iterator to loop over original bag and copy its contents
    int tempSize = other.size - 1;
    while (tempSize >= 0) {
        a = other.first;
        for (int i = 0; i < tempSize; i++) {
            a = a->next;//get my null pointer here
        }
        tempSize--;
        insert(a->value);
    }
    return *this;
}

析构函数是

~MagicBag() {
    if (first == NULL)
        return;
    if (first->next == NULL) {
        delete(first);
        first = NULL;
        return;
    }
    node<T> * a = first->next;
    while (a != NULL) {
        delete(first);
        first = a;
        a = a->next;
    }
    delete(first);
    first = NULL;
}

插入函数是标准的 4 行插入，我怀疑这就是问题所在。我究竟做错了什么？我相信我的析构函数不是问题，但我是初学者所以很可能是，而且我也相信我在我的重载运算符中正确地返回了一个引用。在 this commonly cited post，我似乎遵循了重载的标准约定，所以我很困惑为什么这一次能正常工作，但在链接时却不能。我还在该帖子的链接文章中看到，没有必要检查两个参数是否相同，但是删除该位并不能解决问题。我在这里做错了什么？

Answer 1

首先，代码应该编译!如果它进入实际运行的状态并且您“得到一个空指针”，这是一种不同类型的错误，但编译已完成。

代码本身充满了问题。以下是我发现的问题(最后一个导致您注意到的问题):

1. 在this上调用析构函数总是是错误的。在少数情况下，需要显式调用对象的析构函数，但所有这些都涉及在专用内存中显式构造对象，通常是由于使用了重载的 operator new() .如果你真的需要在别处使用析构函数的功能，将它移到一个专用函数中，例如，一个名为 clear() 的函数，然后从析构函数以及任何需要它的地方调用它.

2. 赋值运算符存在性能问题:遍历列表之类的东西很慢。为每个元素遍历列表的[部分]非常很慢。实际上，只需对每个节点的值进行 insert() 一次，就可以更轻松地遍历右侧的节点。也就是说，赋值的核心可以简单地是

   for (node<T>* current = other.first; current; current = current->next) {
       insert(current->value);
   }
   

   因为这是复制构造函数所需的相同代码，所以我实际上会使用 copy-and-swap 习惯用法来实现赋值:

   MagicBag& MagicBag::operator= (MagicBag const& other) {
       MagicBag(other).swap(*this);
       return *this;
   }
   

   其中 swap() 只是交换所有成员的内容。

3. 这不是严格意义上的错误，但您的析构函数太复杂了(因此我无法确定它是否正确)。我不认识你所有的类(class)，但看起来可能是这样的:

   ~MagicBag() {
       for (node<T>* current = first; current; ) {
           node<T>* tmp = current->next;
           delete current;
           current = tmp;
       }
   }
   

4. 从代码的外观来看，您得到了空指针取消引用，因为您的析构函数和赋值运算符都没有调整 this->size:代码未显示，但我猜猜您的insert() 函数只会增加this->size。因此，在调用对象的析构函数后，赋值中可能有一个非零的 this->size，每个新对象都会递增一次。由于赋值中的循环在 other.size 对象上移动，如果实际上节点数少于 other.size 所暗示的，它最终将取消引用空指针。当右侧被分配给时，右侧是非空的，这正是这种情况。假设您创建了一个 clear() 函数，这应该将 this->size 设置为零(以及将 this->first 设置为删除节点后的空指针)。