Python ast.parse 的检查边界：已经生成语法树，为什么 compile 仍说 return 不能放在这里
一个代码预检工具调用 ast.parse，没有异常便显示“可以运行”。用户交来的单独一行 return 7 却在后面失败：解析器能识别 return 语句的形状，编译器还要检查它是否位于允许的位置。拿到语法树，只通过了其中一层检查。
下面全部使用固定的短字符串，只解析和编译，不执行它们。保存为 demo.py，运行 python demo.py。示例保留三种结果，便于预检工具给出准确阶段，而不是把所有成功都叫作运行成功。
AI模型生成概念示意：文本通过结构识别后，还要经过上下文检查；图中的关卡不是解释器运行截图。
import ast
from types import CodeType
tree = ast.parse("return 7", mode="exec")
print("parsed node:", type(tree.body[0]).__name__)
assert isinstance(tree.body[0], ast.Return)
try:
compile(tree, "<module-demo>", "exec")
except SyntaxError as error:
print("compile rejected:", error.msg)
else:
raise AssertionError("top-level return compiled")
valid_tree = ast.parse("def answer():\n return 7\n")
compiled = compile(valid_tree, "<function-demo>", "exec")
print("inside function compiled:", isinstance(compiled, CodeType))
assert isinstance(compiled, CodeType)
unresolved = ast.parse("result = missing_name + 1")
unresolved_code = compile(unresolved, "<name-demo>", "exec")
print("unknown name compiled:", isinstance(unresolved_code, CodeType))
assert isinstance(unresolved_code, CodeType)
print("compiled objects executed:", False)节点能表达这条语句，不代表位置合法
第一行 parsed node: Return 说明 AST 已把源码表示为 Return 节点，且值七位于该节点内部。第二行则是 compile rejected: 'return' outside function。错误出现在编译阶段，因为模块顶层没有可供 return 返回的函数调用。
这不是文本编码或缩进丢失造成的差异。程序直接把同一个已解析的树交给 compile，仍然会补做作用域检查。不要为了让预检通过就把任意源码自动塞进函数；那会改变名称作用域和程序含义，原来的模块级行为也可能不再成立。
编译成功还没有进入运行阶段
把 return 放进明确的函数定义后，inside function compiled: True。compile 返回代码对象，并不创建一个当前可调用的 answer 函数，因为我们没有执行这份代码对象。教程中的对象只是编译结果，不是函数运行结果。
unknown name compiled: True 展示下一层边界：编译器允许引用以后才会在运行环境中查找的名称。missing_name 在这段固定文本中没有定义，仍能形成代码对象。若实际执行时环境也没有该名称，运行阶段才会发生 NameError。示例最后明确输出 compiled objects executed: False。
静态检查工具可以把“解析失败”“编译失败”“尚未运行”分别呈现。它们回答不同问题：文本是否能形成树、树是否满足编译约束、运行环境与实际路径是否可用。编译通过不会证明第三方包存在、文件可读，也不会证明业务结果正确。
本例的源码是可信、很短的教学字符串。接收外部源码时，还要限制长度、嵌套深度与处理资源；只是不调用 exec，并不意味着解析任意规模输入没有成本。ast.parse 的 feature_version 也只是尽力采用某版本语法，不能代替在目标解释器里完成兼容性检查。
资料核对日期：2026年10月2日。代码在本地 Python 3.12.14 实际运行并通过断言；结果对应文中固定输入。
