python - 如何判断单行 python 在语法上是否有效？

Question

与此非常相似:

How to tell if a string contains valid Python code

唯一的区别是，我只对一行代码感兴趣，而不是完全给出整个程序。

正式地，如果存在使用该特定行的任何语法上有效的 python 程序，我们就说一行 python 是“语法上有效的”。

例如，我想将这些标识为语法上有效的行:

for i in range(10):

x = 1

因为可以在一些语法上有效的 python 程序中使用这些行。

我想将这些行标识为语法无效行:

for j in range(10 in range(10(

x =++-+ 1+-

因为没有语法正确的 python 程序可以使用这些行

检查不需要太严格，只要能过滤掉明显的虚假陈述(如上图)即可。当然，该行以字符串形式给出。

Answer 1

这使用 codeop.compile_command尝试编译代码。这与 code 的逻辑相同模块 does以确定是要求另一行还是立即因语法错误而失败。

import codeop
def is_valid_code(line):
    try:
        codeop.compile_command(line)
    except SyntaxError:
        return False
    else:
        return True

可以按如下方式使用:

>>> is_valid_code('for i in range(10):')
True
>>> is_valid_code('')
True
>>> is_valid_code('x = 1')
True
>>> is_valid_code('for j in range(10 in range(10(')
True
>>> is_valid_code('x = ++-+ 1+-')
False

此时我确定，您是在说“什么给了？for j in range(10 in range(10( 应该是无效的! "这一行的问题在于 10() 在技术上在语法上 是有效的，至少根据 Python 解释器而言是这样。在 REPL 中，您会得到:

>>> 10()
Traceback (most recent call last):
  File "<pyshell#22>", line 1, in <module>
    10()
TypeError: 'int' object is not callable

注意这是一个TypeError，不是一个SyntaxError。 ast.parse说它也是有效的，只是将其视为函数为 ast.Num 的调用。

这种东西在真正跑起来之前是不容易被抓到的。如果某种怪物设法修改了缓存的 10 值(这在技术上是可行的)，您也许可以执行 10()。语法仍然允许它。

不平衡的括号呢？这符合 for i in range(10): 的要求。此行本身无效，但可能是多行表达式中的第一行。例如，请参阅以下内容:

>>> is_valid_code('if x ==')
False
>>> is_valid_code('if (x ==')
True

第二行是 True 因为表达式可以这样继续:

if (x ==
    3):
    print('x is 3!')

这样表达式就完整了。事实上，codeop.compile_command通过返回一个代码对象来区分这些不同的情况，如果它是一个有效的自包含行，None 如果该行预计将继续一个完整的表达式，并抛出一个 SyntaxError在无效行上。

但是，您也可能遇到比最初陈述的复杂得多的问题。例如，考虑行 )。如果它是模块的开始，或者前一行是{，那么它是无效的。但是，如果上一行是 (1,2,，则完全有效。

如果您只向前推进并附加前几行作为上下文，此处给出的解决方案将起作用，这就是 code 的内容模块 does用于交互式 session 。在不考虑周围行的情况下，创建始终可以准确识别单行是否可能存在于 Python 文件中的东西将非常困难，因为 Python 语法以非平凡的方式与换行符交互。该答案以给定行是否可以位于模块开头并继续下一行而不会失败来响应。

最好确定识别单行的目的是什么，并以不同的方式解决该问题，而不是尝试针对每种情况都解决这个问题。