python - Pylint 未检测到 'else' 子句中的 undefined variable

Question

我有以下python代码

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

当我尝试运行它时，出现运行时错误，因为“b”仅在“if”子句中定义，而不是“else”。

Pylint 和 Pyflakes 都未能检测到此问题。

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

Answer 1

我认为如果不运行代码就无法检测到这一点，因为一般来说，工作中的逻辑可能比您的示例更复杂。多次迭代此 if-else 子句的循环怎么样，并且出于某种原因您确定第一次，b一定会被分配？检查器需要与解释器完全一样复杂(并执行类似的操作，可能包括副作用)才能了解程序运行的所有可能状态。请参阅静态代码检查的概念。