Question

我正在尝试实现二叉搜索树数据结构。我在使用二叉搜索树类的insert / insert_helper方法初始化树时遇到问题。

使用GDB，我可以看到在第一次调用insert方法时，根数据成员没有被初始化。我无法弄清楚为什么因为我期望，因为我传递了指向insert_helper方法的指针，我应该能够在方法本身内初始化该指针。基本上，为什么在第一次调用root时传递insert_helper指针时，我不能正确初始化类root成员？ C ++有哪些规则不允许这样做？

任何帮助或建议都会有用。以下是相关的代码段。

#ifndef BST_H_
#define BST_H_

#include <vector>
#include <iostream>
#include <exception>

template <typename T>
class Bin_Search_Tree {
private:
    typedef T value_type;
    typedef T& reference;
    typedef const T& const_reference;
    typedef std::size_t size_type;
    struct Node {
    value_type data;
    Node* left;
    Node* right;
    Node* parent;
    };
    Node* root;

    void free_tree(Node* rnode);
    size_type size_helper(const Node* rnode) const;
    Node* find_helper(const Node* rnode, const value_type& val) const;
    void print_tree_helper(const Node* rnode) const;
    bool insert_helper(Node* parent, Node* rnode, const value_type& val);
    bool remove_helper(Node* rnode, const value_type& val);
    Node* create_node(Node* parent, const value_type& val) const;
    Node* get_min(const Node* rnode) const;

public:
    Bin_Search_Tree() : root(nullptr) { }
    Bin_Search_Tree(const std::vector<value_type>& vals);
    ~Bin_Search_Tree() { free_tree(root); }

    bool empty() const { return (nullptr == root); }
    size_type size() const { return size_helper(root); }
    Node* find(const value_type& val) { return find_helper(root, val); }
    bool insert(const value_type& val) { insert_helper(nullptr, root, val); }
    bool remove(const value_type& val);
    void print_tree() const { print_tree_helper(root); }
};

template <typename T>
bool Bin_Search_Tree<T>::insert_helper(Node* parent, Node* rnode, const value_type& val) {
    if (nullptr == rnode) {
    rnode = create_node(parent, val);
    return true;
    } else if (val == rnode->data) {
    return false;
    } else if (rnode->data < val) {
    return insert_helper(rnode, rnode->right, val);
    } else {
    return insert_helper(rnode, rnode->left, val);
    }
}

template <typename T>
typename Bin_Search_Tree<T>::Node* Bin_Search_Tree<T>::create_node(Node* parent, const value_type& val) const {
    Node* inode = new Node;

    if (nullptr == inode) {
    throw std::bad_alloc();
    }
    inode->data = val;
    inode->left = nullptr;
    inode->right = nullptr;
    inode->parent = parent;
    return inode;
}

Answer 1

在功能

中

template <typename T>
bool Bin_Search_Tree<T>::insert_helper(Node* parent, Node* rnode, const value_type& val) {
    if (nullptr == rnode) {
    rnode = create_node(parent, val);
    return true;
    } else if (val == rnode->data) {
    return false;
    } else if (rnode->data < val) {
    return insert_helper(rnode, rnode->right, val);
    } else {
    return insert_helper(rnode, rnode->left, val);
    }
}

最初是root=nullptr，因此满足第一个if条件。然后，使用

创建一个新节点

rnode = create_node(parent, val);

并返回。但是，rnode是函数的本地函数，因为您按值传递根。返回时，指针将被销毁，您无法再访问分配的内存。此外，您从未对root指向的位置进行任何更改，因此它仍为nullptr。

通过使用这是类的成员函数这一事实，您可以简单地完成任务 - root成员对函数可见。因此，您不需要将其作为参数传递。它可以直接在函数内部使用，这可以解决问题。

在通过类方法初始化之后，指针类成员保持为NULL

1 个答案: