zip молча потерял хвост данных: проверяем равную длину через strict

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

Если входы по контракту обязаны иметь одинаковую длину, используйте zip(..., strict=True). Тогда при обнаружении несовпадения итератор поднимет ValueError. Это не универсальное правило для всех zip: иногда усечение задумано. Важно выразить именно требование данного преобразования, чтобы отклонение не выглядело как обычное завершение цикла.

Равная длина как условие

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

def pair_results(ids, results):
    return list(zip(ids, results, strict=True))

assert pair_results(["a", "b"], [10, 20]) == [("a", 10), ("b", 20)]
try:
    pair_results(["a", "b"], [10])
except ValueError:
    print("mismatch rejected")
else:
    raise AssertionError("different lengths must fail")

Ленивость и частичные изменения

Запуск на Python 3.12 напечатает mismatch rejected. Уберите strict=True: второй вызов вернёт одну пару вместо ошибки. В Python 3.10 и новее параметр входит в стандартную библиотеку. Для массивов известного небольшого размера предварительная сборка списка проста и даёт понятную границу между проверкой структуры пакета и обработкой элементов.

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

Равная длина не доказывает правильное соответствие. Если результаты переставились местами, zip соединит одинаковое количество неправильных партнёров. Когда источник предоставляет ключи, лучше связывать по ключам и проверять пропуски и дубликаты. Позиционное соединение оправдано только при гарантированном сохранении порядка обеими сторонами.

Добавьте проверки для обоих направлений несовпадения: короче первый вход и короче второй. Затем проверьте пустые входы и правильный пакет. Если функция возвращает генератор, тест должен его полностью потребить, иначе ошибка хвоста останется невидимой. Такой небольшой тест полезен именно тем, что превращает предположение «списки всегда одинаковые» в наблюдаемое условие на границе обработки данных.

Когда локальный пример работает, полезно разобрать соседние механизмы языка и их взаимодействие. В курсе «Python для профессионалов» есть практика по итераторам, генераторам, декораторам, asyncio, метапрограммированию и профилированию. Эти темы помогают понимать время жизни объектов, управление выполнением и причины поведения прикладной программы.

Посмотреть программу и практику курса.

Документация: официальный источник по теме.

Другие задачи по теме: Типы, тесты и поведение программы.