элементов, значения которых равны переданному аргументу. Если lower bound() или первый компонент equal range() совпадает с upper bound() или вторым компонентом equaLrangeO, то в множестве или мультимножестве отсутствуют элементы с заданным значением. Естественно, в множестве интервал едиа1 гапде() содержит не более одного элемента.

Следующий пример демонстрирует применение функций lower bound(), upper boundO и equal range().

cont/set2.cpp #1nclude <iostream> #1nclude <set> using namespace std:

int main () {

set<int> c;

c.insert(1) c.insert(2) c.insert(4) c.insert(5) c.insertC6)

cout « "lower bound(3) cout « "upper bound(3) cout « "equal rangeC3)

cout « endl: cout « "lower boundC5) cout « "upper bound(5) cout « "equal range(5)

« *c.lQwer bound(3) « endl; « *c.upper bound(3) « endl; « *c.equal rangeC3).first « " " « *c.equal range(3).second « endl

« *c.lower boundC5) « endl: « *c.upper boundC5) « endl: « *c.equal range(5).first « " " « *c.equal rangeC5).second « endl

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

lower bound(3): 4 upper bound(3): 4 equdl ranqe (3): 4 4

lower bound(5): 5 upper bound(5): 5 equal range (5): 5 6

Если вместо множества использовать мультимножество, результат останется прежним.

Присваивания

в множествах и мультимножествах определены только базовые операции присваивания, поддерживаемые всеми контейнерами (табл. 6.23). Дополнительная информация приведена на с. 156.

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

с1 = с2 Присваивает с1 все элементы с2

cl.swap(c2) Меняет местами содержимое с1 и с2

swap(cl,с2) То же, но в форме глобальной функции

Для выполнения операций присваивания контейнеры должны относиться к одному тину. В частности, должны совпадать типы критериев сравнения, хотя сами критерии могут различаться. Пример использования разных критериев сортировкн, относящихся к одному типу, приведен на с. 198, Если критерии различаются, в результате присваивания или перестановки они также меняются местами.

Функции получения итераторов

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

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

cbeginO Возвращает двунаправленный итератор для первого элемента (элементы

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

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

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

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

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

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

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

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

(данная тема подробно обсуждается на с. 125). Элементы множеств и мультимножеств удаляются только функциями, предоставляемыми контейнером.

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

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

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

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

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

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

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

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

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

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

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

Как это обычно бывает при использовании STL, правильность аргументов обеспечивается вызывающей стороной. Итераторы должны ссылат1ся на правильные позиции, конец интервала не должен предшествовать началу, а элементы не должны удаляться из пустого контейнера.

Вставка и удаление выполняются быстрее, если группа элементов обрабатывается одним вызовом вместо нескольких последовательных вызовов.

Обратите внимание на тип возвращаемого значения функций вставки:

О Интерфейс множеств:

palr<1terator,bool> 1nsert(const value type& elem); iterator insert(iterator pos hint,

const valut type& elem);

О Интерфейс мультимножеств:

iterator 1nsert(const value type& elem);

iterator 1nsert(iterator pos hint,

const valut type& elem);

Различия в типах возвращаемых значений обусловлены тем, что дубликаты разрешены в мультимножествах, но запрещены в множествах. Следовательно, вставка элемента в множество может завершиться неудачей, если множество уже содержит элемент с таким же значением. Из-за этого возвращаемым значе-