为什么这个上下文管理器与字典理解的行为不同？

我有一个上下文装饰器，完成后会产生副作用。我注意到，如果我使用字典理解，就不会出现副作用。

from contextlib import contextmanager
import traceback
import sys

accumulated = []

@contextmanager
def accumulate(s):
    try:
        yield
    finally:
        print("Appending %r to accumulated" % s)
        accumulated.append(s)

def iterate_and_accumulate(iterable):
    for item in iterable:
        with accumulate(item):
            yield item

def boom_unless_zero(i):
    if i > 0:
        raise RuntimeError("Boom!")

try:
    {i: boom_unless_zero(i) for i in iterate_and_accumulate([0, 1])}
except:
    traceback.print_exc()

print(accumulated)

print('\n=====\n')

try:
    {i: boom_unless_zero(i) for i in iterate_and_accumulate([0, 1])}
except:
    traceback.print_exc()

print(accumulated)
print('Finished!')

Output:

$ python2 boom3.py 
Appending 0 to accumulated
Traceback (most recent call last):
  File "boom3.py", line 25, in <module>
    {i: boom_unless_zero(i) for i in iterate_and_accumulate([0, 1])}
  File "boom3.py", line 25, in <dictcomp>
    {i: boom_unless_zero(i) for i in iterate_and_accumulate([0, 1])}
  File "boom3.py", line 22, in boom_unless_zero
    raise RuntimeError("Boom!")
RuntimeError: Boom!
[0]

=====

Appending 0 to accumulated
Appending 1 to accumulated
Traceback (most recent call last):
  File "boom3.py", line 34, in <module>
    {i: boom_unless_zero(i) for i in iterate_and_accumulate([0, 1])}
  File "boom3.py", line 34, in <dictcomp>
    {i: boom_unless_zero(i) for i in iterate_and_accumulate([0, 1])}
  File "boom3.py", line 22, in boom_unless_zero
    raise RuntimeError("Boom!")
RuntimeError: Boom!
[0, 0, 1]
Finished!
Appending 1 to accumulated

奇怪的是，副作用是在我的脚本“完成”后发生的。这意味着如果用户使用字典理解，则无法使用我的 contextdecorator。

我注意到这种行为在 Python 3 上消失了，如果我写的话这种行为也不会发生[boom_unless_zero(i) for i in iterate_and_accumulate([0, 1])]而不是字典理解。

为什么会出现这种情况？

From https://docs.python.org/2/reference/simple_stmts.html#the-yield-statement https://docs.python.org/2/reference/simple_stmts.html#the-yield-statement:

从 Python 版本 2.5 开始，yield 语句现在允许出现在 try ...finally 构造的 try 子句中。如果生成器在最终确定之前没有恢复（通过达到零引用计数或被垃圾收集），则将调用生成器迭代器的 close() 方法，从而允许执行任何挂起的 finally 子句。

换句话说，待生成器迭代器关闭之前，挂起的finally子句不会执行，无论是显式关闭还是由于垃圾收集（引用计数或循环）而关闭。看来 Python 2 列表推导式和 Python 3 在垃圾回收可迭代方面更有效。

如果您想明确关闭生成器迭代器：

from contextlib import closing

try:
    with closing(iter(iterate_and_accumulate(a))) as it:
        {i: boom_unless_zero(i) for i in it}
except:
    traceback.print_exc()
print(accumulated)

我研究了根本问题；看来问题在于生成器迭代器由异常回溯状态保持，因此另一个解决方法是调用sys.exc_clear():

import sys

try:
    {i: boom_unless_zero(i) for i in iterate_and_accumulate(a)}
except:
    traceback.print_exc()
    try:
        sys.exc_clear()
    except AttributeError:
        pass
print(accumulated)

在 Python 3 中，词法异常处理系统（http://bugs.python.org/issue3021 http://bugs.python.org/issue3021) 意味着异常状态在退出处理程序块时被清除，因此sys.exc_clear()没有必要（而且确实不存在）。