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

pair

process(vector &v) {

// обработка v

if (!v.empty())

return {v.back(), v.back().size()}; // списочная инициализация

else

return pair(); // возвращаемое значение создано явно

}

Если вектор vне пуст, возвращается пара, состоящая из последней строки в векторе vи размера этой строки. В противном случае явно создается и возвращается пустая пара.

В прежних версиях языка С++ нельзя было использовать инициализаторы в скобках для возвращения типа, подобного pair. Вместо этого можно было написать оба оператора returnкак явно созданное возвращаемое значение:

if (!v.empty())

return pair(v.back(), v.back().size());

В качестве альтернативы можно использовать функцию make_pair()для создания новой пары соответствующего типа из двух аргументов:

if (!v.empty())

return make_pair(v.back(), v.back().size());

Упражнение 11.12. Напишите программу, читающую последовательность строк и целых чисел, сохраняя каждую прочитанную пару в объекте класса pair. Сохраните пары в векторе.

Упражнение 11.13. Существует по крайней мере три способа создания пар в программе предыдущего упражнения. Напишите три версии программы, создающей пары каждым из этих способов. Укажите, какая из форм проще и почему.

Упражнение 11.14. Дополните карту фамилий семей и их детей, написанную для упражнения в разделе 11.2.1, вектором пар, содержащих имя ребенка и день его рождения.

В дополнение к типам, перечисленным в табл. 9.2 (стр. 423), ассоциативные контейнеры определяют типы, перечисленные в табл. 11.3. Они представляют типы ключа и значения контейнера.

Таблица 11.3. Псевдонимы дополнительных типов ассоциативных контейнеров

Для контейнеров типа setтипы key_typeи value_typeсовпадают; содержащиеся в наборе данные являются ключами. Элементами карты являются пары ключ-значение. Таким образом, каждый ее элемент — объект класса pair, содержащий ключ и связанное с ним значение. Поскольку ключ элемента изменить нельзя, ключевая часть этих пар константна:

set::value_type v1; // v1 - string

set::key_type v2; // v2 - string

map::value_type v3; // v3 - pair

map::key_type v4; // v4 - string

map::mapped_type v5; // v5 - int

Подобно последовательным контейнерам (см. раздел 9.2.2), для доступа к члену класса, например типа map::key_type, используется оператор области видимости.

Тип mapped_typeопределен только для типов карт ( unordered_map, unordered_multimap, multimapи map).

При обращении к значению итератора возвращается ссылка на значение типа value_typeконтейнера. В случае карты типом value_typeявляется пара, переменная-член firstкоторой содержит константный ключ, а переменная-член second— значение:

// получить итератор на элемент контейнера word_count

auto map_it = word_count.begin();

// *map_it - ссылка на объект типа pair

cout << map_it->first; // отобразить ключ элемента

cout << " " << map_it->second; // отобразить значение элемента

map_it->first = "new key"; // ошибка: ключ является константой

++map_it->second; // ok: значение можно изменить, используя итератор

Не следует забывать, что типом value_typeкарты является pairи что можно изменять ее значение, но не ключ.

Хотя типы наборов определяют типы iteratorи const_iterator, оба типа итераторов предоставляют доступ к элементам в наборе только для чтения. Подобно тому, как нельзя изменить ключевую часть элемента карты, ключи в наборе также константны. Итератор набора можно использовать только для чтения, но не для записи значения элемента:

set iset = {0,1,2,3,4,5,6,7,8,9};

set::iterator set_it = iset.begin();

if (set_it != iset.end()) {

*set_it = 42; // ошибка: ключи набора только для чтения

cout << *set_it << endl; // ok: позволяет читать ключ

}

Типы mapи setподдерживают все функции begin()и end()из табл. 9.2. Как обычно, эти функции можно использовать для получения итераторов, позволяющих перебрать контейнер. Например, цикл вывода результатов программы подсчета слов из раздела 11.1 можно переписать следующим образом: