如何在运行之前检查python代码的语法错误

Question

我正在开发一个工具，它必须接受一个文件作为输入，检查语法错误，编译它并在那之后做一些事情。

例如，我有一个文件run.py：

a=5
b=c
print b

这应该在编译时清楚地显示语法错误，因为未定义'c'

我试着用

try:
    py_compile.compile("source_program/run.py", doraise=True)
    print "Compiled"
except:
    print "Error while compiling"

我得到输出“Compiled”而不是“编译时出错”

如果我将run.py文件修改为：

a=5
b=c/  #Instead of b=c
print b

然后我得到输出“编译时出错”

在第一种情况下，我什么不收到错误消息？

Answer 1

这不是语法错误。 b=c是完全有效的语法，无论c是否存在。 事实上，其他一些模块本可以做到

import __builtin__
__builtin__.c = 3

在这种情况下，会有一个内置的c变量，其值为3可供所有模块使用，并且您的代码可以正常运行。

对于一个稍微不那么病态的例子，如果文件包含* import，例如

from numpy import *

导入会将一大堆名称转储到模块的全局命名空间中，并且无法分辨出这些名称是什么。 即使没有import * ，Python也无法确定在编译时对未知名称的引用是错误的。

如果要检测此类语义错误，则需要对程序进行更复杂的分析。 如NPE所建议的那样，与像pylint这样的现有pylint集成，可能比编写自己的工具更有效率。 如果你真的想自己做，你可以用ast.parse解析代码并检查AST，逐个语句来查看哪些变量存在于哪些点。 你仍然永远不会捕获所有的bug，但你会发现很多。

Answer 2

由于很多原因，这是一个棘手的问题。

尝试与pylint集成而不是尝试提出自己的pylint可能不是一个坏主意。

Answer 3

c没有被定义实际上不是编译时错误。 Python在运行时只会在运行时遇到未定义变量的问题。 这不是任何Python编译器都能捕获的东西。