Python 3异常出于未知原因在封闭范围内删除变量

Question

我有以下代码：

def foo():
    e = None
    try:
        raise Exception('I wish you would except me for who I am.')
    except Exception as e:
        print(e)
    print(e)

foo()

在Python 2.7中，它按预期运行并显示：

I wish you would except me for who I am.
I wish you would except me for who I am.

但是，在Python 3.x中，第一行被打印，但第二行没有被打印。似乎删除了封闭范围中的变量，从上一个print语句得到以下回溯：

Traceback (most recent call last):
  File "python", line 9, in <module>
  File "python", line 7, in foo
UnboundLocalError: local variable 'e' referenced before assignment

几乎就像del e在该except块之后插入了一条语句。这种行为有什么道理吗？如果Python开发人员希望除块之外的其他块具有自己的局部作用域，并且不泄漏到周围的作用域中，那么我能理解它，但是为什么它必须删除先前分配的外部作用域中的变量？

Answer 1

引用的文档try，

使用分配了异常后as target，将在except子句的末尾将其清除。好像

except E as N:
   foo

被翻译成

except E as N:
    try:
        foo
    finally:
        del N

这意味着必须将异常分配给其他名称，以便能够在except子句之后引用该异常。
清除异常是因为它们具有附加的回溯，它们与堆栈框架形成了一个参考循环，使该框架中的所有局部变量都保持活动状态，直到发生下一个垃圾回收为止 。

这两个PEP对此进行了介绍。

1. PEP 3110-Python 3000中的捕获异常

2. PEP 344-异常链接和嵌入式回溯