Variable definiert mit with-Anweisung außerhalb von with-block verfügbar?

Betrachten Sie das folgende Beispiel:

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

Ich habe die Sprachdokumente (2.7) für With-Statement sowie PEP-343 gelesen, aber soweit ich das beurteilen kann, sagen sie nichts dazu.

In CPython fscheint 2.6.5 außerhalb des With -Blocks definiert zu sein, aber ich möchte mich lieber nicht auf ein Implementierungsdetail verlassen, das sich ändern könnte.

Ja, der Kontextmanager ist außerhalb der with-Anweisung verfügbar und dies ist nicht implementierungs- oder versionabhängig. Mit Anweisungen wird kein neuer Ausführungsbereich erstellt.

die withSyntax:

with foo as bar:
    baz()

ist ungefähr Zucker für:

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

Dies ist oft nützlich. Beispielsweise

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

with myLock:
    frob_some_more()

Der Kontextmanager kann mehrmals von Nutzen sein.

Falls fes sich um eine Datei handelt, wird sie außerhalb der withAnweisung geschlossen angezeigt.

Zum Beispiel dies

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

würde drucken:

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

Sie finden die Details in PEP-0343 im Abschnitt Spezifikation: Die ' with' -Anweisung . Python-Bereichsregeln (die möglicherweise irritierend sind ) gelten fauch für.

Um Heikkis Frage in den Kommentaren zu beantworten: Ja, dieses Scoping-Verhalten ist Teil der Python-Sprachspezifikation und funktioniert für alle kompatiblen Pythons (einschließlich PyPy, Jython und IronPython).