Стенли Липпман - Язык программирования C++. Пятое издание

Благодаря тому факту, что элементы не перемещаются, итераторы, ссылки и указатели в контейнере, за исключением контейнера string, остаются допустимыми. Они продолжают указывать на те же элементы, что и перед перестановкой. Однако после вызова функции swap()эти элементы находятся в другом контейнере. Предположим, например, что итератор iterобозначал в векторе строк позицию svec1[3]. После вызова функции swap()он обозначит элемент в позиции svec2[3]. В отличие от других контейнеров, вызов функции swap()для строки делает некорректными итераторы, ссылки и указатели.

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

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

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

Упражнение 9.14. Напишите программу, присваивающую значения элементов списка указателей на символьные строки в стиле С (тип char*) элементам вектора строк.

За одним исключением у классов контейнеров есть три функции, связанные с размером. Функция-член size()(см. раздел 3.2.2) возвращает количество элементов в контейнере; функция-член empty()возвращает логическое значение true, если контейнер пуст, и значение falseв противном случае; функция-член max_size()возвращает число, большее или равное количеству элементов, которые может содержать контейнер данного типа. По причинам, рассматриваемым в следующем разделе, контейнер forward_listпредоставляет функции max_size()и empty(), но не функцию size().

Для сравнения используется тот же реляционный оператор, который определен для типа элементов: при сравнении двух контейнеров на неравенство ( !=) используется оператор !=типа их элементов. Если тип элемента не поддерживает определенный оператор, то для сравнения контейнеров такого типа данный оператор использовать нельзя.

Сравнение двух контейнеров осуществляется на основании сравнения пар их элементов. Эти операторы работают так же, как и таковые у класса string(см. раздел 3.2.2):

• Если оба контейнера имеют одинаковый размер и все их элементы совпадают, контейнеры равны, в противном случае — не равны.

• Если контейнеры имеют различный размер, но каждый элемент короткого совпадает с соответствующим элементом длинного, считается, что короткий контейнер меньше длинного.

• Если значения элементов контейнеров не совпадают, результат их сравнения зависит от значений первых неравных элементов.

Проще всего понять работу операторов, рассмотрев их на примерах.

vector v1 = { 1, 3, 5, 7, 9, 12 };

vector v2 = { 1, 3, 9 };

vector v3 = { 1, 3, 5, 7 };

vector v4 = { 1, 3, 5, 7, 9, 12 };

v1 < v2 // true; v1 и v2 отличаются элементом [2]: v1[2] меньше,

// чем v2[2]

v1 < v3 // false; все элементы равны, но у v3 их меньше;

v1 == v4 // true; все элементы равны и размер v1 и v4 одинаков

v1 == v2 // false; v2 имеет меньше элементов, чем v1

При сравнении контейнеров используются операторы сравнения их элементов

Сравнить два контейнера можно только тогда, когда используемый оператор сравнения определен для типа элемента контейнера.

Операторы равенства контейнеров используют оператор ==элемента, а операторы сравнения — оператор <элемента. Если тип элемента не предоставляет необходимый оператор, то не получится использовать соответствующие операторы и с содержащими их контейнерами. Например, определенный в главе 7 тип Sales_dataне предоставлял операторов ==и <. Поэтому нельзя сравнить два контейнера, содержащих элементы типа Sales_data: