[БЕЗ_ЗВУКА] Мы увидели,
что итераторы универсальны в смысле контейнеров, для которых они используются.
Бывают итераторы для векторов, для ссылок, для множеств, для словарей,
и они все ведут себя одинаково.
Благодаря этому удобно писать, например, шаблонные функции, шаблонные алгоритмы.
Но оказывается, что у одного контейнера бывает несколько разных итераторов.
Бывают не только обычные итераторы begin и end, бывает еще специальные итераторы,
которые могут нам помочь легче решить задачу, которую мы решали во втором видео.
Там мы итерировались по контейнеру в обратную сторону и очень страдали,
на самом деле.
Там был странный цикл while, который было не очень легко понять.
Оказывается, можно легко и просто, например,
вывести вектор в обратном порядке.
Для этого раньше мы писали begin (langs) и end (langs), получали итераторы,
с помощью которых мы выводили этот вектор.
Давайте я еще раз продемонстрирую, что у меня всё выводится.
Чтобы проитерировать в обратном порядке, я передам немного другие итераторы.
Да, у меня всё вывелось, вот мой вектор.
А теперь я выведу в обратном порядке, вызвав не begin и end, а rbegin и rend.
r от слова reverse, обратный порядок, обратные итераторы.
Компилирую, запускаю.
Итак, у меня действительно строчки вывелись в обратном порядке.
Я использовал ту же самую функцию, тот же самый готовый написанный мной алгоритм,
чтобы вывести элемент в обратном порядке.
Интересно, что такое rbegin?
Получается, что rbegin — это начало диапазона в обратном порядке.
То есть это конец диапазона.
Давайте, я попробую вывести *rbegin (langs).
Наверное, логично увидеть там последний элемент,
то есть первый в обратном порядке.
Сейчас мы это увидим, запускаем код и видим C#.
А если я попробую вызвать звездочку от rend,
давайте я PrintRange пока уберу, то, наверное, это будет какой-то,
опять же, невалидный итератор, от которого звездочку делать нельзя.
Действительно, у меня код упал.
Давайте все-таки чуть подробнее разберемся.
Вот у меня rbegin указывает на конец, rend указывает за началом, получается.
А что делает ++ от такого итератора?
Логично предположить, что он позволяет пройтись в обратном порядке.
Соответственно, если я сохраню rbegin в какую-то переменную,
давайте я выведу сначала *it,
а теперь я сделаю ++, то это будет ++ для
обратного итератора, то есть итератор подвинется в обратную сторону.
Сейчас я это увижу, компилирую код.
Сначала я должен увидеть rbegin, то есть последний элемент,
а затем следующий за ним в обратном порядке, то есть Java.
Хорошо, давайте разбираться.
У меня итераторы были обычные, прямые итераторы begin и end.
Begin указывал на нулевые элементы, end указывал за последним.
А rbegin и rend — это то же самое, но для прохода в обратном порядке.
Соответственно, rbegin указывает на последний элемент,
а rend как бы перед первым.
Если я возьму обратный итератор на нулевой элемент и сделаю от него минус-минус,
то я попаду в rend.
Точнее, ++.
При этом мы мельком видели, какой тип у меня имели обычные итераторы.
Это контейнер : : итератор.
Например, vector<string> : : iterator.
Для обратных итераторов тип называется по-другому,
вместо iterator reverse_iterator.
Хорошо.
Давайте увидим еще какую-нибудь пользу от обратных итераторов.
Может, не только с помощью них вывести диапазон в обратном порядке,
можно еще их в алгоритмы попередавать, алгоритмы же универсальные, правда?
Вот мы в наш алгоритм попробовали передать,
а теперь попробуем в другой алгоритм передать.
Например, я снова напишу find_if.
Снова найду первый язык в диапазоне от rbegin до rend,
который начинается на букву C.
То есть лямбда-функция должна вернуть lang [0] = = 'C'.
И давайте я сразу этот итератор
посмотрю, что в нем лежит.
Итак, вызвал find_if, но нет begin и end от rbegin и rend, точно так же,
когда у него лямбда-функция.
Убираю лишнюю скобку, компилирую.
Запускаю и вижу C#.
Раньше find_if возвращал первый элемент, который удовлетворяет заданному условию,
и теперь он все еще возвращает первый элемент,
но для диапазона обратных итераторов, то есть, по сути, последний элемент.
Хорошо.
Куда еще можно подставлять обратные итераторы, чтобы в них разобраться?
Например, можно вызвать функцию sort.
Не от begin и end, как мы это делали в первом курсе, а от rbegin и rend.
Как вы думаете, что получится?
Сейчас мы это проверим.
PrintRange (begin (langs), end (langs)).
Вывожу теперь в прямом порядке свой диапазон.
Компилирую.
У меня, конечно, тут не всё очень хорошо, потому что sort не возвращает итератор.
Вот я поправился, снова компилирую.
Сейчас я увижу, как отсортировался вектор.
Он отсортировался в обратном порядке.
Сначала у меня Python, потом Java и так далее по убыванию.
Действительно, sort изначально сортирует по возрастанию,
а мы передали ему обратный диапазон.
Он отсортировал его по возрастанию, а поскольку он обратный,
то в итоге мы отсортировали по убыванию.
Очень удобно, на самом деле, не писать никакой компаратор, не передавать в sort,
а передать обратный итератор и отсортировать по убыванию.
Давайте еще какой-нибудь пример рассмотрим.
Например, reverse.
Если в reverse передать обратные итераторы, как вы думаете,
он перевернет или не перевернет, и что вообще произойдет?
Оказывается, что какая разница?
Перевернуть прямой диапазон, перевернуть обратный диапазон — это одно и то же.
Итак, что мы узнали в этом видео?
Мы узнали про обратные итераторы, которые получаются функциями rbegin и rend,
позволяют упростить итерирование по диапазону в обратную сторону,
как по вектору, так и по множеству, например.
Их можно спокойно передавать спокойно в алгоритмы, как в те, которые мы написали,
тот же PrintRange, так и в какие-то другие алгоритмы, кем-то уже написанные.
И в частности, если передать эти обратные итераторы в алгоритм sort,
вы получите сортировку по убыванию, а не по возрастанию.
Лежанкин Иван Андреевич
Парамонов Евгений Анатольевич
Полднев Антон Вячеславович
Шишков Илья Ивановичкандидат технических наук
