Reference

template <
    class Derived
  , class Base
  , class Value               = use_default
  , class CategoryOrTraversal = use_default
  , class Reference           = use_default
  , class Difference = use_default
>
class iterator_adaptor
  : public iterator_facade<Derived, V', C', R', D'> // see details
{
    friend class iterator_core_access;
 public:
    iterator_adaptor();
    explicit iterator_adaptor(Base const& iter);
    typedef Base base_type;
    Base const& base() const;
 protected:
    typedef iterator_adaptor iterator_adaptor_;
    Base const& base_reference() const;
    Base& base_reference();
 private: // Core iterator interface for iterator_facade.
    typename iterator_adaptor::reference dereference() const;
    template <
    class OtherDerived, class OtherIterator, class V, class C, class R, class D
    >
    bool equal(iterator_adaptor<OtherDerived, OtherIterator, V, C, R, D> const& x) const;
    void advance(typename iterator_adaptor::difference_type n);
    void increment();
    void decrement();
    template <
        class OtherDerived, class OtherIterator, class V, class C, class R, class D
    >
    typename iterator_adaptor::difference_type distance_to(
        iterator_adaptor<OtherDerived, OtherIterator, V, C, R, D> const& y) const;
 private:
    Base m_iterator; // exposition only
};

V' = if (Value is use_default)
          return iterator_traits<Base>::value_type
      else
          return Value
C' = if (CategoryOrTraversal is use_default)
          return iterator_traversal<Base>::type
      else
          return CategoryOrTraversal
R' = if (Reference is use_default)
          if (Value is use_default)
              return iterator_traits<Base>::reference
          else
              return Value&
      else
          return Reference
D' = if (Difference is use_default)
          return iterator_traits<Base>::difference_type
      else
          return Difference

template <
class OtherDerived, class OtherIterator, class V, class C, class R, class D
>
bool equal(iterator_adaptor<OtherDerived, OtherIterator, V, C, R, D> const& x) const;

template <
    class OtherDerived, class OtherIterator, class V, class C, class R, class D
>
typename iterator_adaptor::difference_type distance_to(
    iterator_adaptor<OtherDerived, OtherIterator, V, C, R, D> const& y) const;

Tutorial Example

В этом разделе мы продолжим работу над node_iter шаблон класса, который мы разработали в iterator_facade учебник. Если вы еще не читали этот материал, вы должны вернуться и проверить его, потому что мы собираемся забрать его прямо там, где он ушел.

Вы, вероятно, не подумали об этом так, но объект node_base*, который лежит в основе node_iterator, сам по себе является итератором, как и все другие указатели. Если внимательно изучить этот указатель с точки зрения итератора, то мы увидим, что он имеет много общего с node_iterator мы строим. Во-первых, они имеют большинство одинаковых типов ( value_type, reference, pointer, и difference_type). Во-вторых, даже некоторые основные функциональные возможности одинаковы: operator* и operator== на node_iterator возвратить результат ссылки на те же операции на основной указателя, через node_iterator dereference и equal функции участника. Единственная реальная поведенческая разница между node_base* и node_iterator может наблюдаться при их приращении: node_iterator следует за m_next указателя, в то время как node_base* просто применяет адресный офсет.

Оказывается, модель построения итератора на другом итераторном типе (База¹ тип) при изменении всего нескольких аспектов поведения основного типа является чрезвычайно распространенным, и это шаблон, адресованный iterator_adaptor. Использование iterator_adaptor очень похоже на использование iterator_facade, но поскольку iterator_adaptor пытается имитировать как можно большую часть поведения Base типа, мы не должны поставлять аргумент Value, так и не реализовывать ни одно основное поведение, кроме инкремент>. Таким образом, реализация node_iter сводится к:

template <class Value>
class node_iter
  : public boost::iterator_adaptor<
        node_iter<Value>                // Derived
      , Value*                          // Base
      , boost::use_default              // Value
      , boost::forward_traversal_tag    // CategoryOrTraversal
    >
{
 private:
    struct enabler {};  // a private type avoids misuse
 public:
    node_iter()
      : node_iter::iterator_adaptor_(0) {}
    explicit node_iter(Value* p)
      : node_iter::iterator_adaptor_(p) {}
    template <class OtherValue>
    node_iter(
        node_iter<OtherValue> const& other
      , typename boost::enable_if<
            boost::is_convertible<OtherValue*,Value*>
          , enabler
        >::type = enabler()
    )
      : node_iter::iterator_adaptor_(other.base()) {}
 private:
    friend class boost::iterator_core_access;
    void increment() { this->base_reference() = this->base()->next(); }
};

std::iterator_traits<Iterator>::some-associated-type