Consideremos una función simple:
function f1(x) {
// ... something
}
Esta función se llama función de nivel superior porque no está anidada en ninguna otra función. Cada función de JavaScript asocia consigo una lista de objetos llamada "Cadena de alcance" . Esta cadena de alcance es una lista ordenada de objetos. Cada uno de estos objetos define algunas variables.
En las funciones de nivel superior, la cadena de alcance consta de un solo objeto, el objeto global. Por ejemplo, la función f1anterior tiene una cadena de alcance que tiene un solo objeto que define todas las variables globales. (tenga en cuenta que el término "objeto" aquí no significa objeto JavaScript, es solo un objeto definido por la implementación que actúa como un contenedor de variables, en el que JavaScript puede "buscar" variables).
Cuando se invoca esta función, JavaScript crea algo llamado "objeto de activación" y lo coloca en la parte superior de la cadena de alcance. Este objeto contiene todas las variables locales (por ejemplo, xaquí). Por lo tanto, ahora tenemos dos objetos en la cadena de alcance: el primero es el objeto de activación y debajo está el objeto global.
Tenga en cuenta con mucho cuidado que los dos objetos se colocan en la cadena del osciloscopio en DIFERENTES veces. El objeto global se coloca cuando se define la función (es decir, cuando JavaScript analiza la función y crea el objeto de la función), y el objeto de activación entra cuando se invoca la función.
Entonces, ahora sabemos esto:
- Cada función tiene una cadena de alcance asociada
- Cuando se define la función (cuando se crea el objeto de función), JavaScript guarda una cadena de alcance con esa función
- Para funciones de nivel superior, la cadena de alcance contiene solo el objeto global en el momento de definición de la función y agrega un objeto de activación adicional en la parte superior en el momento de invocación
La situación se pone interesante cuando tratamos con funciones anidadas. Entonces, creemos uno:
function f1(x) {
function f2(y) {
// ... something
}
}
Cuando f1se define, obtenemos una cadena de alcance que contiene solo el objeto global.
Ahora cuando f1se llama, la cadena de alcance de f1obtiene el objeto de activación. Este objeto de activación contiene la variable xy la variable f2que es una función. Y, tenga en cuenta que f2se está definiendo. Por lo tanto, en este punto, JavaScript también guarda una nueva cadena de alcance para f2. La cadena de alcance guardada para esta función interna es la cadena de alcance actual vigente. La cadena de alcance actual en efecto es la de f1's. Por lo tanto f2, la cadena de alcance es f1la cadena de alcance actual , que contiene el objeto de activación f1y el objeto global.
Cuando f2se llama, obtiene su propio objeto de activación que contiene y, agregado a su cadena de alcance que ya contiene el objeto de activación f1y el objeto global.
Si hubiera otra función anidada definida dentro f2, su cadena de alcance contendría tres objetos en el momento de la definición (2 objetos de activación de dos funciones externas y el objeto global) y 4 en el momento de la invocación.
Entonces, ahora entendemos cómo funciona la cadena de alcance, pero aún no hemos hablado de cierres.
La combinación de un objeto de función y un ámbito (un conjunto de enlaces de variables) en el que se resuelven las variables de la función se denomina cierre en la literatura de informática - JavaScript, la guía definitiva de David Flanagan
La mayoría de las funciones se invocan usando la misma cadena de alcance que estaba vigente cuando se definió la función, y realmente no importa que haya un cierre involucrado. Los cierres se vuelven interesantes cuando se invocan bajo una cadena de alcance diferente a la que estaba vigente cuando se definieron. Esto ocurre más comúnmente cuando un objeto de función anidada se devuelve desde la función dentro de la cual se definió.
Cuando la función regresa, ese objeto de activación se elimina de la cadena de alcance. Si no había funciones anidadas, no hay más referencias al objeto de activación y se recolecta basura. Si se definieron funciones anidadas, cada una de esas funciones tiene una referencia a la cadena de alcance, y esa cadena de alcance se refiere al objeto de activación.
Sin embargo, si esos objetos de funciones anidadas permanecieron dentro de su función externa, entonces ellos mismos serán recolectados de basura, junto con el objeto de activación al que se refirieron. Pero si la función define una función anidada y la devuelve o la almacena en una propiedad en algún lugar, entonces habrá una referencia externa a la función anidada. No se recolectará basura, y el objeto de activación al que hace referencia tampoco se recolectará basura.
En nuestro ejemplo anterior, no regresamos f2de f1, por lo tanto, cuando una llamada a f1retorna, su objeto de activación se eliminará de su cadena de alcance y se recolectará la basura. Pero si tuviéramos algo como esto:
function f1(x) {
function f2(y) {
// ... something
}
return f2;
}
Aquí, la devolución f2tendrá una cadena de alcance que contendrá el objeto de activación f1y, por lo tanto, no se recolectará basura. En este punto, si llamamos f2, podrá acceder a f1la variable xaunque estemos fuera de f1.
Por lo tanto, podemos ver que una función mantiene su cadena de alcance con ella y con la cadena de alcance vienen todos los objetos de activación de funciones externas. Esta es la esencia del cierre. Decimos que las funciones en JavaScript tienen "ámbito léxico" , lo que significa que guardan el ámbito que estaba activo cuando se definieron en lugar del ámbito que estaba activo cuando se les llamaba.
Hay una serie de potentes técnicas de programación que implican cierres como aproximación de variables privadas, programación dirigida por eventos, aplicación parcial , etc.
También tenga en cuenta que todo esto se aplica a todos los idiomas que admiten cierres. Por ejemplo PHP (5.3+), Python, Ruby, etc.