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

ArraySlice обычно сохраняет индексное пространство исходной коллекции, поэтому после удаления начальных элементов его startIndex может быть равен, например, 2, а не 0. Это позволяет создать срез без перенумерации индексов и без обязательного копирования элементов.

Индекс нужно получать у самого среза через startIndex, endIndex или indices. Нельзя предполагать, что позиция элемента в любой Collection представлена целым числом, начинающимся с нуля.

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

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

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

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

После dropFirst, dropLast или получения диапазона разработчик может ошибочно считать, что первый элемент среза имеет индекс 0. Для ArraySlice это часто неверно: первый допустимый индекс соответствует позиции элемента в исходном массиве.

Обращение по недопустимому индексу приводит к ошибке во время выполнения. Дополнительный риск возникает при передаче индекса между разными коллекциями: даже одинаковое числовое значение не означает, что индекс принадлежит другой коллекции.

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

ArraySlice хранит границы представляемого участка и использует индексы базового массива. Например, если исходный массив имеет индексы 0, 1 и 2, то срез после пропуска первого элемента обычно имеет startIndex == 1, а endIndex == 3.

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

print(slice.startIndex)       // 1
print(slice[slice.startIndex]) // 20
print(Array(slice))           // [20, 30]

В этом примере индекс 1 — первый допустимый индекс среза, хотя срез содержит два элемента. Правильный обход выполняется через indices, startIndex и index(after:), а не через ручное увеличение числа от нуля.

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

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

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

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

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

Вариант с ArraySlice создаёт представление почти без копирования и подходит для последовательной обработки. Однако обработчик обязан использовать startIndex и операции Collection; обращение к элементу через предполагаемый индекс 0 может завершиться ошибкой.

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

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

Означает ли индекс 1 второй элемент любой коллекции?

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

Почему нельзя заменить обход среза циклом от нуля до его размера?

Размер и индекс — разные понятия. У среза может быть два элемента, но допустимые индексы могут быть 1 и 2. Обобщённый обход должен использовать indices или переходы через index(after:), потому что это учитывает реальную индексную модель коллекции.

Всегда ли преобразование ArraySlice в Array немедленно освобождает память исходного массива?

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