Python语法结束"return outside function"

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]

解释器也将此报告为语法错误（'return' 外部函数），但如果语法中未指定，解析器如何检测到它？

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");

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

Python语法结束"return outside function"

Python grammar end "return outside function"

python

parsing

ebnf