Вторая версия unique() работоспособна только в системах с поддержкой шаблонных функций классов (см. с, 28).

Вторая версия nierge()pa6oTociioco6Ha только н системах с поддержкой шаблонных функний классов (см, с, 28).

О Перед вызовом необходимо убедиться в том, что pos представляет действительную П0ЭИЦР1Ю в *this, а sourceBeg и sourceEnd определяют действительный интервал в source; в противном случае вызов приводит к непредсказуемым последствиям.

О Функция не генерирует исключений.

void списон:;sort О

void список::sort CCompFunc op)

О Обе версии сортируют элементы списка.

О Первая версия сортирует все элементы оператором <.

О Вторая форма сортирует все э.лементы списка, сравнивая элементы функцией ор:

opieleml .е]ет2)

О Порядок следования элементов с равными значениями сохраняется (если при вызове не было сгенерировано исключение).

О Это специализированные версии алгоритмов sort() и stable sort() (см. с. 389), оптимизированные для списков,

void список: -.тгде (список source)

void СЛИСОК::merge (список source. CompFunc op)

О Обе версии выполняют слияние элементов списков source и *this. О После вызова список source остается пустым.

О Если перед вызовом списки *this и source отсортированы по критерию < или ор, итоговый список тоже будет отсортирован. Строго говоря, стандарт требует, чтобы оба списка бьг.ли отсортированы перед вызовом, но на практике слияние также может выполняться и для несортированных списков. Тем не менее проведите дополнительную проверку, прежде чем выполнять слияние несортированных списков в своих программах.

О В первой форме используется оператор < в качестве критерия сортировки.

О Во второй форме используется необязательный критерий сортировки ор для сравнения двух элементов:

opieleml,elem2)

О Это специализированные версии алгоритма merge() (см. с. 406), оптимизированные для списков.

void список: :reyerse О

О Переставляет элементы списка в обратном порядке.

О Это специализированная версия алгоритма reverse() (см. с. 379), оптимизированная для списков.

О Функция не генерирует исключений.

Поддержка распределителей памяти

Все контейнеры STL могут испо.льзоваться со специальной моделью памяти, определяемой объектом-распределителем (см. главу 15), Здесь перечислены функции, обеспечивающие поддержку распределителей.

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

Основные типы и функции распределителей

нонтейнер::al1ocator type О Тип распределителя.

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

allocatortype контейнер::get allocator С) const

О Возвращает модель памяти контейнера.

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

Конструкторы с передачей необязательных параметров

explicit контейнер: -.контейнер (const Allocators alloc)

О Создает новый пустой контейнер, использующий модель памяти alloc.

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

контейнер: [контейнер (const CoiTipFunc& op. const Allocators alloc)

О Создает иовын пустой контейнер с критерием сортировки ор, нспо.льзующий модель памяти alloc.

О Критерий сортировки должен определять «строгую квазиупорядоченность» (см. с. 184).

О Поддерживается множествами, мультимножествами, отображениями, мультиотображениями.

контейнер:[контейнер (sizetype пит. const Т& value.

const Allocators alloc)

О Создает контейнер с пит элементами, испо.льзу1ощий модель памяти alloc. О Э.аементы создаются как копии value.

Большое спасибо Грегу Колвину (Greg Colvin) и Дейву Абрахамсу (Dave Abrahams) за предоставленную таблицу.

ОТ - тип элементов контейнера. Для строк value передается по значению. О Поддерживается векторами, деками, списками, строками.

контейнер: -.нонтейнер (Inputlterator beg. Inputlterator end,

const Allocator& alloc)

О Создает контейнер, инициализированный всеми элементами из интервала beg,end) и использующий модель памяти alloc.

О Функция оформлена в виде нтаблонной функции класса (см. с. 28). Это означает, что элементы исходного интервала могут относиться к произвольному типу, который может быть преобразован к типу элементов контейнера.

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

контейнер::контейнер (Inputlterator beg. Inputlterator end.

const CompFunc& op. const Allocators alloc)

О Создаст контейнер с критерием сортировки ор, ипициализиропанный всеми элементами из интервала [beg,end) и 11Спо.лт)Зующий модель памяти alloc.

О Функция оформлена в виде шаблонной функции класса (см. с 28). Это означает, что элементы исходного интервала могут относиться к произвольному типу, который может быть преобразован к типу элементов контейнера.

О Критерий сортировки должен определять «строгую квазиупорядоченность» (см. с. 184).

О Поддерживается множествами, мультимнолсествамн, отображениями, мультиотображениями.

Обработка исключений в контейнерах STL

Как упоминалось на с. 148, контейнеры предоставляют разный уровень гарантий в отношении исключений. Стандартная библиотека С++ гарантирует отсутствие утечки ресурсов н нарушения контейнерных инвариантов в отношении исключения, однако некоторые операции предоставляют более твердые гарантии (при условии, что аргументы удовлетворяют некоторым условиям): они могут гарантировать транзакционную безопасность (принятие/откат) и даже то, что они никогда не генерируют исключений. В табл. 6.35 перечислены все операции, для которых предоставляются такие гарантии.

Таблица 6.35. Контейнерные операции с особыми гарантиями в отношении исключений