contextlib —- 为 with语句上下文提供的工具

源代码 Lib/contextlib.py


此模块为涉及 with 语句的常见任务提供了实用的工具。更多信息请参见 上下文管理器类型with 语句上下文管理器

工具

提供的函数和类:

class contextlib.AbstractContextManager

一个为实现了 object.__enter__()object.__exit__() 的类提供的 abstract base class。为 object.__enter__() 提供的一个默认实现是返回 selfobject.__exit__() 是一个默认返回 None 的抽象方法。 参见 上下文管理器类型 的定义。

3.6 新版功能.

class contextlib.AbstractAsyncContextManager

一个为实现了 object.__aenter__()object.__aexit__() 的类提供的 abstract base class。 为 object.__aenter__() 提供的一个默认实现是返回 selfobject.__aexit__() 是一个默认返回 None 的抽象方法。 参见 异步上下文管理器 的定义。

3.7 新版功能.

@contextlib.contextmanager

这个函数是一个 decorator ,它可以定义一个支持 with 语句上下文管理器的工厂函数, 而不需要创建一个类或区 __enter__()__exit__() 方法。

尽管许多对象原生支持使用 with 语句,但有些需要被管理的资源并不是上下文管理器,并且没有实现 close() 方法而不能使用 contextlib.closing

下面是一个抽象的示例,展示如何确保正确的资源管理:

  1. from contextlib import contextmanager
  2. @contextmanager
  3. def managed_resource(*args, **kwds):
  4. # Code to acquire resource, e.g.:
  5. resource = acquire_resource(*args, **kwds)
  6. try:
  7. yield resource
  8. finally:
  9. # Code to release resource, e.g.:
  10. release_resource(resource)

The function can then be used like this:

  1. >>> with managed_resource(timeout=3600) as resource:
  2. ... # Resource is released at the end of this block,
  3. ... # even if code in the block raises an exception

被装饰的函数在被调用时,必须返回一个 generator 迭代器。 这个迭代器必须只 yield 一个值出来,这个值会被用在 with 语句中,绑定到 as 后面的变量,如果给定了的话。

当生成器发生 yield 时,嵌套在 with 语句中的语句体会被执行。 语句体执行完毕离开之后,该生成器将被恢复执行。 如果在该语句体中发生了未处理的异常,则该异常会在生成器发生 yield 时重新被引发。 因此,你可以使用 tryexceptfinally 语句来捕获该异常(如果有的话),或确保进行了一些清理。 如果仅出于记录日志或执行某些操作(而非完全抑制异常)的目的捕获了异常,生成器必须重新引发该异常。 否则生成器的上下文管理器将向 with 语句指示该异常已经被处理,程序将立即在 with 语句之后恢复并继续执行。

contextmanager() 使用 ContextDecorator 因此它创建的上下文管理器不仅可以用在 with 语句中,还可以用作一个装饰器。当它用作一个装饰器时,每一次函数调用时都会隐式创建一个新的生成器实例(这使得 contextmanager() 创建的上下文管理器满足了支持多次调用以用作装饰器的需求,而非“一次性”的上下文管理器)。

在 3.2 版更改: ContextDecorator 的使用。

@contextlib.asynccontextmanager

contextmanager() 类似,但创建的是 asynchronous context manager

这个函数是一个 decorator ,它可以定义一个支持 async with 语句的异步上下文管理器的工厂函数, 而不需要创建一个类或区分 __aenter__()__aexit__() 方法。它必须被作用在一个 asynchronous generator 函数上

一个简单的示例:

  1. from contextlib import asynccontextmanager
  2. @asynccontextmanager
  3. async def get_connection():
  4. conn = await acquire_db_connection()
  5. try:
  6. yield conn
  7. finally:
  8. await release_db_connection(conn)
  9. async def get_all_users():
  10. async with get_connection() as conn:
  11. return conn.query('SELECT ...')

3.7 新版功能.

使用 asynccontextmanager() 定义的上下文管理器可以用作装饰器,也可以在 async with 语句中使用。

  1. import time
  2. from contextlib import asynccontextmanager
  3. @asynccontextmanager
  4. async def timeit():
  5. now = time.monotonic()
  6. try:
  7. yield
  8. finally:
  9. print(f'it took {time.monotonic() - now}s to run')
  10. @timeit()
  11. async def main():
  12. # ... async code ...

用作装饰器时,每次函数调用都会隐式创建一个新的生成器实例。这使得由 asynccontextmanager() 创建的 “一次性” 上下文管理器能够满足作为装饰器所需要的支持多次调用的要求。

在 3.10 版更改: 使用 asynccontextmanager() 创建的异步上下文管理器可以用作装饰器。

contextlib.closing(thing)

返回一个在语句块执行完成时关闭 things 的上下文管理器。这基本上等价于:

  1. from contextlib import contextmanager
  2. @contextmanager
  3. def closing(thing):
  4. try:
  5. yield thing
  6. finally:
  7. thing.close()

并允许你编写这样的代码:

  1. from contextlib import closing
  2. from urllib.request import urlopen
  3. with closing(urlopen('https://www.python.org')) as page:
  4. for line in page:
  5. print(line)

而无需显式地关闭 page 。 即使发生错误,在退出 with 语句块时, page.close() 也同样会被调用。

contextlib.aclosing(thing)

返回一个在语句块执行完成时调用 aclose() 方法来关闭 things 的异步上下文管理器。这基本上等价于:

  1. from contextlib import asynccontextmanager
  2. @asynccontextmanager
  3. async def aclosing(thing):
  4. try:
  5. yield thing
  6. finally:
  7. await thing.aclose()

重要的是,aclosing() 支持在异步生成器因遭遇 break 或异常而提前退出时对其执行确定性的清理。 例如:

  1. from contextlib import aclosing
  2. async with aclosing(my_generator()) as values:
  3. async for value in values:
  4. if value == 42:
  5. break

此模块将确保生成器的异步退出代码在与其迭代相同的上下文中执行(这样异常和上下文变量将能按预期工作,并且退出代码不会在其所依赖的某些任务的生命期结束后继续运行)。

3.10 新版功能.

contextlib.nullcontext(enter_result=None)

返回一个从 __enter__ 返回 enter_result 的上下文管理器,除此之外不执行任何操作。它旨在用于可选上下文管理器的一种替代,例如:

  1. def myfunction(arg, ignore_exceptions=False):
  2. if ignore_exceptions:
  3. # Use suppress to ignore all exceptions.
  4. cm = contextlib.suppress(Exception)
  5. else:
  6. # Do not ignore any exceptions, cm has no effect.
  7. cm = contextlib.nullcontext()
  8. with cm:
  9. # Do something

一个使用 enter_result 的例子:

  1. def process_file(file_or_path):
  2. if isinstance(file_or_path, str):
  3. # If string, open file
  4. cm = open(file_or_path)
  5. else:
  6. # Caller is responsible for closing file
  7. cm = nullcontext(file_or_path)
  8. with cm as file:
  9. # Perform processing on the file

它也可以替代 asynchronous context managers

  1. async def send_http(session=None):
  2. if not session:
  3. # If no http session, create it with aiohttp
  4. cm = aiohttp.ClientSession()
  5. else:
  6. # Caller is responsible for closing the session
  7. cm = nullcontext(session)
  8. async with cm as session:
  9. # Send http requests with session

3.7 新版功能.

在 3.10 版更改: 增加了对 asynchronous context manager 的支持。

contextlib.suppress(\exceptions*)

返回一个当指定的异常在 with 语句体中发生时会屏蔽它们然后从 with 语句结束后的第一条语言开始恢复执行的上下文管理器。

与完全抑制异常的任何其他机制一样,该上下文管理器应当只用来抑制非常具体的错误,并确保该场景下静默地继续执行程序是通用的正确做法。

例如:

  1. from contextlib import suppress
  2. with suppress(FileNotFoundError):
  3. os.remove('somefile.tmp')
  4. with suppress(FileNotFoundError):
  5. os.remove('someotherfile.tmp')

这段代码等价于:

  1. try:
  2. os.remove('somefile.tmp')
  3. except FileNotFoundError:
  4. pass
  5. try:
  6. os.remove('someotherfile.tmp')
  7. except FileNotFoundError:
  8. pass

该上下文管理器是 reentrant

3.4 新版功能.

contextlib.redirect_stdout(new_target)

用于将 sys.stdout 临时重定向到一个文件或类文件对象的上下文管理器。

该工具给已有的将输出硬编码写到 stdout 的函数或类提供了额外的灵活性。

例如, help() 的输出通常会被发送到 sys.stdout。 你可以通过将输出重定向到一个 io.StringIO 对象来将该输出捕获到字符串。 替换的流是由 __enter__ 返回的因此可以被用作 with 语句的目标:

  1. with redirect_stdout(io.StringIO()) as f:
  2. help(pow)
  3. s = f.getvalue()

如果要把 help() 的输出写到磁盘上的一个文件,重定向该输出到一个常规文件:

  1. with open('help.txt', 'w') as f:
  2. with redirect_stdout(f):
  3. help(pow)

如果要把 help() 的输出写到 sys.stderr

  1. with redirect_stdout(sys.stderr):
  2. help(pow)

需要注意的点在于, sys.stdout 的全局副作用意味着此上下文管理器不适合在库代码和大多数多线程应用程序中使用。它对子进程的输出没有影响。不过对于许多工具脚本而言,它仍然是一个有用的方法。

该上下文管理器是 reentrant

3.4 新版功能.

contextlib.redirect_stderr(new_target)

redirect_stdout() 类似,不过是将 sys.stderr 重定向到一个文件或类文件对象。

该上下文管理器是 reentrant

3.5 新版功能.

contextlib.chdir(path)

Non parallel-safe context manager to change the current working directory. As this changes a global state, the working directory, it is not suitable for use in most threaded or async contexts. It is also not suitable for most non-linear code execution, like generators, where the program execution is temporarily relinquished — unless explicitly desired, you should not yield when this context manager is active.

This is a simple wrapper around chdir(), it changes the current working directory upon entering and restores the old one on exit.

该上下文管理器是 reentrant

3.11 新版功能.

class contextlib.ContextDecorator

一个使上下文管理器能用作装饰器的基类。

与往常一样,继承自 ContextDecorator 的上下文管理器必须实现 __enter____exit__ 。即使用作装饰器, __exit__ 依旧会保持可能的异常处理。

ContextDecorator 被用在 contextmanager() 中,因此你自然获得了这项功能。

ContextDecorator 的示例:

  1. from contextlib import ContextDecorator
  2. class mycontext(ContextDecorator):
  3. def __enter__(self):
  4. print('Starting')
  5. return self
  6. def __exit__(self, *exc):
  7. print('Finishing')
  8. return False

The class can then be used like this:

  1. >>> @mycontext()
  2. ... def function():
  3. ... print('The bit in the middle')
  4. ...
  5. >>> function()
  6. Starting
  7. The bit in the middle
  8. Finishing
  9. >>> with mycontext():
  10. ... print('The bit in the middle')
  11. ...
  12. Starting
  13. The bit in the middle
  14. Finishing

这个改动只是针对如下形式的一个语法糖:

  1. def f():
  2. with cm():
  3. # Do stuff

ContextDecorator 使得你可以这样改写:

  1. @cm()
  2. def f():
  3. # Do stuff

这能清楚地表明, cm 作用于整个函数,而不仅仅是函数的一部分(同时也能保持不错的缩进层级)。

现有的上下文管理器即使已经有基类,也可以使用 ContextDecorator 作为混合类进行扩展:

  1. from contextlib import ContextDecorator
  2. class mycontext(ContextBaseClass, ContextDecorator):
  3. def __enter__(self):
  4. return self
  5. def __exit__(self, *exc):
  6. return False

备注

由于被装饰的函数必须能够被多次调用,因此对应的上下文管理器必须支持在多个 with 语句中使用。如果不是这样,则应当使用原来的具有显式 with 语句的形式使用该上下文管理器。

3.2 新版功能.

class contextlib.AsyncContextDecorator

ContextDecorator 类似,但是用于异步函数。

AsyncContextDecorator 的示例:

  1. from asyncio import run
  2. from contextlib import AsyncContextDecorator
  3. class mycontext(AsyncContextDecorator):
  4. async def __aenter__(self):
  5. print('Starting')
  6. return self
  7. async def __aexit__(self, *exc):
  8. print('Finishing')
  9. return False

The class can then be used like this:

  1. >>> @mycontext()
  2. ... async def function():
  3. ... print('The bit in the middle')
  4. ...
  5. >>> run(function())
  6. Starting
  7. The bit in the middle
  8. Finishing
  9. >>> async def function():
  10. ... async with mycontext():
  11. ... print('The bit in the middle')
  12. ...
  13. >>> run(function())
  14. Starting
  15. The bit in the middle
  16. Finishing

3.10 新版功能.

class contextlib.ExitStack

该上下文管理器的设计目标是使得在编码中组合其他上下文管理器和清理函数更加容易,尤其是那些可选的或由输入数据驱动的上下文管理器。

例如,通过一个如下的 with 语句可以很容易处理一组文件:

  1. with ExitStack() as stack:
  2. files = [stack.enter_context(open(fname)) for fname in filenames]
  3. # All opened files will automatically be closed at the end of
  4. # the with statement, even if attempts to open files later
  5. # in the list raise an exception

__enter__() 方法返回 ExitStack 实例,并且不会执行额外的操作。

每个实例维护一个注册了一组回调的栈,这些回调在实例关闭时以相反的顺序被调用(显式或隐式地在 with 语句的末尾)。请注意,当一个栈实例被垃圾回收时,这些回调将 不会 被隐式调用。

通过使用这个基于栈的模型,那些通过 __init__ 方法获取资源的上下文管理器(如文件对象)能够被正确处理。

由于注册的回调函数是按照与注册相反的顺序调用的,因此最终的行为就像多个嵌套的 with 语句用在这些注册的回调函数上。这个行为甚至扩展到了异常处理:如果内部的回调函数抑制或替换了异常,则外部回调收到的参数是基于该更新后的状态得到的。

这是一个相对底层的 API,它负责正确处理栈里回调退出时依次展开的细节。它为相对高层的上下文管理器提供了一个合适的基础,使得它能根据应用程序的需求使用特定方式操作栈。

3.3 新版功能.

  • enter_context(cm)

    进入一个新的上下文管理器并将其 __exit__() 方法添加到回调栈中。 返回值是该上下文管理器自己的 __enter__() 方法的输出结果。

    这些上下文管理器可能会屏蔽异常就如当它们作为 with 语句的一部分直接使用时通常表现的行为一样。

    在 3.11 版更改: Raises TypeError instead of AttributeError if cm is not a context manager.

  • push(exit)

    将一个上下文管理器的 __exit__() 方法添加到回调栈。

    由于 __enter__ 没有 被发起调用,此方法可以被用来通过一个上下文管理器自己的 __exit__() 覆盖 __enter__() 的部分实现。

    如果传递了一个不是上下文管理器的对象,此方法将假定它是一个回调 具有与上下文管理器的 __exit__() 方法相同的签名的回调并会直接将其添加到回调栈中。

    通过返回真值,这些回调可以通过与上下文管理器 __exit__() 方法相同的方式屏蔽异常。

    传入的对象将被该函数返回,允许此方法作为函数装饰器使用。

  • callback(callback, /, \args, **kwds*)

    接受一个任意的回调函数和参数并将其添加到回调栈。

    与其他方法不同,通过此方式添加的回调无法屏蔽异常(因为异常的细节不会被传递给它们)。

    传入的回调将被该函数返回,允许此方法作为函数装饰器使用。

  • pop_all()

    将回调栈传输到一个新的 ExitStack 实例并返回它。 此操作不会发起调用任何回调 —— 作为替代,现在当新栈被关闭时它们将(显式地或是在一条 with 语句结束时隐式地)被发起调用。

    例如,一组文件可以像下面这样以“一个都不能少”的操作方式被打开:

    1. with ExitStack() as stack:
    2. files = [stack.enter_context(open(fname)) for fname in filenames]
    3. # Hold onto the close method, but don't call it yet.
    4. close_files = stack.pop_all().close
    5. # If opening any file fails, all previously opened files will be
    6. # closed automatically. If all files are opened successfully,
    7. # they will remain open even after the with statement ends.
    8. # close_files() can then be invoked explicitly to close them all.
  • close()

    立即展开回调栈,按注册时的相反顺序发起调用其中的回调。 对于任何已注册的上下文管理器和退出回调,传入的参数将表明没有发生异常。

class contextlib.AsyncExitStack

一个 异步上下文管理器,类似于 ExitStack,它支持组合同步和异步上下文管理器,并拥有针对清理逻辑的协程。

close() 方法没有被实现,使用 aclose() 替代。

  • coroutine enter_async_context(cm)

    enter_context() 相似,但是需要一个异步上下文管理器。

    在 3.11 版更改: Raises TypeError instead of AttributeError if cm is not an asynchronous context manager.

  • push_async_exit(exit)

    push() 相似,但是需要一个异步上下文管理器或协程函数。

  • push_async_callback(callback, /, \args, **kwds*)

    callback() 相似,但是需要一个协程函数。

  • coroutine aclose()

    close() 相似,但是它正确处理了可等待对象。

asynccontextmanager() 的例子继续:

  1. async with AsyncExitStack() as stack:
  2. connections = [await stack.enter_async_context(get_connection())
  3. for i in range(5)]
  4. # All opened connections will automatically be released at the end of
  5. # the async with statement, even if attempts to open a connection
  6. # later in the list raise an exception.

3.7 新版功能.

例子和配方

本节描述了一些用于有效利用 contextlib 所提供的工具的示例和步骤说明。

支持可变数量的上下文管理器

ExitStack 的主要应用场景已在该类的文档中给出:在单个 with 语句中支持可变数量的上下文管理器和其他清理操作。 这个可变性可以来自通过用户输入驱动所需的上下文管理器数量(例如打开用户所指定的文件集),或者来自将某些上下文管理器作为可选项。

  1. with ExitStack() as stack:
  2. for resource in resources:
  3. stack.enter_context(resource)
  4. if need_special_resource():
  5. special = acquire_special_resource()
  6. stack.callback(release_special_resource, special)
  7. # Perform operations that use the acquired resources

如上所示,ExitStack 还让使用 with 语句来管理任意非原生支持上下文管理协议的资源变得相当容易。

捕获 __enter__ 方法产生的异常

有时人们会想要从 __enter__ 方法的实现中捕获异常,而 不会 无意中捕获来自 with 语句体或上下文管理器的 __exit__ 方法的异常。 通过使用 ExitStack 可以将上下文管理协议中的步骤稍微分开以允许这样做:

  1. stack = ExitStack()
  2. try:
  3. x = stack.enter_context(cm)
  4. except Exception:
  5. # handle __enter__ exception
  6. else:
  7. with stack:
  8. # Handle normal case

实际上需要这样做很可能表明下层的 API 应该提供一个直接的资源管理接口以便与 try/except/finally 语句配合使用,但并不是所有的 API 在这方面都设计得很好。 当上下文管理器是所提供的唯一资源管理 API 时,则 ExitStack 可以让处理各种无法在 with 语句中直接处理的情况变得更为容易。

在一个 __enter__ 方法的实现中进行清理

正如 ExitStack.push() 的文档中所指出,如果在 __enter__() 实现中的后续步骤失败则此方法在清理已分配的资源时将很有用处。

下面是为一个上下文管理器做这件事的例子,该上下文管理器可接受资源获取和释放函数,以及可选的验证函数,并将它们映射到上下文管理协议:

  1. from contextlib import contextmanager, AbstractContextManager, ExitStack
  2. class ResourceManager(AbstractContextManager):
  3. def __init__(self, acquire_resource, release_resource, check_resource_ok=None):
  4. self.acquire_resource = acquire_resource
  5. self.release_resource = release_resource
  6. if check_resource_ok is None:
  7. def check_resource_ok(resource):
  8. return True
  9. self.check_resource_ok = check_resource_ok
  10. @contextmanager
  11. def _cleanup_on_error(self):
  12. with ExitStack() as stack:
  13. stack.push(self)
  14. yield
  15. # The validation check passed and didn't raise an exception
  16. # Accordingly, we want to keep the resource, and pass it
  17. # back to our caller
  18. stack.pop_all()
  19. def __enter__(self):
  20. resource = self.acquire_resource()
  21. with self._cleanup_on_error():
  22. if not self.check_resource_ok(resource):
  23. msg = "Failed validation for {!r}"
  24. raise RuntimeError(msg.format(resource))
  25. return resource
  26. def __exit__(self, *exc_details):
  27. # We don't need to duplicate any of our resource release logic
  28. self.release_resource()

替换任何对 try-finally 和旗标变量的使用

一种你有时将看到的模式是 try-finally 语句附带一个旗标变量来指明 finally 子句体是否要被执行。 在其最简单的形式中(它无法仅仅通过改用一条 except 子句来预先处理),看起来会是这样:

  1. cleanup_needed = True
  2. try:
  3. result = perform_operation()
  4. if result:
  5. cleanup_needed = False
  6. finally:
  7. if cleanup_needed:
  8. cleanup_resources()

就如任何基于 try 语句的代码一样,这可能会导致开发和审查方面的问题,因为设置代码和清理代码最终可能会被任意长的代码部分所分隔。

ExitStack 将允许选择在一条 with 语句末尾注册一个用于执行的回调的替代方式,等以后再决定是否跳过该回调的执行:

  1. from contextlib import ExitStack
  2. with ExitStack() as stack:
  3. stack.callback(cleanup_resources)
  4. result = perform_operation()
  5. if result:
  6. stack.pop_all()

这允许在事先显式地指明预期的清理行为,而不需要一个单独的旗标变量。

如果某个应用程序大量使用此模式,则可以通过使用一个较小的辅助类来进一步地简化它:

  1. from contextlib import ExitStack
  2. class Callback(ExitStack):
  3. def __init__(self, callback, /, *args, **kwds):
  4. super().__init__()
  5. self.callback(callback, *args, **kwds)
  6. def cancel(self):
  7. self.pop_all()
  8. with Callback(cleanup_resources) as cb:
  9. result = perform_operation()
  10. if result:
  11. cb.cancel()

如果资源清理操作尚未完善地捆绑到一个独立的函数中,则仍然可以使用 ExitStack.callback() 的装饰器形式来提前声明资源清理:

  1. from contextlib import ExitStack
  2. with ExitStack() as stack:
  3. @stack.callback
  4. def cleanup_resources():
  5. ...
  6. result = perform_operation()
  7. if result:
  8. stack.pop_all()

受装饰器协议工作方式的影响,以此方式声明的回调函数无法接受任何形参。 作为替代,任何要释放的资源必须作为闭包变量来访问。

将上下文管理器作为函数装饰器使用

ContextDecorator 类允许将上下文管理器作为函数装饰器使用,而不仅在 with 语句块中使用。

例如,有时将函数或语句组包装在一个可以跟踪进入和退出时间的记录器中是很有用的。 与其为任务同时编写函数装饰器和上下文管理器,不如继承 ContextDecorator 在一个定义中同时提供这两种能力:

  1. from contextlib import ContextDecorator
  2. import logging
  3. logging.basicConfig(level=logging.INFO)
  4. class track_entry_and_exit(ContextDecorator):
  5. def __init__(self, name):
  6. self.name = name
  7. def __enter__(self):
  8. logging.info('Entering: %s', self.name)
  9. def __exit__(self, exc_type, exc, exc_tb):
  10. logging.info('Exiting: %s', self.name)

这个类的实例既可以被用作上下文管理器:

  1. with track_entry_and_exit('widget loader'):
  2. print('Some time consuming activity goes here')
  3. load_widget()

也可以被用作函数装饰器:

  1. @track_entry_and_exit('widget loader')
  2. def activity():
  3. print('Some time consuming activity goes here')
  4. load_widget()

使用上下文管理器作为函数装饰器时,有一个额外限制:没有办法得到 __enter__() 的返回值。如果需要返回值,你仍然需要显式使用 with 语句。

参见

PEP 343 - “with” 语句

Python with 语句的规范描述、背景和示例。

单独使用,可重用并可重进入的上下文管理器

大多数上下文管理器的编写方式意味着它们只能在一个 with 语句中被有效使用一次。 这些一次性使用的上下文管理器必须在每次被使用时重新创建 —— 试图第二次使用它们将会触发异常或是不能正确工作。

这个常见的限制意味着通常来说都建议在 with 语句开头上下文管理器被使用的位置直接创建它们(如下面所有的使用示例所显示的)。

文件是一个高效的单次使用上下文管理器的例子,因为第一个 with 语句将关闭文件,防止任何后续的使用该文件对象的 IO 操作。

使用 contextmanager() 创建的上下文管理器也是单次使用的上下文管理器,并会在试图第二次使用它们时报告下层生成器无法执行产生操作:

  1. >>> from contextlib import contextmanager
  2. >>> @contextmanager
  3. ... def singleuse():
  4. ... print("Before")
  5. ... yield
  6. ... print("After")
  7. ...
  8. >>> cm = singleuse()
  9. >>> with cm:
  10. ... pass
  11. ...
  12. Before
  13. After
  14. >>> with cm:
  15. ... pass
  16. ...
  17. Traceback (most recent call last):
  18. ...
  19. RuntimeError: generator didn't yield

重进入上下文管理器

更复杂的上下文管理器可以“重进入”。 这些上下文管理器不但可以被用于多个 with 语句中,还可以被用于已经在使用同一个上下文管理器的 with 语句 内部

threading.RLock is an example of a reentrant context manager, as are suppress(), redirect_stdout(), and chdir(). Here’s a very simple example of reentrant use:

  1. >>> from contextlib import redirect_stdout
  2. >>> from io import StringIO
  3. >>> stream = StringIO()
  4. >>> write_to_stream = redirect_stdout(stream)
  5. >>> with write_to_stream:
  6. ... print("This is written to the stream rather than stdout")
  7. ... with write_to_stream:
  8. ... print("This is also written to the stream")
  9. ...
  10. >>> print("This is written directly to stdout")
  11. This is written directly to stdout
  12. >>> print(stream.getvalue())
  13. This is written to the stream rather than stdout
  14. This is also written to the stream

现实世界的可重入例子更可能涉及到多个函数的相互调用因此会比这个例子要复杂得多。

还要注意可重入与线程安全 不是 一回事。 举例来说,redirect_stdout() 肯定不是线程安全的,因为它会通过将 sys.stdout 绑定到一个不同的流对系统状态做了全局性的修改。

可重用的上下文管理器

与单次使用和可重入上下文管理器都不同的还有“可重用”上下文管理器(或者,使用完全显式的表达应为“可重用,但不可重入”上下文管理器,因为可重入上下文管理器也会是可重用的)。 这些上下文管理器支持多次使用,但如果特定的上下文管理器实例已经在包含它的 with 语句中被使用过则将失败(或者不能正确工作)。

threading.Lock 是一个可重用,但是不可重入的上下文管理器的例子(对于可重入锁,则有必要使用 threading.RLock 来代替)。

另一个可重用,但不可重入的上下文管理器的例子是 ExitStack,因为它在离开任何 with 语句时会发起调用 所有 当前已注册的回调,不论回调是在哪里添加的:

  1. >>> from contextlib import ExitStack
  2. >>> stack = ExitStack()
  3. >>> with stack:
  4. ... stack.callback(print, "Callback: from first context")
  5. ... print("Leaving first context")
  6. ...
  7. Leaving first context
  8. Callback: from first context
  9. >>> with stack:
  10. ... stack.callback(print, "Callback: from second context")
  11. ... print("Leaving second context")
  12. ...
  13. Leaving second context
  14. Callback: from second context
  15. >>> with stack:
  16. ... stack.callback(print, "Callback: from outer context")
  17. ... with stack:
  18. ... stack.callback(print, "Callback: from inner context")
  19. ... print("Leaving inner context")
  20. ... print("Leaving outer context")
  21. ...
  22. Leaving inner context
  23. Callback: from inner context
  24. Callback: from outer context
  25. Leaving outer context

正如这个例子的输出所显示的,在多个 with 语句中重用一个单独的栈对象可以正确工作,但调试嵌套它们就将导致栈在最内层的 with 语句结束时被清空,这不大可能是符合期望的行为。

使用单独的 ExitStack 实例而不是重复使用一个实例可以避免此问题:

  1. >>> from contextlib import ExitStack
  2. >>> with ExitStack() as outer_stack:
  3. ... outer_stack.callback(print, "Callback: from outer context")
  4. ... with ExitStack() as inner_stack:
  5. ... inner_stack.callback(print, "Callback: from inner context")
  6. ... print("Leaving inner context")
  7. ... print("Leaving outer context")
  8. ...
  9. Leaving inner context
  10. Callback: from inner context
  11. Leaving outer context
  12. Callback: from outer context