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

Цикл for перехватывает StopIteration только при вызове next() у итератора: это означает нормальный конец обхода. Если такое же исключение возникает внутри тела цикла, оно не считается штатным завершением и обычно выходит наружу.

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

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

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

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

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

Неверное понимание границы перехвата приводит к пропущенным данным, преждевременному завершению обработки или скрытым дефектам в генераторах и конвейерах данных.

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

Упрощённо цикл for выполняет следующие действия:

получает итератор через iter();
вызывает next();
передаёт полученное значение в тело цикла;
повторяет обход;
прекращает цикл только если именно вызов next() поднял StopIteration.

Исключение, возникшее во время выполнения тела цикла, находится за пределами этого внутреннего перехвата. Поэтому оно распространяется обычным образом.


def fail():
    raise StopIteration("ошибка в теле")

for _ in [1]:
    fail()

В этом примере StopIteration поднимает функция fail, а не итератор списка. Исключение не обозначает конец списка и будет передано наружу.

Есть важная особенность генераторов: если StopIteration выходит из тела генераторной функции непреднамеренно, Python преобразует его в RuntimeError. Это защищает потребителя от скрытого преждевременного завершения генератора. Явное завершение генератора через return обрабатывается отдельно и преобразуется в StopIteration на границе вызова next().

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

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

Сервис читает записи из потокового источника. Внутри тела цикла вызывается функция декодирования, которая из-за ошибки реализации поднимает StopIteration вместо собственного исключения.

Возможны три варианта:

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

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

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

Дополнительный вопрос: Что произойдёт, если сам метод __next__ поднимет StopIteration после частичной обработки элемента?

Ответ: Цикл немедленно завершится и не получит частично обработанный элемент. Метод __next__ должен либо вернуть полностью сформированный следующий элемент, либо поднять StopIteration, обозначая отсутствие следующего элемента. Если частичная работа уже изменила внешнее состояние, итератор может оставить побочный эффект, поэтому реализация __next__ должна сохранять атомарность настолько, насколько это возможно.
Дополнительный вопрос: Почему нельзя использовать StopIteration как обычное исключение для пропуска одной записи?

Ответ: Для цикла for StopIteration, поднятый итератором, означает завершение всего обхода, а не пропуск текущей записи. Чтобы пропустить элемент, итератор должен получить следующий элемент на следующем вызове __next__, а логика тела цикла должна использовать continue или вернуть специальный результат обработки. Использование StopIteration для локального пропуска преждевременно остановит потребителя.
Дополнительный вопрос: Как изменится поведение, если StopIteration возникнет внутри генераторной функции не на границе next()?

Ответ: В современном Python такой StopIteration не должен незаметно завершать генератор. Если он выходит из тела генераторной функции, Python преобразует его в RuntimeError, что позволяет обнаружить ошибку в коде генератора. Намеренное завершение следует оформлять через return; его значение станет атрибутом value исключения StopIteration, полученного потребителем на следующем вызове next().