使用带有类型擦除的 reverse_iterator

Question

我有一个包含和管理一系列对象的类。为了避免在允许迭代它们的同时泄露这些对象的存储方式，我决定使用boost::any_iterator 进行类型擦除。

 using my_erased_type_iterator = boost::range_detail::any_iterator<
    MyClass,
    boost::bidirectional_traversal_tag,
    MyClass&, 
    std::ptrdiff_t>;

我在MyClass 中定义了一个函数Begin() 和End()，它只是将容器的begin() 和end() 函数作为my_erased_type_iterator 返回。它完全按照我的意愿工作，MyClass 之外的任何人都不知道我正在使用向量来存储对象，除了我在Myclass 的界面中公开的功能之外，他们也无法访问容器。

现在，出于多种原因，我需要对对象进行反向迭代。我还需要知道反向迭代器之后的下一个元素（类似于在普通迭代器上调用 std::next()，这对于反向迭代器来说已经不是那么简单了），我可能还需要在该反向迭代器上调用像 erase() 这样的函数.

所以对于我的问题：有没有一种优雅的方式来使用类型擦除和反向迭代器（以及正向和反向的 const 版本）？我应该使用前向类型擦除迭代器并向后迭代吗？我突然想到我可能以错误的方式解决这个问题，所以我愿意接受任何建议或在需要时澄清我的问题。

Answer 1

请注意，any_iterator 是一个实现细节。

我将首先回答您的直接问题，然后按照 Boost Range 的公共 API 的意图使用 any_range<> 展示该方法。

1。 make_reverse_iterator

您可以简单地使用来自

的make_reverse_iterator设施

• 标准 c++14 http://en.cppreference.com/w/cpp/iterator/make_reverse_iterator
• 升压http://www.boost.org/doc/libs/1_60_0/libs/iterator/doc/reverse_iterator.html

Live On Coliru

#include <boost/range.hpp>
#include <boost/range/any_range.hpp>

struct MyClass {
    int i;
};

using my_erased_type_iterator = boost::range_detail::any_iterator<
    MyClass,
    boost::bidirectional_traversal_tag,
    MyClass&, 
    std::ptrdiff_t>;

#include <iostream>
#include <vector>

int main() {
    using namespace boost;
    std::vector<MyClass> const v { {1}, {2}, {3}, {4} };

    for (auto& mc : make_iterator_range(
                make_reverse_iterator(v.end()),
                make_reverse_iterator(v.begin())))
    {
        std::cout << mc.i << " ";
    }
}

打印

4 3 2 1 

---

2。 reversed 范围适配器：

或者，您可以采用全系列风格并使用any_range<>：

Live On Coliru

int main() {
    std::vector<MyClass> const v { {1}, {2}, {3}, {4} };

    boost::any_range_type_generator<decltype(v)>::type x = reverse(v);

    for (my_erased_type_const_iterator f = boost::begin(x), l = boost::end(x); f!=l; ++f) {
        std::cout << f->i << " ";
    }

}

Answer 2

只需反转类型擦除的迭代器。

这会暴露.base()，这意味着擦除几乎与擦除类型擦除前的类型一样容易。

顺便说一句，您的设计有性能成本（根据我的经验）边际收益。底层容器的 iterafor invalidadion 规则仍然适用，所以你的类的用户必须知道底层容器是什么！ （或者，他们也可能知道这么多）。换出容器不会提供足够相似的行为，因此尽管您尝试隐藏它的成本相当高，但您的容器仍被锁定。