파이썬 문법의 끝 "함수 밖의 반환"

Question

파이썬 문법이 함수 밖에서 return 문을 허용한다는 것을 알았지 만, 나는 정말로 이해하지 못합니다. 이유는 무엇입니까? 나는 문법을 지정할 수 있다고 믿는다. 그래서 허용되지 않는다.

이

이 있습니다 파이썬 문법의 일부입니다 : 또한

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

당신이 볼 수 있듯이

은 언어의 의미는 그 문법에 의해 정의되어 있지 않습니다.