instrucción no local de Python en una definición de clase

Question

Estoy tratando de realizar algún análisis de alcance en el código fuente de Python 3 y estoy atascado con cómo funciona la instrucción de declaración no local dentro de una definición de clase.

Según tengo entendido, la definición de clase ejecuta su cuerpo dentro de un nuevo espacio de nombres (llámelo dict) y vincula el nombre de clase al resultado del tipo (nombre, bases, dict). La x no local debe funcionar siempre que se refiera a una variable enlazada en algún lugar dentro del alcance no local adjunto.

De esta espero que el siguiente código para compilar y ejecutar:

class A: 
    v = 1 
    class B: 
     nonlocal v 
     v = 2 

pero esta falla con

SyntaxError: no binding for nonlocal 'v' found 

mientras que el siguiente código funciona perfectamente

def A(): 
    v = 1 
    class B: 
     nonlocal v 
     v = 2 

¿Puede alguien explicar la diferencia aquí entre el cierre de la definición de la función y la definición de la clase?

Answer 1

El ámbito léxico se aplica solo a espacios de nombres de funciones; de lo contrario, los métodos definidos dentro de una clase podrían "ver" los atributos de nivel de clase (que por diseño se deben acceder como atributos de self dentro del método).

Las mismas limitaciones que provocan que las variables de nivel de clase sean omitidas por las referencias de los métodos también evitan que la palabra clave nonlocal haga su magia. (global funciona, ya que eso no depende de la maquinaria de alcance léxico)

Answer 2

Python maneja las definiciones de clases y funciones de manera diferente. Por ejemplo, su A.v no es una variable de A sino un atributo de ella. El espacio de nombres creado por una clase no es, por lo tanto, un alcance. No me sorprende que nonlocal no funcione ya que estás tratando de usarlo.