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

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

try:
    raise ValueError("bad data")
except Exception:
    print("общая ошибка")
except ValueError:
    print("ошибка значения")

В этом примере будет напечатано общая ошибка: ValueError является подклассом Exception, но до специфичного обработчика выполнение уже не дойдёт.

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

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

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

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

Один и тот же объект исключения может подходить нескольким обработчикам из-за наследования. Например, ValueError подходит и для except ValueError, и для except Exception.

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

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

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

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

Специализированные исключения следует располагать перед базовыми:

сначала конкретные классы, например FileNotFoundError;
затем более общие, например OSError;
except Exception — обычно последним защитным обработчиком.

Обработчик except BaseException также перехватывает системные исключения вроде KeyboardInterrupt и SystemExit, поэтому без особой причины его использовать не следует. Обычно прикладной код обрабатывает Exception, не вмешиваясь в сигналы завершения и прерывания.

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

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

Сервис разбирает входные данные и должен отдельно сообщать о неверном формате, но не скрывать неожиданные ошибки. Вариант с одним except Exception прост, однако он смешивает ошибки данных с дефектами программы и ухудшает диагностику.

Вариант с обработчиками в неверном порядке — сначала Exception, затем ValueError — формально работает, но специфичная ветка становится недостижимой. Вариант с обработкой только ValueError точнее, но ошибки ввода-вывода или другие ожидаемые сбои могут неконтролируемо выйти наружу.

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

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

1. Что произойдёт, если в одном except указать кортеж типов, часть которых является базовыми классами других?

Исключение будет считаться подходящим, если оно совместимо хотя бы с одним типом из кортежа. Порядок типов внутри кортежа не выбирает обработчик: это один обработчик с условием «подходит любой тип». Дублирование родительского и дочернего класса обычно избыточно и не меняет результат.

2. Почему перестановка двух except может изменить не только сообщение, но и состояние программы?

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

3. Чем отличается отсутствие подходящего except от ошибки, возникшей внутри обработчика?

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