Pylint 未检测到“else”子句中的未定义变量答案

【问题标题】：Pylint doesn't detect an undefined variable in an 'else' clausePylint 未检测到“else”子句中的未定义变量
【发布时间】：2016-03-08 16:35:40
【问题描述】：

我有以下python代码

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

当我尝试运行它时，我得到一个运行时错误，因为“b”只在“if”子句中定义，而不是“else”。

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

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

【问题讨论】：

我很确定 pycharm 对我来说是这样的事情......也许不是......我稍后再检查
Pycharm 确实能够检测到这一点，但我正在尝试将 linter 添加到自动构建过程中，所以我不知道是否可以使用它。
试试 pychecker 可能吗？我想这就是它的名字

标签： python pylint pyflakes

【解决方案1】：

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

【讨论】：

控制流分析是on the roadmap for astroid（pylint 后面的库）。虽然它肯定不会像您描述的那样检测到复杂的情况，但将来它可以分析更简单的情况，从而推断出条件的结果（就像在@freakazoid 的示例中一样）。