Erstens ist die Schließung im Gegensatz zu dem, was die meisten Leute hier sagen, keine Funktion ! Also was ist das?
Es handelt sich um eine Reihe von Symbolen, die im "umgebenden Kontext" einer Funktion (bekannt als ihre Umgebung ) definiert sind und sie zu einem GESCHLOSSENEN Ausdruck machen (dh zu einem Ausdruck, in dem jedes Symbol definiert ist und einen Wert hat, damit es ausgewertet werden kann).
Zum Beispiel, wenn Sie eine JavaScript-Funktion haben:
function closed(x) {
return x + 3;
}
Es ist ein geschlossener Ausdruck, da alle darin vorkommenden Symbole darin definiert sind (ihre Bedeutung ist klar), sodass Sie ihn auswerten können. Mit anderen Worten, es ist in sich geschlossen .
Aber wenn Sie eine Funktion wie diese haben:
function open(x) {
return x*y + 3;
}
Es ist ein offener Ausdruck, weil es Symbole enthält, die darin nicht definiert wurden. Nämlich , y. Wenn wir uns diese Funktion ansehen, können wir nicht sagen, was sie yist und was sie bedeutet. Wir kennen ihren Wert nicht und können diesen Ausdruck daher nicht bewerten. Das heißt, wir können diese Funktion erst aufrufen, wenn wir sagen, was ydarin bedeuten soll. Dies ywird als freie Variable bezeichnet .
Dies yerfordert eine Definition, aber diese Definition ist nicht Teil der Funktion - sie wird an einer anderen Stelle in ihrem "umgebenden Kontext" (auch als Umgebung bezeichnet ) definiert. Zumindest hoffen wir darauf: P.
Zum Beispiel könnte es global definiert werden:
var y = 7;
function open(x) {
return x*y + 3;
}
Oder es könnte in einer Funktion definiert werden, die es umschließt:
var global = 2;
function wrapper(y) {
var w = "unused";
return function(x) {
return x*y + 3;
}
}
Der Teil der Umgebung, der den freien Variablen in einem Ausdruck ihre Bedeutung gibt, ist der Abschluss . Es wird so genannt, weil es einen offenen Ausdruck in einen geschlossenen Ausdruck verwandelt , indem diese fehlenden Definitionen für alle seine freien Variablen angegeben werden , damit wir ihn bewerten können.
In dem obigen Beispiel ist die innere Funktion (die wir keinen Namen gegeben haben , weil wir es nicht brauchten) ist ein offener Ausdruck , da die Variable ydarin ist frei - seine Definition außerhalb der Funktion, in der Funktion , die es hüllt . Die Umgebung für diese anonyme Funktion ist die Menge der Variablen:
{
global: 2,
w: "unused",
y: [whatever has been passed to that wrapper function as its parameter `y`]
}
Der Abschluss ist nun der Teil dieser Umgebung, der die innere Funktion schließt, indem er die Definitionen für alle seine freien Variablen bereitstellt . In unserem Fall war die einzige freie Variable in der inneren Funktion y, daher ist der Abschluss dieser Funktion diese Teilmenge ihrer Umgebung:
{
y: [whatever has been passed to that wrapper function as its parameter `y`]
}
Die beiden anderen in der Umgebung definierten Symbole sind nicht Teil des Abschlusses dieser Funktion, da sie nicht ausgeführt werden müssen. Sie werden nicht benötigt, um es zu schließen .
Mehr zur Theorie dahinter hier:
https://stackoverflow.com/a/36878651/434562
Es ist zu beachten, dass im obigen Beispiel die Wrapper-Funktion ihre innere Funktion als Wert zurückgibt. Der Moment, in dem wir diese Funktion aufrufen, kann zeitlich von dem Moment entfernt sein, an dem die Funktion definiert (oder erstellt) wurde. Insbesondere wird seine Wrapping-Funktion nicht mehr ausgeführt und seine Parameter, die sich auf dem Aufrufstapel befanden, sind nicht mehr vorhanden: P Dies stellt ein Problem dar, da die innere Funktion beim Aufrufen vorhanden sein muss y! Mit anderen Worten, es erfordert, dass die Variablen von ihrem Abschluss die Wrapper-Funktion irgendwie überleben und bei Bedarf da sind. Daher muss die innere Funktion eine Momentaufnahme dieser Variablen erstellen, die geschlossen werden, und sie für die spätere Verwendung an einem sicheren Ort speichern. (Irgendwo außerhalb des Aufrufstapels.)
Aus diesem Grund wird der Begriff " Schließen" häufig als eine spezielle Art von Funktion verwechselt, mit der solche Schnappschüsse der von ihnen verwendeten externen Variablen oder der Datenstruktur, in der diese Variablen für später gespeichert werden, erstellt werden können. Aber ich hoffe, Sie verstehen jetzt, dass sie nicht der Abschluss selbst sind - sie sind nur Möglichkeiten, Abschlüsse in einer Programmiersprache oder Sprachmechanismen zu implementieren , die es ermöglichen, dass die Variablen aus dem Abschluss der Funktion bei Bedarf vorhanden sind. Es gibt viele Missverständnisse in Bezug auf Schließungen, die dieses Thema (unnötigerweise) viel verwirrender und komplizierter machen, als es tatsächlich ist.