Kontextmanager in Python: Aufräumen garantieren

Worum es geht

Ein Kontextmanager ist ein Objekt mit den Methoden __enter__ und __exit__. with manager as value: ruft __enter__ auf, bindet dessen Rückgabewert, führt den Block aus und ruft danach immer __exit__(type, value, traceback) auf – bei normalem Abschluss, bei return und bei einer Ausnahme. contextlib.contextmanager erstellt aus einer Generatorfunktion, die genau einmal yield ausführt, einen Kontextmanager; der Code vor yield ist das Setup, der Code danach (innerhalb von try/finally) ist das Aufräumen.

Warum es wichtig ist

Ressourcen, die freigegeben werden müssen – Datei-Handles, Sperren, Datenbank-Sessions, temporäre Verzeichnisse – werden an einem vorhersehbaren Punkt freigegeben, ohne try/finally an jeder Aufrufstelle zu wiederholen. Fehler innerhalb des Blocks werden weitergereicht, sofern __exit__ nicht einen wahren Wert zurückgibt, was Unterdrückung explizit macht statt versehentlich.

So wird es angewendet

• Die Kontextmanager der Standardbibliothek bevorzugen: open(), threading.Lock, tempfile.TemporaryDirectory, contextlib.suppress, contextlib.ExitStack für eine dynamische Anzahl Ressourcen.
• Für eigene Ressourcen eine Klasse oder einen generatorbasierten Manager schreiben; __exit__ kurz halten und nie eine neue Ausnahme auslösen lassen, die die ursprüngliche verdeckt.
• ExitStack verwenden, wenn die Menge der Ressourcen erst zur Laufzeit bekannt ist (etwa eine Liste von Dateien).

Stolpersteine

Ein generatorbasierter Manager, der try/finally vergisst, überspringt das Aufräumen bei Ausnahmen. True aus __exit__ zurückzugeben schluckt jede Art von Ausnahme, in manchen Entwürfen sogar KeyboardInterrupt; nur gezielt unterdrücken. Wird in asynchronem Code eine Sperre über ein await hinweg gehalten, braucht es die asynchronen Varianten (async with, contextlib.asynccontextmanager).