Pylint在'else'子句中没有检测到未定义的变量

Question

我有以下python代码

a = 2
if a == 1:
    b = 'blah'
    print b
else:
    print b

当我尝试运行它时，我收到运行时错误，因为'b'仅在'if'子句中定义，而不是'else'。

Pylint和Pyflakes都未能发现这个问题。

有没有其他方法可以在不运行代码的情况下检测到它？

Answer 1

我不认为在没有运行代码的情况下可以检测到这一点，因为通常情况下，工作中的逻辑可能比您的示例更复杂。如果循环多次迭代此if - else子句，并且由于某种原因您确定第一次b肯定会被分配？检查器需要与解释器一样复杂（并执行类似的操作，可能包括副作用），以了解程序运行的所有可能状态。请参阅静态代码检查的概念。