Python no local depende del nivel de jerarquía?

Question

Esta pregunta es un seguimiento en a question about Python variable scope. Las preguntas adicionales q1, q2 y answers se pueden encontrar en SO, entre otros. El oficial Python documentation y PEP 3104 se supone que explican los detalles, pero no parecen completamente autoexplicativos para mí.

El tema que trato de resolver es refactorizar el código que contiene nonlocal/global moviendo ese código arriba/abajo un nivel de jerarquía.

Lo que no entiendo son las implicaciones de esta sentencia de la referencia de Python:

Names listed in a nonlocal statement, unlike to those listed in a global statement, must refer to pre-existing bindings in an enclosing scope (the scope in which a new binding should be created cannot be determined unambiguously).

Dado el siguiente código en el ámbito global:

var = 0 
def outer(): 
    global var     # line A 
    var = 1 
    def inner(): 
     nonlocal var   # line B 
     var = 2 

     print('inner:', var) 

    inner() 
    print('outer:', var) 

outer() 
print('main:', var) 

ejecución genera un error:

SyntaxError: no binding for nonlocal 'var' found 

El código funciona (con diferente semántica, Por supuesto, si cualquiera de las líneas A está comentado:

inner: 2 
outer: 2 
main: 0 

o línea B es comentada:

inner: 2 
outer: 1 
main: 1 

Sin embargo, en el ejemplo anterior, y dado que nonlocal se supone para unirse var a la " encerrando el alcance ", hubiera esperado que la línea A vincule el ámbito externo/var con el ámbito global y la línea B, luego busque outer/var y también vuelva a enlazar inner/var con global/var. En cambio, parece no encontrarlo en absoluto (debido a la reenlace en la línea A, supongo) y generar un error.

El resultado deseado era lo que esperaba:

inner: 2 
outer: 2 
main: 2 

Se trata sólo de un ejemplo más del estado de ánimo confuso de la determinación del alcance en Python?

O, para hacer de esto una cuestión constructiva:

• ¿Cómo puede un ejemplo de ello puede escribir de una manera que no importa en qué nivel reside una función (tener que intercambiar global con nonlocal y viceversa)?
• Si las funciones residen en un nivel intermedio y desconocido de jerarquía, ¿cómo podría el autor de outer() cambiar el código que no se debe tocar el nivel más externo (en este caso global) ni el inner()? -

En mi humilde comprensión del lenguaje, construcciones como estas (depende de los cierres) deben ser evitadas. Otros ya han sugerido utilizar otras funciones de idioma (classes, func attrs) para lograr este tipo de sensibilidad de contexto.

Answer 1

global y nonlocal no están destinados a combinarse.Que significan cosas diferentes:

• global significa el nombre existe en el nivel de módulo
• nonlocal significa el nombre existe en un ámbito de la función léxica exterior

La razón de que está recibiendo la excepción original se debe a le dijo a Python que var es no local (lo que significa que está en una definición de función externa), pero no hay ninguna vinculación de nivel de función para var en ninguna definición de función externa porque le dijo a Python la función externa que var era global.

Answer 2

How can such an example be written in a way that it does not matter at which level a function resides (having to exchange global with nonlocal and vice versa)?

No importa a qué nivel resida una función. Solo importa en qué nivel reside la variable.

If the functions reside at an intermediate, and unknown level of hierarchy, how could the author of outer() change the code that neither the outermost (in this case global) level, nor the inner() level have to be touched?

Usted está pidiendo si es posible para una función en un nivel intermedio que, al cambiar algo en su código, para mantener la variable en una función interna para cambiar alternativamente algo en un ámbito global o algo en el alcance local de la función externa. Esto parece una cosa realmente extraña de poder hacer.