Question

在现代C ++中，通常建议在处理二叉树时使用unique_ptr来明确子树的所有权。例如，Elements of Programming Interviews建议：

template <typename T>
struct Node {
  T data;
  unique_ptr<Node<T>> left, right;
};

我只是学习C ++ 11的功能，我想知道什么是初始化对应于某个结构的二叉树最方便的方法。我的用例是为特定树编写单元测试。例如，我想生成这个树：

以下确实有效，但实在太麻烦了：

// first attempt: temporary variables & high syntactic noise
unique_ptr<Node<int>> tmp_n1(new Node<int>{1, nullptr, nullptr});
unique_ptr<Node<int>> tmp_n2(new Node<int>{2, nullptr, nullptr});
unique_ptr<Node<int>> tmp_n3(new Node<int>{3, move(tmp_n1), move(tmp_n2)});
unique_ptr<Node<int>> tmp_n4(new Node<int>{4, nullptr, nullptr});
unique_ptr<Node<int>> root(new Node<int>{5, move(tmp_n3), move(tmp_n4)});

我希望实现的是摆脱临时变量，并在一个嵌套语句中初始化树。如果代码结构类似于树结构，那将是很好的。但是，以下尝试因“无法转换”错误而失败：

// second attempt: nested, but still a lot of syntax noise
unique_ptr<Node<int>> root(new Node<int>{5,
  new unique_ptr<Node<int>>(new Node<int>{3,
    new unique_ptr<Node<int>>(new Node<int>{1, nullptr, nullptr}),
    new unique_ptr<Node<int>>(new Node<int>{2, nullptr, nullptr})
  }),
  new unique_ptr<Node<int>>(new Node<int>{4, nullptr, nullptr})
});

如何以语法清晰，简洁，灵活的方式编写这样的树初始化？

Answer 1

这是一个使用C ++ 14 make_unique并将左侧和右侧子树的默认参数设置为nullptr的解决方案，以避免原始new：< / p>

#include <iostream>
#include <memory>

template<class T>
struct Node;

template<class T>
using node_ptr = std::unique_ptr<Node<T>>;

template<class T>
struct Node 
{
    T data;
    node_ptr<T> left, right;

    Node(T const& value, node_ptr<T> lhs, node_ptr<T> rhs)
    :
        data(value), left(std::move(lhs)), right(std::move(rhs))
    {}
};

template<class T>
auto make_node(T const& value, node_ptr<T> lhs = nullptr, node_ptr<T> rhs = nullptr)
{
    return std::make_unique<Node<T>>(value, std::move(lhs), std::move(rhs));    
}

template<class T>
void print_tree(Node<T> const& node)
{
    std::cout << "{ ";
    std::cout << node.data;
    if (node.left) {
        std::cout << ", "; 
        print_tree(*(node.left));
    }
    if (node.right) {
        std::cout << ", "; 
        print_tree(*(node.right));
    }
    std::cout << " }";
}

int main()
{
    auto const root = make_node(
        5, 
        make_node(
            3, 
            make_node(1), 
            make_node(2)
        ), 
        make_node(4)
    );    
    print_tree(*root);
}

Live Example也打印树。

更新：感谢@ Jarod42的评论，我更改了print_tree的签名以取Node<T> const&，以便它现在是正确的，你不要＆＃ 39; t必须在任何地方键入.get()。我还在模板别名 node_ptr<T>中为实现中的unique_ptr<Node<T>>提供了更简洁的表示法。

Answer 2

感谢@Satus的评论，我能够提出一些（现在正在工作的）辅助函数：

template <typename T>
unique_ptr<Node<T>> new_node(const T& data, 
                             unique_ptr<Node<T>> left = nullptr,
                             unique_ptr<Node<T>> right = nullptr) {
  return unique_ptr<Node<int>>(new Node<int>{data, move(left), move(right)});
}

这允许构建这样的树：

auto root =
  new_node(5,
    new_node(3,
      new_node(1),
      new_node(2)),
    new_node(4)
  );

我仍然不确定这是否是一位经验丰富的C ++ 11程序员会做什么，但对我而言，这是朝着正确方向迈出的一步。

如何初始化嵌套结构的unique_ptr（例如二进制树）

2 个答案: