Змінна, визначена with-statement, доступна за межами with-block?

Розглянемо наступний приклад:

with open('a.txt') as f:
    pass
# Is f supposed to be defined here?

Я прочитав мовні документи (2.7) для with-statement, а також PEP-343, але, наскільки я можу сказати, вони нічого не говорять з цього приводу.

У CPython 2.6.5 f, здається, визначається поза блоком with, але я волію не покладатися на деталі реалізації, які можуть змінитися.

Так, менеджер контексту буде доступний поза оператором with, і це не залежить від реалізації чи версії. з операторами не створюють нову область виконання.

withсинтаксис:

with foo as bar:
    baz()

приблизно становить цукор для:

try:
    bar = foo.__enter__()
    baz()
finally:
    if foo.__exit__(*sys.exc_info()) and sys.exc_info():
        raise

Це часто корисно. Наприклад

import threading
with threading.Lock() as myLock:
    frob()

with myLock:
    frob_some_more()

менеджер контексту може бути корисним більше одного разу.

Якщо fфайл є, він буде закритим поза withзаявою.

Наприклад, це

f = 42
print f
with open('6432134.py') as f:
    print f
print f

надрукував би:

42
<open file '6432134.py', mode 'r' at 0x10050fb70>
<closed file '6432134.py', mode 'r' at 0x10050fb70>

Ви можете знайти деталі в PEP-0343 у розділі Специфікація: Заява «з» . Правила обсягу Python (що може дратувати ) стосуються fтакож.

Щоб відповісти на запитання Хейккі в коментарях: так, така поведінка масштабування є частиною специфікації мови python і працюватиме на будь-якому сумісному Pythons (що включає PyPy, Jython та IronPython).