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

あなたが見ることができるように、言語の意味論のみ、その文法で定義されていません。