Последовательные итераторы (Forward iterators)
Класс или встроенный тип X удовлетворяет требованиям последовательного итератора, если справедливы следующие выражения:
Таблица 4. Требования последовательного итератора
| выражение | возвращаемый тип | семантика исполнения | утверждение/примечание состояние до/после |
|---|---|---|---|
| X u; | - | - | примечание: u может иметь исключительное значение. примечание: предполагается деструктор. |
| X() | - | - | примечание: X() может быть исключительным. |
| X(a); | - | - | a == X(a) |
| X u(a); X u = a; | - | X u; u = a; | после: u == a. |
| a == b | обратимый в bool | - | == - это отношение эквивалентности. |
| a!= b | обратимый в bool | !(a == b) | - |
| r = a | X& | - | после: r == a. |
| *a | обратимый в T | - | до: a - разыменовываемое. a==b подразумевает *a==*b. Если X - модифицируемый, то *a = t - допустимо. |
| ++r | X& | - | до: r - разыменовываемое. после: r - разыменовываемое или r - законечное. r == s и r - разыменовываемое подразумевает ++r==++s. &r==&++r. |
| r++ | X | {X tmp = r; ++ r; return tmp;} | - |
ПРИМЕЧАНИЕ. Тот факт, что r == s подразумевает ++r == ++s (что неверно для итераторов ввода и вывода) и что удалено ограничение на число присваиваний через итератор (которое применяется к итераторам вывода), позволяет использование многопроходных однонаправленных алгоритмов с последовательными итераторами.
Двунаправленные итераторы (Bidirectional iterators)
Класс или встроенный тип X удовлетворяет требованиям двунаправленного итератора, если к таблице, которая определяет последовательные итераторы, мы добавим следующие строки:
Таблица 5. Требования двунаправленного итератора (в дополнение к последовательному итератору)
| выражение | возвращаемый тип | семантика исполнения | утверждение/примечание состояние до/после |
|---|---|---|---|
| --r | X& | - | до: существует s такое, что r==++s. после: s - разыменовываемое. --(++r)==r. --r==--s подразумевает r==s.&r==&--r. |
| r-- | X | {X tmp = r; --r; return tmp;} | - |
ПРИМЕЧАНИЕ. Двунаправленные итераторы позволяют алгоритмам перемещать итераторы назад так же, как вперёд.
Итераторы произвольного доступа (Random access iterators)
Класс или встроенный тип X удовлетворяет требованиям итераторов произвольного доступа, если к таблице, которая определяет двунаправленные итераторы, мы добавим следующие строки:
Таблица 6: Требования итератора произвольного доступа (в дополнение к двунаправленному итератору)
| выражение | возвращаемый тип | семантика исполнения | утверждение/примечание состояние до/после |
|---|---|---|---|
| r += n | X& | {Distance m = n; if(m ›= 0) while(m--) ++r; else while(m++) --r; return r;} | - |
| a + n n + a | X | {X tmp = a; return tmp += n;} | a + n == n + a. |
| r -= n | X& | return r += -n; | - |
| a - n | X | {X tmp = a; return tmp -= n;} | - |
| b - a | Distance | - | до: существует значение n типа Distance такое, что a+n=b. b==a+(b-a). |
| a[n] | обратимый в T | *(a + n) | - |
| a ‹ b | обратимый в bool | b - a › 0 | ‹ - это отношение полного упорядочения |
| a › b | обратимый в bool | b ‹ a | › - это отношение полного упорядочения, противоположное ‹. |
| a ›= b | обратимый в bool | !(a ‹ b) | - |
| a ‹= b | обратимый в bool | !(a › b) | - |