c – 二叉树旋转

我正在努力实现AVL搜索树.到目前为止,我已经完成了编码部分,我已经开始测试它的bug.我发现我的节点旋转方法被窃听了,为了上帝的缘故,我无法理解问题是什么.

该算法应该在纸上工作,但是当在机器上执行时它很好……泄漏树节点.

这是用于将节点向左旋转的方法：http://pastebin.com/mPHj29Af

bool avl_search_tree::avl_tree_node::rotate_left()
{
    if (_right_child != NULL) {
        avl_tree_node *new_root = _right_child;
 
        if (_parent != NULL) {
            if (_parent->_left_child == this) {
                _parent->_left_child = new_root;
            } else {
                _parent->_right_child = new_root;
            }
        }
 
        new_root->_parent = _parent;
        _parent = new_root;
 
        _right_child = new_root->_left_child;
        new_root->_left_child = this;
 
        if (_right_child != NULL) {
            _right_child->_parent = this;
        }
 
        //update heights
        update_height();
        new_root->update_height();
 
        return true;
    }
 
    return false;
}

在我的插入方法中,我评论了AVL平衡部分,而我只是试图将新插入的节点向左旋转.以升序插入整数的结果：我的树只包含初始根(插入的第一个节点),所有其他节点都被泄露.

在我开始发疯的时候,非常感谢任何帮助确定问题.

对于记录：如果我不使用任何旋转,树将不会泄漏节点,它作为普通的不平衡二叉搜索树(用于插入和查找).

编辑：由于AJG85的评论,我将添加观察结果：

我在avl_search_tree :: avl_tree_node的析构函数方法中添加了printf’checks’,它将在清理之前打印键值(在我的情况下为32位整数),并且将打印将打印刚插入的键的avl_search_tree的insert方法.

然后在程序的入口点中,我在堆上分配一个avl_search_tree,并按升序添加键,然后将其删除.

启用AVL Balancing后,我在终端中获得以下输出：

bool avl_search_tree::insert(const int&) : 1
bool avl_search_tree::insert(const int&) : 2
bool avl_search_tree::insert(const int&) : 3
bool avl_search_tree::insert(const int&) : 4
bool avl_search_tree::insert(const int&) : 5
bool avl_search_tree::insert(const int&) : 6
bool avl_search_tree::insert(const int&) : 7
bool avl_search_tree::insert(const int&) : 8
avl_search_tree::avl_tree_node::~avl_tree_node() : 1

这意味着所有插入都是成功的,但只删除了根.

随着AVL Balancing的注释,它就像普通的二叉搜索树一样工作.终端输出是：

bool avl_search_tree::insert(const int&) : 1
bool avl_search_tree::insert(const int&) : 2
bool avl_search_tree::insert(const int&) : 3
bool avl_search_tree::insert(const int&) : 4
bool avl_search_tree::insert(const int&) : 5
bool avl_search_tree::insert(const int&) : 6
bool avl_search_tree::insert(const int&) : 7
bool avl_search_tree::insert(const int&) : 8
avl_search_tree::avl_tree_node::~avl_tree_node() : 1
avl_search_tree::avl_tree_node::~avl_tree_node() : 2
avl_search_tree::avl_tree_node::~avl_tree_node() : 3
avl_search_tree::avl_tree_node::~avl_tree_node() : 4
avl_search_tree::avl_tree_node::~avl_tree_node() : 5
avl_search_tree::avl_tree_node::~avl_tree_node() : 6
avl_search_tree::avl_tree_node::~avl_tree_node() : 7
avl_search_tree::avl_tree_node::~avl_tree_node() : 8

这意味着一切都得到了适当的清理.

现在……我怎么得出旋转方法是问题的结论？在注释的AVL平衡子程序下,我添加了一条线,将每个新插入的节点向左旋转.结果？与启用AVL Balancing子例程的情况相同.

关于update_height()方法,它不会以任何方式改变树的结构.

我希望这会澄清它.

编辑2：

为了澄清更多的东西,他是如何实现avl_tree_node析构函数：

avl_search_tree::avl_tree_node::~avl_tree_node()
{
    printf("%s : %d\n", __PRETTY_FUNCTION__, *_key);

    if (_left_child != NULL) {
        delete _left_child;
    }

    if (_right_child != NULL) {
        delete _right_child;
    }

    if (_key != NULL) {
        delete _key;
    }
}

_left_child和_right_child是指向堆上分配的avl_tree_node对象的指针.

编辑3：

感谢AGJ85的第2条评论,我发现了这个问题.在我的旋转方法中,我忘记了每当根移动时我实际上必须更新树的根指针到新的根.

基本上树的根始终指向第一个插入的节点,并且在需要时不更新指针,我的旋转方法会泄漏实际配置正确的新树的根.

标签：avl-tree,c,algorithm,binary-search-tree
来源： https://codeday.me/bug/20190826/1734359.html