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

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

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

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

Протокол Sequence использует связанный тип элемента и тип итератора. Поэтому конкретные последовательности могут иметь сильно отличающиеся типы: массив, диапазон, результат filter, пользовательский генератор.

Обобщённые функции хорошо работают, когда конкретный тип можно передать параметром типа. Но публичному API иногда нужно скрыть реализацию или вернуть один стабильный тип при выборе разных реализаций во время выполнения. Для этого применяется type erasure, то есть стирание конкретного типа через обёртку AnySequence.

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

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

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

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

AnySequence<Element> хранит последовательность за type-erased-обёрткой и предоставляет наружу единый интерфейс Sequence. Внутри обёртка делегирует создание итератора и получение элементов исходной последовательности.

func numbers(_ cached: Bool) -> AnySequence<Int> {
    if cached {
        return AnySequence([1, 2, 3])
    }
    return AnySequence(stride(from: 1, through: 5, by: 2))
}

for value in numbers(false) {
    print(value)
}

Обе ветви возвращают AnySequence<Int>, хотя исходные типы различаются. Вызвавший код знает только, что элементы имеют тип Int, а не то, хранятся ли они в массиве или вычисляются генератором.

Цена решения — дополнительный уровень абстракции: вызовы могут проходить через замыкания или косвенную диспетчеризацию, поэтому в горячем цикле обобщённый API иногда эффективнее. AnySequence следует выбирать ради границы API и сокрытия реализации, а не как универсальную замену Array или some Sequence.

some Sequence также скрывает конкретный тип, но возвращаемая функция обязана выбрать один конкретный тип результата. Если возможны разные типы в разных ветвях, some Sequence обычно недостаточно без общей обёртки. AnySequence специально решает задачу объединения таких вариантов под единым стираемым типом.

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

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

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

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

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

Делает ли AnySequence последовательность повторно обходной?

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

Чем AnySequence отличается от some Sequence?

some Sequence скрывает один конкретный тип, выбранный реализацией функции. Все вызовы такого API используют этот скрытый тип, даже если вызывающий код его не видит. AnySequence стирает тип через обёртку и позволяет представить под единым внешним типом разные конкретные последовательности.

Почему AnySequence может быть не лучшим выбором для производительного внутреннего кода?

Стирание типа скрывает оптимизируемую компилятором конкретную реализацию и может добавить косвенные вызовы. Кроме того, абстракция Sequence не обещает быстрый доступ по индексу или известный размер. В критичном участке лучше сохранить обобщённый параметр, если границы API не требуют type erasure.