python - try/finally - Python 在异常时对本地命名空间做了什么？

Question

这个问题在这里已经有了答案:





except-clause deletes local variable

(1 个回答)


12 个月前关闭。




这不是各种为什么最终抑制我的异常问题的重复。
相反，我发现 finally的局部变量是意料之外的，但仅限于异常情况。在这种情况下，异常消失。
(这是在 Python 3.8 上)

def test(divisor):
    print(f"\n\ntest({divisor=})")
    exc = None  # 👈 always assigned!
    foo = 1

    print(f"  ante.{exc=}")

    try:
        _ = 1 / divisor
        print(f"  post.{exc=}")


    except (Exception,) as exc: 
        print(f"  except.{exc=}")
    else:
        print(f"  else.{exc=}")
    finally:
        print(f"  finally:{locals()=}")

        #at this point, it should be either None 
        #whatever was caught in the except clause
        print(f"  finally.{exc=}")

test(1)

test(0)

成功时的输出 - 正如预期的那样:

test(divisor=1)
  ante.exc=None
  post.exc=None
  else.exc=None
  finally:locals()={'divisor': 1, 'exc': None, 'foo': 1, '_': 1.0}
  finally.exc=None

异常 - UnboundLocalError
看起来本地命名空间有 exc删除，这会导致 UnboundLocalError 错误。
我希望它有 ZeroDivisionError。最多，如果 except由于某种原因正在定义本地范围，它可能仍然是 None .但它只是消失了。
好像 del locals()["exc"]发生了。

test(divisor=0)
  ante.exc=None
  except.exc=ZeroDivisionError('division by zero')
  finally:locals()={'divisor': 0, 'foo': 1}
Traceback (most recent call last):
  File "test_195_finally.py:27", in <module>
    test(0)
  File "test_195_finally.py:23", in test
    print(f"  finally.{exc=}")
UnboundLocalError: local variable 'exc' referenced before assignment

装订 exc到另一个变量表明另一个变量还活着。

    except (Exception,) as exc: 
        exc2=exc

  finally:locals()={'divisor': 0, 'foo': 1, 'exc2': ZeroDivisionError('division by zero')}

Answer 1

引用 this thread关于 Python 错误跟踪器中的相同问题，这是预期的行为

[This] happens because we need to clean the exception variable outside the except block to avoid reference cycles. If you need the variable later, you need to do an assignment [..]

... 这也是 documented :

When an exception has been assigned using as target, it is cleared at the end of the except clause.

因此，为了保持对象引用，您需要将其存储在 except 内的一个不同名称的变量中。堵塞。