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

Упражнение 11.16. Используя итератор карты, напишите выражение, присваивающее значение элементу.

Упражнение 11.17. С учетом того, что с— контейнер multisetстрок, a v— вектор строк, объясните следующие вызовы. Укажите, допустим ли каждый из них:

copy(v.begin(), v.end(), inserter(с, c.end()));

copy(v.begin(), v.end(), back inserter(c));

copy(c.begin(), c.end(), inserter(v, v.end()));

copy(c.begin(), c.end(), back inserter(v));

Упражнение 11.18. Перепишите определение типа map_itиз цикла в данном разделы, не используя ключевое слово autoили decltype.

Упражнение 11.19. Определите переменную, инициализированную вызовом функции begin()контейнера multisetпо имени bookstoreиз раздела 11.2.2. Определите тип переменной, не используя ключевое слово autoили decltype.

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

vector ivec = {2,4,6,8,2,4,6,8}; // ivec содержит

// восемь элементов

set set2; // пустой набор

set2.insert(ivec.cbegin(), ivec.cend()); // set2 имеет четыре элемента

set2.insert({1,3,5,7,1,3,5,7}); // теперь set2 имеет восемь элементов

Таблица 11.4. Функция insert()ассоциативного контейнера

Версии функции insert(), получающие пару итераторов или список инициализации, работают подобно соответствующим конструкторам (см. раздел 11.2.1), но добавляется только первый элемент с заданным ключом.

При вставке в карту следует помнить, что типом элемента является pair. Зачастую объекта pair, подлежащего вставке, нет. В этом случае пара создается в списке аргументов функции insert():

// четыре способа добавления слова в word_count

word_count.insert({word, 1});

word_count.insert(make_pair(word, 1));

word_count.insert(pair(word, 1));

word_count.insert(map::value_type(word, 1));

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

map::value_type(s, 1)

Он создает новый объект пары соответствующего типа для вставки в карту.

Значение, возвращенное функцией insert()(или emplace()), зависит от типа контейнера и параметров. Для контейнеров с уникальными ключами есть версии функций insert()и emplace(), которые добавляют один элемент и возвращают пару, сообщающую об успехе вставки. Первая переменная-член пары — итератор на элемент с заданным ключом; второй — логическое значение, указывающее на успех вставки элемента. Если такой ключ уже был в контейнере, то функция insert()не делает ничего, а логическая часть возвращаемого значения содержит false. Если такой ключ отсутствовал, то логическая часть содержит значение true.

Для примера перепишем программу подсчета слов с использованием функции insert():

// более корректный способ подсчета слов во вводе

map word_count; // пустая карта строк и чисел

string word;

while (cin >> word) {

// вставляет элемент с ключом, равным слову, и значением 1;

// если слово уже есть в word_count, insert() не делает ничего

auto ret = word_count.insert({word, 1});

if (!ret.second) // слово уже было в word_count

++ret.first->second; // приращение счетчика

}

Для каждой строки wordосуществляется попытка вставки со значением 1. Если слово уже находится в карте, ничего не происходит. В частности, связанный со словом счетчик остается неизменным. Если слова еще нет в карте, оно добавляется, а значение его счетчика устанавливается в 1.

Оператор ifпроверяет логическую часть возвращаемого значения. Если это значение false, то вставка не произошла. Следовательно, слово уже было в карте word_count, поэтому следует увеличить значение связанного с ним счетчика.

Оператор приращения счетчика в этой версии программы подсчета слов трудно понять. Разобрать это выражение будет существенно проще, если сначала расставить скобки в соответствии с приоритетом (см. раздел 4.1.2) операторов:

++((ret.first)->second); // эквивалентное выражение

Рассмотрим это выражение поэтапно.

• ret— пара, содержащая значение, возвращаемое функцией insert().

• ret.first— первая переменная-член пары, на которую указывает итератор карты, с данным ключом.

• ret.first->— обращение к значению итератора, позволяющее получить этот элемент. Элементы карты также являются парами.

• ret.first->second— та часть пары элемента карты, которая является значением.

• ++ret.first->second— инкремент этого значения.

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

Для читателей, использующих устаревший компилятор или код, предшествующий новому стандарту, объявление и инициализация пары retтакже не совсем очевидны:

pair::iterator, bool> ret =

word_count.insert(make_pair(word, 1));

Здесь определяется пара, вторая переменная-член которой имеет тип bool. Понять тип первой переменной-члена этой пары немного труднее. Это тип итератора, определенный типом map.