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

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

if (!с.empty()) {

с.front() = 42; // присвоить 42 первому элементу в контейнере с

auto &v = c.back(); // получить ссылку на последний элемент

v = 1024; // изменить элемент в контейнере с

auto v2 = c.back(); // v2 не ссылка; это копия c.back()

v2 = 0; // это не изменит элемент в контейнере с

}

Как обычно, если ключевое слово autoприменяется для определения переменной, сохраняющей значения, возвращаемые одной из этих функций, и эту переменную предстоит использовать для изменения элемента, то определять эту переменную следует как ссылочный тип.

Контейнеры, предоставляющие быстрый произвольный доступ ( string, vector, dequeи array), предоставляют также оператор индексирования (см. раздел 3.3.3). Как уже упоминалось, оператор индексирования получает индекс и возвращает ссылку на элемент в этой позиции контейнера. Индекс не должен выходить за диапазон элементов (т.е. больше или равен 0 и меньше размера контейнера). Допустимость индекса должен обеспечить разработчик; оператор индексирования не проверяет принадлежность индекса диапазону. Использование для индекса значения вне диапазона является серьезной ошибкой, но компилятор ее не обнаружит.

Если необходимо гарантировать допустимость индекса, вместо него можно использовать функцию-член at(). Она действует как оператор индексирования, но если индекс недопустим, то она передает исключение out_of_range(см. раздел 5.6):

vector svec; // пустой вектор

cout << svec[0]; // ошибка времени выполнения: вектор svec

// еще не имеет элементов!

cout << svec.at(0); // передает исключение out_of_range

Упражнение 9.23. Какими были бы значения переменных val2, val3и val4, в первой программе данного раздела, если бы функция c.size()возвращала значение 1?

Упражнение 9.24. Напишите программу, которая обращается к первому элементу вектора, используя функции at(), front()и begin(), а также оператор индексирования. Проверьте программу на пустом векторе.

Подобно тому, как существует несколько способов добавления элементов в контейнер (исключая array), существует несколько способов их удаления. Функции удаления перечислены в табл. 9.7.

Таблица 9.7. Функции удаления последовательных контейнеров

Функции-члены удаления элементов не проверяют свои аргументы. Разработчик должен сам позаботиться о проверке наличия элементов перед их удалением.

Функции pop_front()и pop_back()удаляют, соответственно, первый и последний элементы контейнера. Векторы и строки функциями push_front()и pop_front()не обладают. У контейнера forward_listтакже нет функции pop_back(). Подобно функциям-членам доступа к элементам, эти функции не применимы к пустому контейнеру.