Me sorprendió que esta afirmación falla:
x = 42 x = lambda: x assert x() == 42 Parece que x termina recursivamente refiriéndose a sí mismo, por lo que x() , x()() , etc. son todas funciones.
¿Cuál es la regla utilizada para analizar esto y dónde está documentado?
Por cierto (no inesperadamente dado lo anterior), el valor original de x no tiene referencias después de la definición lambda:
class X: def __del__(self): print('deleting') x = X() x = lambda: x # 'deleting' is printed hereLa primera asignación es irrelevante; la x en el cuerpo de la lambda está enlazada tarde :
x = lambda: x # no need for a prior assignment x = lambda: y # notice: no NameError occurs, *until it is called* Esta es la misma razón por la que crear lambdas en un bucle es complicado , y también se usa para hacer árboles con la biblioteca estándar defaultdict :
tree = lambda: defaultdict(tree) t = tree() t['foo']['bar']['baz'] = 'look ma, no intermediate steps'Una lambda es un objeto de función anónimo. Python resuelve completamente lo que está en el lado derecho de una ecuación en un solo objeto anónimo y luego resuelve lo que está en el lado izquierdo para su asignación.
x = lambda: x primero compila lambda: x en un objeto de función que devuelve lo que sea que esté en x en el momento en que se llama. Luego vuelve a vincular x con este objeto de función, eliminando cualquier objeto que haya estado allí antes.
Ahora x es una función que devuelve lo que está en x ... que es una función que devuelve lo que está en x , etc... Así que puedes escribir x()()()()()() tantas veces como desea, y aún así obtener ese objeto de función lambda:x original.
Las funciones de Python tienen un espacio de nombres local, pero solo las variables asignadas en la función residen allí. Dado que x no está asignado en la lambda , se resuelve en el ámbito contenedor, es decir, el nivel de módulo "x". Un fragmento de código idéntico es
def x(): return xContrasta esto con
def x(): x = 1 return x Ahora, el parámetro x es una variable local y no está relacionado con la x global.
La variable x es creada por la primera asignación y rebota con la segunda asignación.
Dado que la x en la lambda no se evalúa hasta que se llama a la lambda, llamarla evaluará el valor asignado más reciente.
Tenga en cuenta que esto no es un alcance dinámico: si fuera dinámico, lo siguiente imprimiría "99", pero imprimiría "<función ...":
x = 42 x = lambda: x def test(f): x = 99 print(f()) test(x)