Question

我对使用range-v3构建和查询线性四叉树数据结构感兴趣。我已经能够成功使用range-v3使用库中的现有视图来构建线性四叉树数据结构。我很高兴能够将查询逻辑表示为视图适配器，因为您可以通过推进派生范围的RandomAccessIterator遍历四叉树中的节点，从而方便地将查询行为与四叉树的结构区分开。

我的视图适配器只有一个参数：用户定义的lambda谓词函数，用于评估节点并确定是进入还是退出。介入会导致评估子节点，而介入会导致访问下一个兄弟节点（或可能是节点的父节点的下一个兄弟节点），直到成功评估叶节点或我们通过根节点“退出”为止。（您可以将其视为DFS模式。）

因此，我们可以根据RandomAccessIterator（从派生的范围）和Sentinel（与另一个Iterator相对）来定义此范围。

这是一些精简的代码，显示了总体结构。（如果缺少成员数据/结构，我深表歉意）：

template<typename Rng, typename Fun>
class quadtree_query_view
  : public ranges::view_adaptor<quadtree_query_view<Rng, Fun>, Rng>
{
    friend ranges::range_access;

    using base_iterator_t = ranges::iterator_t<Rng>;

    ranges::semiregular_t<Fun> fun;
    uint tree_depth;

    struct query_termination_adaptor : public ranges::adaptor_base
    {
        query_termination_adaptor() = default;
        query_termination_adaptor(uint tree_depth) : tree_depth(tree_depth) {};

        uint tree_depth;

        uint end(quadtree_query_view const&) {
            return tree_depth;
        }
    };

    struct query_adaptor : public ranges::adaptor_base
    {
        query_adaptor() = default;
        query_adaptor(ranges::semiregular_t<Fun> const& fun) : fun(fun) {};

        ranges::semiregular_t<Fun> fun;

        bool exited = false;
        uint current_node_depth = 0;

        base_iterator_t begin(quadtree_query_view const& rng) {
            return ranges::begin(rng.base());
        }

        // TODO: implement equal?
        // TODO: implement empty?

        auto read(base_iterator_t const& it) const 
        {
            return *it; // I'm not concerned about the value returned by this range yet.
        }

        CONCEPT_REQUIRES(ranges::RandomAccessIterator<base_iterator_t>())
        void next(base_iterator_t& it ){
            if (fun(*it)) { // Step in
                // Advance base iterator (step in)
                // Increment current_node_depth
            } else {  // Step out
                // Advance base iterator (step out)
                // Set "exited = true" if stepping out past root node.
                // Decrement current_node_depth
            }
        }
    };

public:
    quadtree_query_view() = default;

    quadtree_query_view(Rng&& rng, uint tree_depth, Fun fun)
      : quadtree_query_view::view_adaptor{std::forward<Rng>(rng)}
      , tree_depth(tree_depth)
      , fun(std::move(fun))
    {}

    query_adaptor begin_adaptor() const {
        return {std::move(fun)};
    }

    query_termination_adaptor end_adaptor() const {
        return {tree_depth};
    }
};

我正在尝试找出完成此实现的最后几个步骤：

我的范围不满足Range的概念，因为没有为我的迭代器/前哨对实现WeaklyEqualityComparable要求。进行此操作的最佳方法是什么？
我需要为equal实现query_adaptor成员方法吗？这两个迭代器参数对应什么？
我假设我需要为empty实现query_adaptor成员方法。这是查询退出条件逻辑所在的位置吗？根据文档，segment参数必须是与前哨关联的类型。这与query_termination_adaptor::end()返回的类型是否相同，例如uint？还是需要其他类型？

感谢您可以分享的任何见解。我真的很高兴看到将范围合并到C ++ 20中！

Answer 1

啊。

我可以使用default_sentinel解决我的问题。由于query_adaptor是要从根节点开始并在单个方向上进行迭代，因此我可以一起删除end_adaptor和query_termination_adaptor。我只需要为适配器实现一个bool equal(default_sentinel) const { ... }方法即可确定是否满足查询退出条件。

我仍然不确定为什么尝试实现自定义哨兵类型会对我造成问题。但是，除了拥有default_sentinel之外，它没有为tree_depth提供任何其他功能。

使用Ranges-v3实施DFS

1 个答案: