使用and块的变量作用域: Python 2和3之间的差异

Question

我在Python2.7和Python3.7之间在局部变量作用域上遇到了一个奇怪的区别。

考虑一下这个人工脚本unboundlocalexception.py (我意识到我本来可以在else之后使用一个其他块，但是我从一个更长的函数中提取了这个例子)：

def foo():
  arithmetic_error = None
  try:
    y = 1.0 / 0
  except ZeroDivisionError as arithmetic_error:
    print("I tried to divide by zero")

  if arithmetic_error is None:
    print("Correct division")

foo()

在Python 2下，它的工作方式与我预期的一样：

$ python2 unboundlocalexception.py 
I tried to divide by zero

但是，令人惊讶的是，在Python3下引发了一个UnboundLocalError！

$ python3 unboundlocalexception.py 
I tried to divide by zero
Traceback (most recent call last):
  File "unboundlocalexception.py", line 11, in <module>
    foo()
  File "unboundlocalexception.py", line 8, in foo
    if arithmetic_error is None:
UnboundLocalError: local variable 'arithmetic_error' referenced before assignment

这种差异有任何记载吗？

Answer 1

这种行为是在Python3中引入的，以防止引用周期，因为异常目标--问题中的arithmetic_error --保留了对跟踪的引用。

来自语言参考

当使用作为目标分配了异常时，将在end子句的末尾清除异常。这就好像

except E as N:
    foo

翻译成

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

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

这最初是在PEP3110中记录的。