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

Первый компонент пары — это смещение элемента в последовательности, а не его исходный индекс. Для первого выданного элемента enumerated() возвращает смещение 0, даже если индекс исходной коллекции начинается, например, с 5.

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

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

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

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

Если ошибочно принять offset за индекс исходной коллекции, можно получить неверный доступ к элементам или неправильно сформировать подписи, диапазоны и сообщения об ошибках. Проблема становится заметнее у ArraySlice, коллекций с нестандартными индексами и результатов цепочек преобразований.

Нужно различать два понятия: offset — порядковый номер элемента среди уже выдаваемых элементов, а index — значение, определённое конкретной коллекцией. Эти значения могут совпадать у обычного массива, но это лишь частный случай.

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

enumerated() возвращает последовательность пар вида (offset, element). offset имеет целочисленный тип, начинается с 0 и увеличивается на единицу для каждого следующего элемента, который выдаёт последовательность.

let source = ArraySlice([10, 20, 30])[1...]

for (offset, value) in source.enumerated() {
    print(offset, value)
}

Результат будет таким:

0 20
1 30

Индекс source для значения 20 равен 1, поэтому в этом примере совпадение ещё сохраняется. Но у среза, начинающегося с другого индекса, либо у последовательности, построенной преобразованиями, offset всё равно будет отражать только порядок выдачи результатов, начиная с нуля.

enumerated() не возвращает настоящие индексы исходной коллекции и не предназначен для последующего индексирования исходного значения. Если нужны именно индексы коллекции, следует обходить её индексы через механизмы самой Collection, например indices или index(after:).

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

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

Нужно вывести пользователю номера строк после фильтрации логов. Вариант с enumerated() удобен: он сразу даёт плотную нумерацию отображаемых строк и не зависит от индексов исходного массива. Его плюс — простота и корректность для любой последовательности; минус — номер не является исходным идентификатором строки.

Другой вариант — сохранить исходный индекс вместе с записью до фильтрации. Он позволяет связать результат с исходным массивом, но усложняет преобразования и требует аккуратно работать с индексами конкретной коллекции.

Если пользователю нужны номера строк именно в текущем отображаемом списке, выбирают enumerated(): нумерация начинается с нуля и остаётся последовательной после фильтрации. Если требуется перейти к исходной записи или изменить её в исходной коллекции, сохраняют исходный идентификатор или индекс отдельно.

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

Можно ли использовать offset как индекс исходного массива?

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

Что произойдёт с нумерацией после filter?

enumerated() нумерует элементы той последовательности, на которой он вызван. Если сначала выполнена фильтрация, первый оставшийся элемент получает offset 0, второй — 1 и так далее. Позиции удалённых элементов не сохраняются.

Гарантирует ли enumerated() наличие индексов у исходной Sequence?

Нет. Он работает на уровне последовательного получения элементов и не превращает Sequence в Collection. Поэтому после enumerated() можно получить пары с порядковыми номерами, но нельзя делать вывод о возможности произвольного доступа, вычисления расстояния между индексами или мутации исходного источника.