尽管返回引用,但无法链接重载的赋值运算符

时间:2016-05-31 02:22:21

标签: c++

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

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

例如,如果我创建两个MagicBag,mb1和mb2,那么我设置

mb1 = mb2;

这会编译并正确运行。当我然后创建第三个MagicBag,mb3,

mb3 = mb2 = mb1;

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

这是我的接线员:

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常被引用的帖子中,我似乎遵循了重载的标准约定,所以我很困惑为什么一次正常工作,但不是链接时。我还在该帖子的链接文章中看到,没有必要检查两个参数是否相同,但是删除该位并不能解决问题。我在这做错了什么?

1 个答案:

答案 0 :(得分:1)

首先,代码应该编译!如果它到达一个实际运行的状态并且你“获得一个空指针”,那么这是一种不同的错误,但是编译完成了。

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

  1. this上调用析构函数始终错误。在某些情况下,有必要显式调用对象的析构函数,但所有这些都涉及在专用内存中显式构造对象,通常是由于使用了重载operator new()。如果你真的需要在其他地方使用析构函数的功能,可以将它移动到专用函数中,例如,一个名为clear()的函数,并从析构函数以及所需的其他任何地方调用它。
  2. 赋值运算符存在性能问题:迭代列表之类的内容很慢。迭代每个元素的[部分]列表非常慢。实际上,只需insert()每个节点的值,就可以更容易地在右侧的节点上进行迭代。也就是说,任务的核心可能只是

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

    由于这与复制构造函数所需的代码相同,我实际上是使用copy&amp; swap惯用法实现赋值:

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

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

  3. 这不是严格意义上的错误,但是你的析构函数太复杂了(因此我无法确定它是否正确)。我不知道你们所有的课程,但看起来它看起来像这样:

    ~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节点之后将delete设置为空指针。