c++ - 如何返回没有指针的动态结构？

Question

我必须为两个动态容器重载“+”运算符。

Occurance Occurance::operator +(const Occurance& occ) const {
    Occurance* result = new Occurance;
    Iterator i1(head);
    Iterator i2(occ.head);
    while( !(i1.isNULL() && i2.isNULL()) ) {
        if(i1.getCount() >= i2.getCount()) {
            result->add(i1.getFile());
            result->tail->count = i1.getCount();
            ++i1;
        }
        else {
            result->add(i2.getFile());
            result->tail->count = i2.getCount();
            ++i2;
        }
    }
    return *result;
}

当我这样做时:

Occurance occ = occ1+occ2;

指向列表开头的指针被正确复制，一切正常，但我失去了对结果的引用。当调用 occ 析构函数时，整个列表被销毁，但不是结果的第一个元素，因为我只是复制了它的内容而不是引用。

当我将返回类型更改为引用时，同样的情况发生在赋值期间。

另一个想法是不动态创建“结果”，因此它会在函数结束时自动销毁，但随后它会调用销毁整个列表的析构函数。

有没有简单和“正确”的方法来创建这样的结构并在没有内存泄漏的情况下返回它？当然，返回的类型必须是“+”运算符所期望的对象或引用。

我想出了一个涉及在析构函数中更改指向函数的指针的讨厌的 hack，但也许我只是遗漏了一些非常简单的东西？

编辑:当然，上课遵循三个规则。这是作业:

Occurance& Occurance::operator =(const Occurance& occ) {
    destruct();
    head = occ.head;
    current = occ.current;
    tail = occ.tail;
    return *this;
}

Occurance::Occurance(const Occurance& occ) {
    head = occ.head;
    current = occ.current;
    tail = occ.tail;
}

Occurance::~Occurance() {
    destruct();
}

destruct 只是破坏从“head”开始的列表。

类声明:

class Occurance {
private:
    class Node {
    public:
        Node* next;
        Node* prev;
        int count;
        const File* file;

        Node(const File& a_file, Node* a_prev);
    };

    Node* head;
    Node* tail;
    Node* current;
    void destruct();
public:
    class Iterator {
    private:
        Node* node;
    public:
        Iterator();
        Iterator(Node* a_node);
        void operator ++();
        const File& getFile();
        int getCount();
        bool isNULL();
    };

    Occurance();
    Occurance(const Occurance& occ);
    void add(const File& a_file);
    Occurance& operator =(const Occurance& occ);
    Occurance operator +(const Occurance& occ) const;   //dodaje listy zachowując sortowanie
    Iterator begin() const;
    virtual ~Occurance();
};

Answer 1

您的复制构造函数和赋值运算符已损坏。您要么需要对列表进行深拷贝，要么需要实现某种共享语义(例如引用计数)。您似乎有一个链表，而您只是在复制头指针和尾指针。因此，当您制作拷贝并销毁其中一个时，它也会销毁另一个的列表。

我假设您的默认构造函数和/或您的 add 函数对节点进行一些动态分配。然后你的复制构造函数和赋值运算符也需要动态分配节点，这些节点完全独立于正在复制的对象的节点。如果您可以使用 C++11，您还应该考虑实现 move constructor , 和一个移动赋值运算符。

一旦这些功能都正确，您的 operator+ 应该看起来像这样:

Occurance Occurance::operator +(const Occurance& occ) const {
    Occurance result; // no dynamic allocation

    // operate on result

    return result;
}