Variable définie avec l'instruction with disponible en dehors de with-block?

Prenons l'exemple suivant:

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

J'ai lu la documentation du langage (2.7) pour with-statement ainsi que pour PEP-343, mais pour autant que je sache, ils ne disent rien à ce sujet.

Dans CPython 2.6.5 fsemble être défini en dehors du bloc with, mais je préfère ne pas me fier à un détail d'implémentation qui pourrait changer.

Oui, le gestionnaire de contexte sera disponible en dehors de l'instruction with et ne dépend pas de l'implémentation ou de la version. avec des instructions ne créent pas de nouvelle portée d'exécution.

la withsyntaxe:

with foo as bar:
    baz()

est approximativement du sucre pour:

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

Ceci est souvent utile. Par exemple

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

with myLock:
    frob_some_more()

le gestionnaire de contexte peut être utilisé plus d'une fois.

Dans le cas où il fs'agit d'un fichier, il apparaîtra fermé en dehors de la withdéclaration.

Par exemple, ce

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

imprimerait:

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

Vous pouvez trouver les détails dans PEP-0343 sous la section Spécification: La déclaration «avec» . Les règles de portée Python (qui peuvent être irritantes ) s'appliquent fégalement.

Pour répondre à la question de Heikki dans les commentaires: oui, ce comportement de cadrage fait partie de la spécification du langage python et fonctionnera sur tous les Pythons compatibles (qui incluent PyPy, Jython et IronPython).