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

list lst;

auto iter = lst.begin();

while (cin >> word)

iter = lst.insert(iter, word); // то же, что и вызов push_front()

Важно понимать, почему именно цикл, подобный этому, эквивалентен вызову функции push_front().

Перед циклом итератор iterинициализируется возвращаемым значением функции lst.begin(). Первый вызов функции insert()получает только что прочитанную строку и помещает ее перед элементом, обозначенным итератором iter. Значение, возвращенное функцией insert(), является итератором на этот новый элемент. Присвоим этот итератор итератору iterи повторим цикл, читая другое слово. Пока есть слова для вставки, каждая итерация цикла whileвставляет новый элемент перед позицией iterи снова присваивает ему позицию недавно вставленного элемента. Этот (новый) элемент является первым. Таким образом, каждая итерация вставляет элемент перед первым элементом в списке.

Новый стандарт вводит три новых функции-члена — emplace_front(), emplace()и emplace_back(), которые создают элементы, а не копируют. Они соответствуют функциям push_front(), insert()и push_back(), позволяющим помещать элемент в начало контейнера, перед указанной позицией или в конец контейнера соответственно.

Когда происходит вызов функции-члена insert()или push(), им передается объект типа элемента для копирования в контейнер. Когда происходит вызов функции emplace(), ее аргументы передаются конструктору типа элемента, который создает элемент непосредственно в области, контролируемой контейнером. Предположим, например, что контейнер с содержит элементы типа Sales_data(см. раздел 7.1.4):

// создает объект класса Sales_data в конце контейнера с

// использует конструктор класса Sales_data с тремя аргументами

с.emplace_back("978-05903534 03", 25, 15.99);

// ошибка: нет версии функции push_back(), получающей три аргумента

с.push_back("978-0590353403", 25, 15.99);

// ok: создается временный объект класса Sales_data для передачи

// функции push_back()

c.push_back(Sales_data("978-0590353403", 25, 15.99));

Вызов функции emplace_back()и второй вызов функции push_back()создают новые объекты класса Sales_data. При вызове функции emplace_back()этот объект создается непосредственно в области, контролируемой контейнером. Вызов функции push_back()создает локальный временный объект, который помещается в контейнер.

Аргументы функции emplace()зависят от типа элемента, они должны соответствовать конструктору типа элемента:

// iter указывает на элемент класса Sales_data контейнера с

с.emplace_back(); // использует стандартный конструктор

// класса Sales_data

с.emplace(iter, "999-999999999"); // используется Sales_data(string)

// использует конструктор класса Sales_data, получающий ISBN,

// количество и цену

с.emplace_front("978-0590353403", 25, 15.99);

Функция emplace()создает элементы контейнера. Ее аргументы должны соответствовать конструктору типа элемента.

Упражнение 9.18. Напишите программу чтения последовательности строк со стандартного устройства ввода в контейнер deque. Для записи элементов в контейнер dequeиспользуйте итераторы и цикл.

Упражнение 9.19. Перепишите программу из предыдущего упражнения, чтобы использовался контейнер list. Перечислите необходимые изменения.

Упражнение 9.20. Напишите программу, копирующую элементы списка listв две двухсторонние очереди, причем нечетные элементы должны копироваться в один контейнер deque, а четные в другой.

Упражнение 9.21. Объясните, как цикл из пункта «Применение возвращаемого значения функции insert()», использующий возвращаемое значение функции insert()и добавляющий элементы в список, работал бы с вектором вместо списка.

Упражнение 9.22. С учетом того, что ivявляется вектором целых чисел, что не так со следующей программой? Как ее можно исправить?

vector::iterator iter = iv.begin(),

mid = iv.begin() + iv.size()/2;

while (iter != mid)

if (*iter == some_val)

iv.insert(iter, 2 * some_val);

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

У каждого последовательного контейнера, включая array, есть функция-член front(), и у всех, кроме forward_list, есть также функция-член back(). Эти функции возвращают ссылку на первый и последний элементы соответственно:

// перед обращением к значению итератора удостовериться, что

// элемент существует, либо вызвать функции front() и back()

if (!с.empty()) {

// val и val2 - копии значений первого элемента в контейнере с

auto val = *с.begin(), val2 = c.front();

// val3 и val4 - копии значений последнего элемента в контейнере с

auto last = c.end();

auto val3 = *(--last); // невозможен декремент итератора forward_list

auto val4 = c.back(); // не поддерживается forward_list

}

Таблица 9.6. Функции доступа к элементам последовательного контейнера

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