4

现在,我有一个可以通过随机访问迭代器满足 API 要求的类。但是,我可以设想这样一种情况,即实现会发生变化,并且只能提供前向迭代器。

因此,我想限制调用者使用随机访问功能。我知道我可以编写自己的实现(例如,restricted_bar_iterator),但想知道是否有更简单的东西(即需要更少的编码)。

class BAR { ... };

class FOO {
public:
    // Bad...clients may expect 'bar_iterator' to be random access...
    typedef std::vector<BAR>::iterator bar_iterator;

    bar_iterator begin_bar() const;
    bar_iterator end_bar() const;

    // Possible solution here!
    class restricted_bar_iterator :
        public std::iterator< std::forward_iterator_tag, BAR > { ... };
};


void baz()
{
    FOO foo;
    bar_iterator it = foo.begin_bar() + 5; // want a compile time error here!
}
4

2 回答 2

4

这是一个使用Boost Iterator Adapter的示例。我用int而不是BAR.

#include <boost/iterator/iterator_adaptor.hpp>
#include <vector>

struct iterator :
    public boost::iterator_adaptor<
        iterator,                    // the name of our class, see docs for details
        std::vector<int>::iterator,  // underlying base iterator
        boost::use_default,          // for value type
        boost::forward_traversal_tag // all the boilerplate for this!
    >
{
     // need this to convert from vector::iterator to ours
     explicit iterator(std::vector<int>::iterator i)
      : iterator::iterator_adaptor_(i) {}
};

int main()
{
    std::vector<int> v;
    iterator it(v.begin());
    ++it;    // OK
    it += 1; // ERROR
}

这有效地使用 astd::vector<T>::iterator作为基类,但只允许为前向迭代器定义的操作。缺点是错误消息——它们不是很漂亮。

于 2013-10-01T21:45:42.283 回答
3

您肯定需要进行一些编码,但您可能能够从底层类型继承以获得大部分功能,只需覆盖您不想工作的操作,或者通过将它们定义为在 C++11 中删除或使它们私有且未在 C++03 中实现:

class FOO {
    // Bad...clients may expect 'bar_iterator' to be random access...
    typedef std::vector<BAR>::iterator bar_iterator_impl;

public:
    // Possible solution here!
    struct bar_iterator : bar_iterator_impl {
      bar_iterator& operator++() {
        ++static_cast<bar_iterator_impl&>(*this);
        return *this;
      }
      bar_iterator operator++(int) {
        bar_iterator copy(*this);
        ++*this;
        return copy;
      }

      typedef std::forward_iterator_tag iterator_category;    
      typedef std::iterator_traits<bar_iterator_impl>::value_type value_type;
      typedef std::iterator_traits<bar_iterator_impl>::difference_type difference_type;
      typedef std::iterator_traits<bar_iterator_impl>::pointer    pointer;
      typedef std::iterator_traits<bar_iterator_impl>::reference  reference;

    private:
      friend void operator+(bar_iterator const&, long);
      friend void operator+(long, bar_iterator const&);
      friend void operator-(bar_iterator const&, long);
      friend void operator-(long, bar_iterator const&);
    };

    bar_iterator begin_bar() const;
    bar_iterator end_bar() const;
};

然而,这只适用std::vector<BAR>::iterator于类类型,并且它可能是一个指针,在这种情况下它不能派生。为了便于移植,您需要自己定义整个迭代器 API。

于 2013-10-01T21:32:26.530 回答