О Контейнеры должны поддерживать семантику значений вместо ссылочной семантики. При вставке элемента контейнер создает его внутрсннгою копию, вместо того чтобы сохранять ссылку на внешний объект. Следовательно, элементы контейнера STL должны поддерживать копирование. Если объект, который требуется сохранить в контейнере,-не имеет открытого копирующего конструктора или копирование объекта нежелательно (например, если оно занимает слишком много времени или элементы должны принадлежать сразу нескольким контейнерам), в контейнер заносится указатель или объект указателя, ссылающийся на этот объект. Проблема подробно рассматрршается на с. 144.

О Элементы в контейнере располагаются в определенном порядке. Это означает, что при повторном переборе с применением итератора порядок перебора элементов должен остаться прежним. В каждом тине контейнера определены операции, возвращающие итераторы для перебора элементов. Итераторы представляют собой основной интерфейс для работы алгоритмов STL.

О В общем случае операции с элементами контейнеров небезопасны. Вызывающая сторона должна проследить за тем, чтобы параметры операции соответствовали требовапиям. Нарушение правил (например, использование недействительного индекса) приводит к непредсказуемым последствиям. Обычно STL пе генерирует исключений в своем коде. Но если исключение генерируется пользовательскими операциями, вызываемыми контейнером STL, ситуация меняется. За подробностями обращайтесь на с. 148.

Общие операции над контейнерами

в табл. 6.1 перечислены операции, общие для всех контейнеров. Общие операции подчиняются правилам, упомяизпгым в предыдущем подразделе. Некоторые из них более подробно описаны далее.

продолжение

Таблица 6.1 (продолжение)

Операция

Описание

с1 < с2 с1 > с2 с1 <= с2 с1 >= с2 с1 = с2 cl.swap(c2) swap(cl,c2) с. beginO c.endO c.rbeginO

c.rendO

c.insert(pos,elem)

c.erase(beg,end)

c.clearO

c.get allocator()

Проверяет, что cl меньше c2

Проверяет, что cl больше c2 (эквивалент c2<cl)

Проверяет, что cl не больше с2 (эквивалент !(с2<с1))

Проверяет, что cl не меньше с2 (эквивалент !(с1<с2))

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

Меняет местами содержимое с1 и с2

То же, но в форме глобальной функции

Возвращает итератор для первого элемента

Возвращает итератор для позиции за последним элементом

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

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

Вставляет копию elem (с разными вариантами возвращаемого значения и интерпретацией первого аргумента)

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

Удаляет из контейнера все элементы (контейнер остается пустым)

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

Инициализация

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

О Ишшиализация элементами другого контейнера:

std::l1st<1nt> 1: 1 - связанный список int

Копирование всех элементов списка в вектор с приведением к типу float std::vector<float> с(1.begin(),1.end()):

Если система не поддерживает шаблошхые функции классов, обычно разрешается инициализация только при [юлиом соотнстствии типов. В таких случаях можио воспользоваться алгоритмом сору(). Пример приведен на с. 196.

Спасибо Джону Cnailcepy (John Н. Spicer) из EDG за это объяснение.

О Инициализация элементами массива: int дггдуи = { 2. 3, 17. 33. 45. 77 }:

Копирование всех элементов массива в множество

std:;set<int> c(array,array+sizeofС array)/sizeof(array[0]));

О Инициализация с применением стандартного входного потока данных:

Чтение элементов типа int в дек из стандартного ввода std::deque<int> c((std::1streani iterator<int>(std::c1n)).

(std::1stredn iterator<i nt>())):

He забудьте заключить аргументы инициализатора в дополнительные круглые скобки. Без них выражение работает совсем не так, как предполагалось. Скорее всего, все кончится странными предупреждениями или ошибками в следую-пих командах. Рассмотрим ту же команду без дополнительных круглых скобок:

std::deque<1nt> c(std::1streani iterator<int>(std:;cin), std:: 1streani iterator<1nt>()):

В этом варианте с объявляет функцию, возврашаюшую тип deque<int>. Ее первый параметр cin относится к тину istreanri iterator<lnt>, а второй безымянный параметр - к тину «функция, вызываемая без аргументов и возвращающая istream iterator<lnt>». Эта конструкция синтаксически действительна и как объявление, и как выражение. Следовательно, в соответствии с правилами языка она интерпретируется как объявление. При введении дополнительных круглых скобок инициализатор перестает соответствовать синтаксису объявления.

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

Операции проверки размера

Все контейнерные классы поддерживают три операции, связанные с проверкой размера.

О size(). Функция возвращает текущее количество элементов в контейнере.

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

О max size(). Функция возвращает максимальное количество элементов, которые могут содержаться в контейнере. Значение зависит от реализации. Например, все элементы вектора обычно хранятся в одном блоке памяти, что может обусловить дополнительные ограничения на PC. В общем случае nriax size() совпадает с максимальным значением типа индекса.