«с возвращением .. возврат» недостижимый код?

Question

PyCharm предупреждает об этом коде, говоря последнее возвращение недостижимо:

def foo(): 
    with open(...): 
     return 1 
    return 0 

Я ожидаю, что второе возвращение будет выполняться, если open() не удался. Кто прав?

Answer 1

PyCharm является правильным. Если open() сбой, возникает исключение, а не достигнуто ниreturn.

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