AI 写的 Python 代码怎么检查语法？用 ast.parse 和 compile 定位错误

AI 写出的 Python 代码可以先做不执行的语法检查，再进入独立运行验证。ast.parse 把代码解析成抽象语法树；compile 对这棵树补充编译阶段的检查，例如 return 是否在函数里。本教程保存可回查的错误行号，并展示“检查通过”实际能说明多大范围。

为什么需要解析和编译两个阶段

抽象语法树记录代码结构，如函数、赋值与表达式。ast.parse 检查能否形成语法树，但官方说明它不做全部作用域检查。函数外的 return 就是能解析、编译时才失败的例子。compile 返回代码对象；只有继续执行这个对象才会运行其中语句。

这里使用 mode=”exec” 表示按完整模块解析，名称中的 exec 不是调用执行函数。单个表达式、交互输入和完整脚本有不同模式，不应随便切换模式绕过报错。

环境与完整检查代码

示例在 Windows、Python 3.11.15 的本地 CPU 环境实际运行。新建空文件夹，将后面完整代码保存为 06-ast-syntax.py，在该目录用 PowerShell 执行：

python -m venv .venv
.\.venv\Scripts\python.exe 06-ast-syntax.py

最后一行在保存代码后执行。macOS 或 Linux 使用 ./.venv/bin/python。输出文件留在当前目录，先用教学样本核对；代码不调用大模型 API，也不修改你的原始业务文件。

示例仅用标准库，四段代码都是人工构造的教学候选；没有引用某个 AI 模型的实际回答，也没有测量模型代码正确率。

把完整代码保存为 06-ast-syntax.py 后运行，打开 syntax_report.json，分别检查缺冒号、函数外 return 和语法通过但名称未验证的案例；处理真实代码时，把 cases 中的字符串换成文件内容。

import ast,json
from pathlib import Path

# 人工构造的候选代码；只解析和编译，不执行其中的语句。
cases={
 'valid':'def divide(a, b):\n    return a / b\n',
 'missing_colon':'def divide(a, b)\n    return a / b\n',
 'return_outside_function':'return 1\n',
 'runtime_name_unchecked':'print(missing_name)\n',
}
reports=[]
for name,source in cases.items():
    row={'case':name}
    try:
        tree=ast.parse(source,filename=name+'.py',mode='exec')
        row['parsed']=True
        compile(tree,name+'.py','exec')  # 生成代码对象，不运行它。
        row['compiled']=True
        row['top_level_nodes']=[type(node).__name__ for node in tree.body]
    except SyntaxError as err:
        row.update(compiled=False,error=err.msg,line=err.lineno,offset=err.offset)
    reports.append(row)
    print(json.dumps(row,ensure_ascii=False))
by_name={x['case']:x for x in reports}
assert by_name['valid']['compiled']
assert not by_name['missing_colon']['compiled']
assert by_name['return_outside_function']['parsed'] and not by_name['return_outside_function']['compiled']
assert by_name['runtime_name_unchecked']['compiled']
Path('syntax_report.json').write_text(json.dumps(reports,ensure_ascii=False,indent=2),encoding='utf-8')
print('candidate code executed: False')

真实输出中的三个边界

{"case": "valid", "parsed": true, "compiled": true, "top_level_nodes": ["FunctionDef"]}
{"case": "missing_colon", "compiled": false, "error": "expected ':'", "line": 1, "offset": 17}
{"case": "return_outside_function", "parsed": true, "compiled": false, "error": "'return' outside function", "line": 1, "offset": 1}
{"case": "runtime_name_unchecked", "parsed": true, "compiled": true, "top_level_nodes": ["Expr"]}
candidate code executed: False

缺冒号案例在第1行第17个位置报错；函数外 return 能被 ast.parse 解析，却在 compile 阶段报错。print(missing_name) 两步均通过，但代码没有执行它。

报告中的 line 和 offset 来自 SyntaxError，是错误定位信息。编辑文件时回到对应行，并查看前一行是否存在未闭合括号或字符串；错误位置可能是解析器发现异常的地方，不一定是根本原因发生的位置。

runtime_name_unchecked 引用了未定义名称，语法和编译都成功。代码特意不执行它，避免把“编译成功”描述成“脚本运行正确”。同样，除零、文件不存在、网络失败和参数业务含义都超出这两步检查。

接入 AI 编程流程如何验收

语法与编译通过不能证明名称存在、依赖已安装、业务逻辑正确或输出符合要求。这个检查也不是代码安全评估；候选代码在本例中没有被执行。

保存候选代码与报告，修正语法后再次运行检查。进入执行验证时，使用与你的任务一致的依赖环境和明确输入，核对实际输出与失败情况；对现有项目还应遵循项目测试和权限要求。不要仅因为 AST 节点看起来简单，就判定代码可信。

如果 AI 回答带有 Markdown 围栏、讲解或省略号，应先提取真正的代码段并保留原答复。不要直接删除所有报错行来使解析通过；这可能删掉必要逻辑。检查输入长度与结构也很重要，官方提示极大或复杂的代码字符串可能触发栈深度限制。

Python 语法随版本变化。本文在 3.11.15 上执行；若目标项目使用其他 Python 版本，应在实际运行版本检查，再核对库接口。此脚本不检查导入包的真实 API，也没有模拟真实业务运行。

官方资料与核对范围

资料读取日期为 2026 年 10 月 1 日。接口行为依照以下官方文档或项目说明核对，输出来自上述本地教学代码。

• Python ast：解析接口、编译作用域检查与复杂输入边界。
• Python compile：从源码或AST生成代码对象及编译模式。