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

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

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

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

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

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

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

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

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

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

let names = ["Анна", "Борис", "Вера"]
let scores = [10, 20]

for (name, score) in zip(names, scores) {
    print(name, score)
}

В результате будут обработаны пары Анна–10 и Борис–20; имя Вера останется без пары. Результат zip ленивый: элементы формируются по мере обхода, а не обязательно создаются все сразу.

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

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

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

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

Рассматривались варианты:

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

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

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

Сохраняет ли zip все элементы более длинной последовательности?

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

Является ли результат zip массивом?

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

Что произойдёт, если одна из последовательностей бесконечная?

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

Это следствие того, что завершение определяется первым исчерпанным источником, а не попыткой вычислить длины заранее.