*pos = fooO: ++POS:

О При работе с прямыми итераторами перед разыменованием (обращением к данным) необходимо заранее убедиться в том, что это возможно. Приведенный выще цикл неправилен для прямых итераторов, поскольку он приводит к попытке обращения по итератору end() в конце коллекции с непредсказуемыми последствиями. Для прямых итераторов цикл необходимо изменить следующим образом:

ОК для пряных итераторов ОШИБКА для итераторов вывода while Cpos != coll .endO) {

*pos = fooC):

++POS:

Для итераторов вывода цикл не компилируется, потому что для них не определен оператор !=.

Двунаправленные итераторы

Двунаправленными итераторами называются прямые итераторы, поддерживающие возможность перебора элементов в обратном направлении. Для этой цели в них определяется дополнительный оператор -- (табл. 7.5).

Таблица 7.5. Дополнительные операции для двунаправленных итераторов Выражение Описание

"iter Смещение назад (возвращает новую позицию)

iter- Смещение назад (возвращает старую позицию)

Итераторы произвольного доступа

Итераторами произвольного доступа называются двунаправленные итераторы, поддерживающие прямой доступ к элементам. Для этого в них определяются «вычисления с итераторами» (по аналогии с математическими вычислениями с обычными указателями) - вы можете стсладывать и вычитать смещения, обрабатывать разности и сравнивать итераторы при помощи операторов отношения (таких, как < и >). В табл. 7.6 перечислены дополнительные операции для итераторов произвольного доступа.

Итераторы произвольного доступа поддерживаются следующими объектами и Ti-тами:

О контейнеры с произвольным доступом (vector, deque);

О строки (string, wstring);

О обычные массивы (указатели).

Таблица 7.6. Дополнительные операции для итераторов произвольного доаупа

Выражение Описание

iter[n] Обращение к элементу с индексом п

iter+=n Смещение на п элементов вперед (или назад, если п<0)

iter-s=n Смещение на п элементов назад (или вперед, если п<0)

iter+n Возвращает итератор для п-го элемента вперед от текущей позиции

n+iter Возвращает итератор для п-го элемента вперед от текущей позиции

iter-n Возвращает итератор для п-го элемента назад от текущей позиции

iterl-iter2 Возвращает расстояние между iterl и iter2

iterl<iter2 Проверяет, что iterl меньше iter2

iterl>iter2 Проверяет, что iterl больше iter2

iterl<=iter2 Проверяет, что iterl предшествует или совпадает с iter2

iterl>=jter2 Проверяет, что iterl не предшествует iter2

Представленная ниже программа демонстрирует особые возможности итераторов произвольного доступа.

iter/1 tercet.срр #lnclude <vector> #include <iostream> using namespace std:

int mainO {

vector<1nt> coll;

Вставка элементов от -3 до 9 for (int i=-3: i<=9; ++i) { coll.push bacl< (1);

/* Вывод количества элементов как расстояния между

* начальным и конечным итераторами

* - ВНИМАНИЕ: применение оператора - для итераторов */

cout « "number/distance: " « coll .endO-coll .beginO « endl: /* Вывод всех элементов

* - ВНИМАНИЕ: применение оператора < вместо оператора != */

vector<int>::iterator pos: for (pos-coll .beginO; pos<coll .endO: ++pos) { cout « *pos « :

cout « endl;

/* Вывод всех эленентов

* - ВНИМАНИЕ: применение оператора [] вместо оператора * */

for (int i-0: 1<со11,sl2e(): ++i) { cout « coll.begin()[1] « ;

cout « endl:

/* Вывод каждого второго эпемента

* - ВНИМАНИЕ: применение оператора += */

for Cpos = coll.beginO: pos < coll .endO-l: pos += 2) { cout « *pos « :

cout « endl;

Результат выполнения программы выглядит так:

number/distance: 13 -3-2-10123456789 -3-2-10123456789 -3-11357

Этот пример не работает со списками, множествами и отображениями, потому что все операции с пометкой ВНИМАНИЕ; поддерживаются только для итераторов произвольного доступа. В частности, помните, что оператор < может использоваться в критерии завершения цикла только для итераторов произвольного доступа.

Следующее выражение в последнем цикле требует, чтобы коллекция coll содержала минимум один элемент:

pos < coll .endO-l

Если коллекция пуста, то coH.end()-l будет ссылаться на позицию перед coll.begin(). Сравнение останется работоспособным, но, формально говоря, перемещение итератора в позицию перед началом коллекции приводит к непредсказуемым последствиям. То же самое происходит при выходе за пределы конечрюго итератора end() при выполнении выражения pos+=2. Таким образом, следующая формулировка последнего цикла очень опасна, потому что при четном количестве элементов в коллекции она приводит к непредсказуемым последствиям (рис. 7.2):

for (pos = coll.beginO: pos < coll.endC): pos += 2) { cout « *pos « :