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

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

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

Конструкция with появилась в Python для структурированного управления ресурсами: файлами, блокировками, соединениями и временными изменениями состояния. Она заменяет ручной шаблон с try и finally, уменьшая риск забыть освобождение ресурса при исключении или раннем выходе.

Модель контекстного менеджера специально учитывает не только исключения, но и обычное управление потоком: return, break и continue. Поэтому код выхода выполняется независимо от того, каким способом завершается тело блока.

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

Разработчик может ошибочно считать, что return немедленно покидает функцию и код после него уже не выполняется. В блоке with это неверно: перед фактическим возвратом управление передаётся методу __exit__.

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

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

Упрощённо выполнение with можно представить так: Python вызывает __enter__, выполняет тело блока, сохраняет информацию о способе выхода, затем вызывает __exit__. При нормальном завершении, включая return, параметры исключения имеют значения None.

Значение выражения return вычисляется до вызова __exit__. Сам возврат откладывается до тех пор, пока __exit__ не завершится. Возвращаемое значение __exit__ влияет на подавление исключений, но не отменяет обычный return: при нормальном выходе результат функции не подавляется значением True.

class LogContext:
    def __enter__(self):
        print('enter')

    def __exit__(self, exc_type, exc, tb):
        print('exit', exc_type)
        return True


def get_value():
    with LogContext():
        return 42

print(get_value())

В этом примере сначала будет напечатано enter, затем exit None, после чего функция вернёт 42. Если заменить тело __exit__ на raise RuntimeError('cleanup failed'), 42 уже не будет возвращено: наружу выйдет RuntimeError.

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

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

Сервис временно захватывает блокировку и возвращает результат из середины функции. Вариант с ручным try и finally возможен, но при нескольких точках выхода становится сложнее проверять, что освобождение выполнится всегда. Вариант с with явно связывает время жизни блокировки с областью кода и гарантирует вызов __exit__ перед возвратом.

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

Выбранный подход — with с аккуратной реализацией __exit__: освобождение выполняется всегда, а исключения очистки не подавляются без явной причины. Это сохраняет предсказуемость поведения и облегчает диагностику отказов.

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

Может ли __exit__ изменить возвращаемое значение функции?

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

Получает ли __exit__ информацию о return через аргументы exc_type, exc и tb?

Нет. При return исключение не возникает, поэтому все три аргумента равны None. По этим аргументам нельзя отличить обычное достижение конца блока от выхода через return; для такого различия нужна отдельная логика, но обычно она не требуется.

Что произойдёт, если __exit__ вернёт True при выходе через return?

Ничего существенного для результата return: функция всё равно вернёт ранее вычисленное значение, если __exit__ завершится нормально. Значение True используется для подавления исключения, возникшего в теле with, поэтому при нормальном выходе оно не меняет поведение.