Краткий ответ

Обратный обход выполняется через представление ReversedCollection, которое хранит исходную коллекцию и меняет направление работы с её индексами. Элементы не копируются при создании такого представления: оно использует операцию index(before:) базовой BidirectionalCollection.

let values = [10, 20, 30]
let reversed = values.reversed()

print(reversed.first!)
print(Array(reversed))

В примере reversed() создаёт представление, а копирование происходит только в момент явного построения нового массива через Array(reversed).

Исторический контекст

Коллекционные алгоритмы Swift проектировались так, чтобы отделить алгоритм от конкретного хранилища данных. Это позволяет выполнять операции над массивами, строками и другими коллекциями через общие протоколы, не создавая промежуточные копии без необходимости.

Идея представлений решает практическую проблему лишних аллокаций. Если требуется только последовательный обратный просмотр данных, материализация отдельного массива не даёт преимуществ и увеличивает расход памяти.

Постановка проблемы

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

Однако обратный обход возможен не для любой Sequence. Базовая коллекция должна уметь двигаться к предыдущему элементу, то есть соответствовать BidirectionalCollection. Если это требование не выполнено, у общего алгоритма нет способа начать с конца и идти назад по индексам.

Подробное решение

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

Создание представления обычно имеет константную стоимость и не зависит от количества элементов. Стоимость самого обхода определяется базовой коллекцией и её индексами: для каждого шага используется поддерживаемая ею операция перехода назад.

Важно различать представление и материализованный результат. reversed() не обещает независимую копию данных, тогда как преобразование представления в Array создаёт новый массив и последовательно переносит в него элементы.

Такой подход экономит память и позволяет сочетать обратный обход с другими операциями. Например, можно получить первый элемент обратного представления без полного прохода по коллекции. Компромисс состоит в том, что представление сохраняет зависимость от базовой коллекции и её правил работы с индексами.

Ситуация из практики

В журнале событий нужно найти последнее событие, удовлетворяющее условию. Рассматривались два варианта: сначала создать перевёрнутую копию всего массива, либо получить обратное представление и искать в нём первый подходящий элемент.

Полная копия проста для понимания, но требует памяти O(n) и времени O(n) ещё до начала поиска. Обратное представление не копирует элементы и позволяет завершить поиск сразу после нахождения нужного события; выбран именно этот вариант.

Если результат должен жить независимо от исходных данных или передаваться API, которому нужен конкретный массив, материализация через Array оправдана. Для одноразового чтения или поиска она обычно избыточна.

Что кандидаты часто упускают

Чем reversed() отличается от немедленного создания нового массива?

reversed() создаёт представление без копирования элементов. Новый массив появляется только при явной материализации, например через Array(reversed). Поэтому обратное представление выгодно, когда нужен частичный или ленивый обход, но не заменяет копию в сценариях, где требуется независимое хранилище.
Почему обратный обход нельзя обобщённо реализовать для любой Sequence?

Sequence гарантирует возможность получать следующий элемент через итератор, но не предоставляет обратного перехода или даже повторного обхода. Итератор может быть одноразовым и не обязан знать количество элементов. Для reversed() нужен дополнительный контракт BidirectionalCollection, включающий движение индекса к предыдущей позиции.
Всегда ли шаг обратного обхода имеет константную стоимость?

Стоимость шага определяется базовой коллекцией, а не самим фактом использования reversed(). Представление вызывает операции индексов исходной коллекции; их сложность зависит от конкретного типа и его реализации. Поэтому создание обратного представления может быть O(1), но полный обход не следует автоматически считать O(n) по времени без анализа стоимости перехода между индексами.