python - 局部变量 'result' 可能在赋值前被引用

Question

像这样的流程:

def func():
    try:
        result = calculate()
    finally:
        try:
            cleanup()
        except Exception:
            pass
    return result

关于局部变量“result”可能在赋值前被引用的警告:

但我真的不明白这怎么可能。其中之一必须为真:

• calculate() 引发异常 --> return 语句永远不会到达，因此不会再次引用结果
• calculate() 没有抛出异常 --> 结果被成功赋值，return 语句返回那个值

在分配之前，您将如何获得引用的result？是否有 calculate 和 cleanup 的实现可以证明正在发生这种情况？

Answer 1

这是 PyCharms 警告启发式的误报。根据 Python 规范，代码的行为与您描述的一样，result 只能在设置时到达。

---

根据 Python documentation 中的 8.4 :

If the finally clause executes a return, break or continue statement, the saved exception is discarded:

>>> def f():
...     try:
...         1/0
...     finally:
...         return 42
...
>>> f()
42

如果 finally block 包含 return、break，Python 解释器将忽略由 calculate() 引起的异常 或 continue 语句。

这意味着对于您提供的实现，如果 finally block 没有上面指定的任何单词，则不会丢弃由 calculate 引起的异常，因此result 变量不会被引用，这意味着这个警告是无用的。