1

我正在构建一棵红黑树，但我的类 RBTree 的析构函数可能存在一些问题。我将 10^7 值添加到树中，然后调用析构函数，但内存似乎没有被释放。（我查看系统监视器，我的程序仍然使用 200MB）。

你能告诉我我的析构函数有什么问题吗？这是我的源代码。

对不起我的英语不好。

#include<cstdio>
#include<cstdlib>
#include<iostream>
using namespace std;

enum Color {RED, BLACK};

template<class Data> class RBNode;
template<class Data> class RBTree;

template<class Data> class RBNode {
    Color color; RBNode *p, *left, *right;
public:
    Data v;
    RBNode(Color color, RBNode *p, RBNode *left, RBNode *right, Data v):
        color(color), p(p), left(left), right(right), v(v) {}
    RBNode() {}
    friend class RBTree<Data>;
};

template<class Data> class RBTree {
    typedef RBNode<Data> Node;
    typedef Node * PNode;
    PNode root, nil;

    void LeftRotate(PNode x) {
        PNode y = x->right; x->right = y->left;
        if(y->left != nil) y->left->p = x;
        y->p = x->p;
        if(x->p == nil) root = y;
        else if(x == x->p->left) x->p->left = y;
        else x->p->right = y;
        y->left = x; x->p = y;
    }

    void RightRotate(PNode y) {
        PNode x = y->left; y->left = x->right;
        if(x->right != nil) x->right->p = y;
        x->p = y->p;
        if(y->p == nil) root = x;
        else if(y == y->p->left) y->p->left = x;
        else y->p->right = x;
        x->right = y; y->p = x;
    }

    void insertFixUp(PNode z) {
        while(z->p->color == RED) {
            if(z->p == z->p->p->left) {
                PNode y = z->p->p->right;
                if(y->color == RED) z->p->color = y->color = BLACK, z->p->p->color = RED, z = z->p->p;
                else {
                    if(z == z->p->right) LeftRotate(z = z->p);
                    z->p->color = BLACK; z->p->p->color = RED; RightRotate(z->p->p);
                }
            } else {
                PNode y = z->p->p->left;
                if(y->color == RED) z->p->color = y->color = BLACK, z->p->p->color = RED, z = z->p->p;
                else {
                    if(z == z->p->left) RightRotate(z = z->p);
                    z->p->color = BLACK; z->p->p->color = RED; LeftRotate(z->p->p);
                }
            }
        }
        root->color = BLACK;
    }

public:
    RBTree() {
        nil = new Node;
        nil->color = BLACK;
        nil->p = nil->left = nil->right = nil;
        nil->v = Data();
        root = nil;
    }

    ~RBTree() {
        delete root;
        delete nil;
    }

    void insert(Data v) {
        PNode y = nil, x = root;
        while(x != nil) {
            y = x;
            x = v < x->v ? x->left : x->right;
        }
        PNode z = new Node; *z = Node(RED, y, nil, nil, v);
        if(y == nil) root = z;
        else if(v < y->v) y->left = z;
        else y->right = z;
        insertFixUp(z);
    }
};

int main() {
    RBTree<int> tree;
    for(int i = 0; i < 10000000; ++i) tree.insert(i);
    tree.~RBTree();
    getchar();
    return 0;
}
4

5 回答 5

1

您需要向您的 中添加一个析构函数RBNode，该析构函数会删除其子项：

template<class Data> class RBNode {
    ...
    ~RBNode() {
        delete left;
        delete right;
    }
    ...
};

照原样，您将在删除树时删除根节点，但根节点本身不会释放其资源。因此，您丢失了对 root 的子节点及其所有子节点等的所有引用。因为您不再拥有对这些节点的引用，所以无法删除它们，您有内存泄漏。

析构函数确保当我们即将失去对节点子节点的引用时，这些子节点被释放（以及它们的子节点等等）。

于 2013-03-15T15:09:03.387 回答
1

首先，它的问题在于您没有使用智能指针。其次，您没有在 Node 类中使用智能指针，因此当根被删除时，其他对象都不会被删除。

于 2013-03-15T15:12:14.577 回答
0

我找到了我的析构函数，但我还有一些属性，比如大小和父指针，但我认为它会有所帮助

    ~RBTree() {
       RBNode *p(root);
       while(size!=0) {
          if(p==root && size==1) { delete root; size--;}
          else if(p->right!=0) p=p->right;
          else if(p->left!=0) p=p->left;
          else {
            RBNode *c(p);
            p=p->parent;
            if(p->left==c) {
                delete c;
                p->left=0;
            }
            else {
                delete c;
                p->right=0;
            }
            size--;
          }
       }
    }
于 2013-03-15T17:09:26.580 回答
0

您的树节点似乎不会递归地删除它们的子节点。您需要在节点中使用析构函数，然后当根被销毁时一切都会级联。

于 2013-03-15T15:06:53.293 回答
0

你的析构函数只释放了两个元素：root 和 nil。要释放树的其余部分，您应该以某种方式传播释放树下的元素，例如：

~RBNode() {
    if (left != nil ) delete left;
    if (right != nil) delete right;
}

（这只是想法，当然这段代码不会真正起作用，因为你在析构函数中看不到 nil ）。

于 2013-03-15T15:08:04.943 回答