Python语法结尾“返回外部函数”

Question

我注意到Python语法允许return语句出现在函数外部，但我真的不明白，为什么？ 我相信可以这样指定语法，因此不允许这样做。

这是一段Python语法，它允许这样做：

single_input: NEWLINE | simple_stmt | compound_stmt NEWLINE
simple_stmt: small_stmt (';' small_stmt)* [';'] NEWLINE
small_stmt: (expr_stmt | del_stmt | pass_stmt | flow_stmt |
             import_stmt | global_stmt | nonlocal_stmt | assert_stmt)
flow_stmt: break_stmt | continue_stmt | return_stmt | raise_stmt | yield_stmt
return_stmt: 'return' [testlist]

解释器还将其报告为语法错误（外部函数“返回”），但是如果语法中未指定，解析器如何检测到它？

Answer 1

首先，中断器构建AST树。 然后，当它通过访问AST树为基本块生成代码时，它会验证return语句在函数内部。

compiler_visit_stmt(struct compiler *c, stmt_ty s)
    ...
    switch (s->kind) {
        ...
        case Return_kind:
            if (c->u->u_ste->ste_type != FunctionBlock)
                return compiler_error(c, "'return' outside function");

如您所见，语言的语义不仅仅由语法定义。