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

Итераторы вставки (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;

 }

 back_insert_iterator‹Container›& operator*() {return *this;}

 back_insert_iterator‹Container›& operator++() {return *this;}

 back_insert_iterator‹Container›& operator++(int) {return *this;}

};

template ‹class Container›

back_insert_iterator‹Container› back_inserter(Container& x) {

 return back_insert_iterator‹Container›(x);

}

template ‹class Container›

class front_insert_iterator: public output_iterator {

protected:

 Container& container;

public:

 front_insert_iterator(Container& x): container (x) {}

 front_insert_iterator‹Container›& operator=(const Container::value_type& value) {

  container.push_front(value);

  return *this;

 }

 front_insert_iterator‹Container›& operator*() {return *this;}

 front_insert_iterator‹Container›& operator++() {return *this;}

 front_insert_iterator‹Container›& operator++(int) {return *this;}

};

template ‹class Container›

front_insert_iterator‹Container› front_inserter(Container& x) {

 return front_insert_iterator‹Container›(х);

}

template ‹class Container›

class insert_iterator: public output_iterator {

protected:

 Container& container;

 Container::iterator iter;

public:

 insert_iterator(Container& x, Container::iterator i) : container (x), iter(i) {}

 insert_iterator‹Container›& operator=(const Container::value_type& value) {

  iter = container.insert(iter, value);

  ++iter;

  return *this;

 }

 insert_iterator‹Container›& operator*() {return *this;}

 insert_iterator‹Container›& operator++() {return *this;}

 insert_iterator‹Container›& operator++(int) {return *this;}

};

template ‹class Container, class Iterator›

insert_iterator<Container› inserter(Container& x, Iterator i) {

 return insert_iterator‹Container›(x, Container::iterator(i));

}