РУКОВОДСТВО ПО СТАНДАРТНОЙ БИБЛИОТЕКЕ ШАБЛОНОВ (STL)

};

template ‹class BidirectionalIterator, class T, class Reference, class Distance›
inline bool operator==(const reverse_bidirectional_iterator‹BidirectionalIterator, T, Reference, Distance›& x, const reverse_bidirectional_iterator‹BidirectionalIterator,
T, Reference, Distance›& y) {
 return x.current==y.current;
}

template ‹class RandomAccessIterator, class T, class Reference = T&, class Distance = ptrdiff_t›
class reverse_iterator: public random_access_iterator‹T, Distance› {
 typedef reverse_iterator‹RandomAccessIterator, T, Reference, Distance› self;
 friend bool operator==(const self& x, const self& y);
 friend bool operator‹(const self& x, const self& y);
 friend Distance operator-(const self& x, const self& y);
 friend self operator+(Distance n, const self& x);
protected:
 RandomAccessIterator current;
public:
 reverse_iterator {}
 reverse_iterator(RandomAccessIterator x): current (x) {}
 RandomAccessIterator base {return current;}
 Reference operator* const {
 RandomAccessIterator tmp = current;
 return *--tmp;
 }
 self& operator++ {
– -current;
 return *this;
 }
 self operator++(int) {
 self tmp = *this;
– -current;
 return tmp;
 }
 self& operator-- {
 ++current;
 return *this;
 }
 self operator--(int) {
 self tmp = *this;
 ++current;
 return tmp;
 }
 self operator+(Distance n) const {
 return self(current - n);
 }
 self& operator+=(Distance n) {
 current -= n;
 return *this;
 }
 self operator-(Distance n) const {
 return self(current + n);
 }
 self operator-=(Distance n) {
 current += n;
 return *this;
 }
 Reference operator[](Distance n) {return *(*this + n);}
};

template ‹class RandomAccessIterator, class T, class Reference, class Distance›
inline bool operator==(const reverse_iterator‹RandomAccessIterator, T, Reference, Distance›& x, const reverse_iterator‹RandomAccessIterator, T, Reference, Distance›& y) {
 return x.current == y.current;
}

template ‹class RandomAccessIterator, class T, class Reference, class Distance›
inline bool operator‹(const reverse_iterator‹RandomAccessIterator, T, Reference, Distance›& x, const reverse_iterator‹RandomAccessIterator, T, Reference, Distance›& y) {
 return y.current ‹ x.current;
}

template ‹class RandomAccessIterator, class T, class Reference, class Distance›
inline Distance operator-(const reverse_iterator‹RandomAccessIterator, T, Reference, Distance›& х, const reverse_iterator‹RandomAccessIterator, T, Reference, Distance›& y) {
 return y.current - x.current;
}

template ‹class RandomAccessIterator, class T, class Reference, class Distance›
inline reverse_iterator‹RandomAccessIterator, T, Reference, Distance› operator+(Distance n, const reverse_iterator‹RandomAccessIterator, T, Reference, Distance›& x) {
 return reverse_iterator‹RandomAccessIterator, T, Reference, Distance›(x.current - n);
}

Итераторы вставки (Insert iterators)

Чтобы было возможно иметь дело с вставкой таким же образом, как с записью в массив, в библиотеке обеспечивается специальный вид адаптеров итераторов, называемых итераторами вставки (insert iterators). С обычными классами итераторов

while (first!= last) *result++ = *first++;

вызывает копирование диапазона [first, last) в диапазон, начинающийся с result. Тот же самый код с result, являющимся итератором вставки, вставит соответствующие элементы в контейнер. Такой механизм позволяет всем алгоритмам копирования в библиотеке работать в режиме вставки (insert mode) вместо обычного режима наложения записей.

Итератор вставки создаётся из контейнера и, возможно, одного из его итераторов, указывающих, где вставка происходит, если это ни в начале, ни в конце контейнера. Итераторы вставки удовлетворяют требованиям итераторов вывода. operator* возвращает непосредственно сам итератор вставки. Присваивание operator=(const T& х) определено для итераторов вставки, чтобы разрешить запись в них, оно вставляет х прямо перед позицией, куда итератор вставки указывает. Другими словами, итератор вставки подобен курсору, указывающему в контейнер, где происходит вставка. back_insert_iterator вставляет элементы в конце контейнера, front_insert_iterator вставляет элементы в начале контейнера, а insert_iterator вставляет элементы, куда итератор указывает в контейнере. back_inserter, front_inserter и inserter - три функции, создающие итераторы вставки из контейнера.

template ‹class Container›
class back_insert_iterator: public output_iterator {
protected:
 Container& container;
public:
 back_insert_iterator(Container& x): container(x) {}
 back_insert_iterator ‹Container›& operator=(const Container::value_type& value) {
 container.push_back(value);
 return *this;