Впрочем, у этого правила существует исключение: отображения поддерживают оператор индексирования [] для прямого обращения к элементам (см. с. 212). В табл. 6.30 перечислены стандартные функции получения итераторов, поддерживаемые отображениями и мультиотображениями.

Таблица 6.30. Операции получения итераторов для отображений и мультиотображений Операция Описание

c.beginC) Возвращает двунаправленный итератор для первого элемента

(ключи считаются константными)

c.end() Возвращает двунаправленный итератор для позиции за последним

элементом (ключи считаются константными)

c.rbeginO Возвращает обратный итератор для первого элемента при переборе

а обратном направлении

CTend() Возвращает обратный итератор для позиции за последним элементом

при переборе в обратном направлении

Итераторы отображений и мультиотображений, как и во всех классах ассоциативных контейнеров, являются двунаправленными (см. с. 261). Такие итераторы не могут использоваться алгоритмами, рассчитанными на итераторы произвольного доступа (например, алгоритмами сортировки или случайной перестановки элементов).

Но еще более важное ограничение заключается в том, что с точки зрения итератора все ключи элементов отображения или мультиотображения считаются константными (то есть элемент интерпретируется как относящийся к типу pair<const кеу,Т>). Это необходимо для того, чтобы программа не могла нарушеть упорядоченность элементов, изменяя их ключи. Однако в результате для элементов отображения или мультиотображения вызов модифицирующих алгоритмов становится невозможным. Например, удаление элементов не может осуществляться алгоритмом remove(), нотому что «удаление» в действительности сводится к перезаписи следующими элементами (данная тема подробно обсуждается на с. 125). Элементы множеств и мультимножеств удаляются только функциями, предоставляемыми контейнером.

Пример использования итераторов:

std::map<std::string.f1oat> col 1:

std: :rnap<std: :string.float>::iterator pos: for (pos = coll.beginO: pos != coll.endO: ++pos) ( std;:cout « "key: " « pos->first « "\t"

« "value: " « pos->second « std::endl:

Итератор pos используется для перебора в последовательности пар string/float. Выражение pos->first определяет ключ элемента, а выражение pos->second - значение элемента.

pos->first является сокращенной записью для (*po.s).first. Некоторые старые библиотеки поддерживают только полную форму записи.

typename Cont::iterator pos;

pos = c.find(old key):

1f (pos [= C.endO) {

Вставка нового элемента со значением старого элемента c.insert(typename Cont;:value type(new key.

pos->second)):

Удаление старого элемента c,erase(pos); return true:

else {

Ключ не найден return false:

Функции insertO и erase() описаны в следующем подразделе. При вызове этой унифггцированной функции контейнеру просто передаются два ключа; старый и новый. Пример:

std:;map<std::String.float> coll;

MyLib::гер1асе кеу(со11,"old key","new key");

С мультиотображениями функция работает аналогично. Впрочем, отображения поддерживают более удобный способ модификации ключа элемента. Вместо вызова гер1асе кеу() достаточно написать следующее:

Вставка нового элемента со значением старого элемента coll["new key"] = coll["old key"]:

Попытка изменения ключа приводит к ошибке:

pos->f1rst = "hello": ОШИБКА компипяции

Однако модификация значения элемента выполняется без проблем (при условии, что значение не принадлежит к константному типу):

po5>second = 13.5; ОК

Изменить ключ элемента можно только одним способом: заменить старый элемент новым элементом с тем же значением. Унифицированная функция для выполнения этой операции выглядит так;

cont/newkey.hpp namespace MyLib {

template <class Cont>

inline

bool replace key (Cont& c.

const typename Cont::key type& old key. const typename Cont:;key type& newkey)

Удаление старого элемента coll .eraseC"olcl key");

Использование оператора индексирования с отображениями рассматривается на с. 212.

Вставка и удаление элементов

в табл. 6.31 перечислены операции вставки и удаления элементов в отображениях и мультиотображениях.

Таблица 6.31. Операции вставки и удаления для отображений и мультиотображений Операция Описание

c.lnsertCelem) Вставляет копию elem и возвращает позицию нового элемента;

для отображений также возвращается признак успешного выполнения операции

c.insertCpos.elem) Вставляет копию elem и возвращает позицию нового элемента

(pos определяет рекомендуемую позицию, с которой следует начинать поиск позиции вставляемого элемента)

c.insertCbeg,end) Вставляет копию всех элементов интервала [beg,end) (и не возвращает значения)

c.erase(elem) Удаляет все элементы со значением elem и возвращает количество

удаленных элементов

c.erase(pos) Удаляет элемент в позиции итератора pos (не возвращает значения)

c.erase(beg,end) Удаляет все элементы из интервала [beg,end) (не возвращает значения) с.с1еаг() Удаляет все элементы (контейнер оаается пустым)

Замечания на с, 191 относительно операций вставки и удаления для множеств и мультимножеств справедливы и для отображетшй с мультиотображениями. В частности, тип возвращаемого значения этих функций тоже зависит от тина контейнера. Но использование функций несколько усложняется тем, что элемент представляет собой пару «ключ/значение».

При вставке пары «ключ/зиачеиие» необходимо учитывать, что внутри отображений и мультиотображений ключ считается константным. Вы должны либо предоставить правильный тип, либо обеспечить явное или неявное преобразование типа. Существуют три способа передачи значения при вставке нового элемента.

О Использование обозначения valuej:ype. Для предотвращения неявного преобразования типа правильный тип указывается явно с использованием обозначения value type, предоставляемого контейнером в виде определения типа. Пример:

std::map<std::str1ng,float> coll:

coll.1nsert(std::map<std::str1ng,float>::value type("otto".

22,3)):