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

Параметр limitedBy задаёт индекс-границу, которую нельзя пересечь при смещении. Если нужный индекс достигается без прохождения этой границы, метод возвращает его; если смещение потребовало бы пройти дальше границы, результатом будет nil. Точное достижение limitedBy допустимо.

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

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

Метод index(_:offsetBy:limitedBy:) появился как безопасный обобщённый способ перемещаться по индексам с ограничителем, не полагаясь на ручные проверки через размер коллекции или на арифметику целых чисел.

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

Обычный index(_:offsetBy:) требует, чтобы целевой индекс существовал. Если смещение выходит за допустимые пределы коллекции, выполнение может завершиться ошибкой из-за нарушения предусловия.

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

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

Метод начинает движение от исходного индекса в направлении, заданном знаком offsetBy. Параметр limitedBy является остановочной границей: если следующий шаг потребовал бы пересечь её, метод возвращает nil.

Если нужный индекс совпадает с ограничителем, он возвращается успешно. Поэтому параметр ограничивает пересечение границы, но не запрещает её достижение.

let values = ["a", "b", "c", "d", "e"]
let start = values.startIndex
let limit = values.index(start, offsetBy: 3)

let beyond = values.index(start, offsetBy: 4, limitedBy: limit)
let exact = values.index(start, offsetBy: 3, limitedBy: limit)

print(beyond as Any) // nil
print(exact as Any)  // Optional(3)

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

Важно, что ограничитель должен быть корректным индексом той же коллекции. Метод проверяет достижимость через перемещение по индексам, а не через сравнение индексов как целых чисел: индексы разных коллекций нельзя сравнивать и арифметически комбинировать.

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

Нужно обработать не более первых ста элементов произвольной коллекции, но коллекция может содержать меньше элементов. Прямое смещение на сто позиций через index(_:offsetBy:) небезопасно, если такого индекса нет.

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

Выбор index(_:offsetBy:limitedBy:) сохраняет обобщённость алгоритма и корректно сообщает о недостижимой позиции через nil. Это особенно полезно для API, принимающих Collection, когда нельзя предполагать конкретную структуру хранения.

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

Возвращается ли nil, если смещение точно приводит к limitedBy?

Нет. Граница включается: если целевой индекс совпал с limitedBy, метод возвращает этот индекс. nil появляется только при попытке пройти дальше и пересечь ограничитель.

Означает ли наличие limitedBy, что операция выполняется за постоянное время?

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

Можно ли передать индекс другой коллекции в качестве ограничителя?

Нет. Индексы принадлежат конкретной коллекции и имеют смысл только в её контексте. Даже если два индекса имеют одинаковое внутреннее представление, использовать индекс одной коллекции для другой нельзя: это нарушает контракт API и может привести к ошибке выполнения.