Her şeyden önce, buradaki insanların çoğunun size söylediklerinin aksine, kapanma bir işlev değildir ! Peki olduğunu o?
Bu bir dizi (kendi olarak bilinen bir fonksiyonun "Çevre bağlamda" de tanımlanan sembollerin ortamında bu (olduğunu, her sembol tanımlanır ve değeri olan bir ekspresyon, bu yüzden değerlendirilebilir) bir KAPALI yansıtması).
Örneğin, bir JavaScript işleviniz olduğunda:
function closed(x) {
return x + 3;
}
Bir olan , kapalı ifadesi içinde meydana gelen tüm semboller içinde tanımlanır çünkü bunu değerlendirmek, böylece (anlamları açıktır). Başka bir deyişle, bağımsızdır .
Ancak böyle bir işleviniz varsa:
function open(x) {
return x*y + 3;
}
bir olduğunu açık bir ifade içinde tanımlanmamıştır içinde sembol vardır, çünkü. Yani y,. Bu işleve bakarken, ne yolduğunu ve ne anlama geldiğini söyleyemeyiz , değerini bilmiyoruz, bu yüzden bu ifadeyi değerlendiremeyiz. Yani içinde ne ydemek istediğini söyleyene kadar bu işlevi çağıramayız . Buna serbest değişkeny denir .
Bu ybir tanım için yalvarır, ancak bu tanım işlevin bir parçası değildir - "çevre bağlamında" ( çevre olarak da bilinir ) başka bir yerde tanımlanır . En azından umduğumuz şey bu: P
Örneğin, global olarak tanımlanabilir:
var y = 7;
function open(x) {
return x*y + 3;
}
Veya onu saran bir işlevde tanımlanabilir:
var global = 2;
function wrapper(y) {
var w = "unused";
return function(x) {
return x*y + 3;
}
}
Çevrenin bir ifadedeki serbest değişkenlere anlamlarını veren kısmı kapanmadır . Bu şekilde adlandırılır, çünkü açık bir ifadeyi tüm serbest değişkenleri için bu eksik tanımları sağlayarak kapalı bir ifadeye dönüştürür , böylece değerlendirebiliriz.
Yukarıdaki örnekte, (biz gerek çünkü bir isim vermedi) iç işlevi olan açık ifade değişken çünkü ybunun içinde serbest - tanımı bunu saran işlevinde, işlev dışında . Bu anonim işlevin ortamı , değişkenler kümesidir:
{
global: 2,
w: "unused",
y: [whatever has been passed to that wrapper function as its parameter `y`]
}
Şimdi kapanış , bu ortamın , tüm serbest değişkenleri için tanımları sağlayarak iç işlevi kapatan kısmıdır . Bizim durumumuzda, iç fonksiyondaki tek serbest değişken , bu fonksiyonun kapanması ortamının bu alt kümesidir:y
{
y: [whatever has been passed to that wrapper function as its parameter `y`]
}
Ortamda tanımlanan diğer iki sembol , bu işlevin kapanmasının bir parçası değildir , çünkü çalışmalarını gerektirmez. Onlar için gerekli olmayan kapatmak onu.
Bunun arkasındaki teori hakkında daha fazla bilgi:
https://stackoverflow.com/a/36878651/434562
Yukarıdaki örnekte, sarma işlevinin iç işlevini bir değer olarak döndürdüğünü belirtmek gerekir. Bu fonksiyon dediğimiz an, fonksiyonun tanımlandığı (veya oluşturulduğu) andan itibaren uzaktan olabilir. Özellikle, sarma işlevi artık çalışmıyor ve çağrı yığınında bulunan parametreleri artık orada değil: P Bu bir sorun yaratıyor, çünkü iç işlev yçağrıldığında orada olması gerekiyor! Başka bir deyişle, kapanışından değişkenlerin sarma işlevini bir şekilde geride bırakmasını ve gerektiğinde orada olmasını gerektirir. Bu nedenle, iç işlev, bu değişkenlerin kapanmasını sağlayan ve daha sonra kullanılmak üzere güvenli bir yerde saklayan bir anlık görüntüsünü yapmak zorundadır . (Çağrı yığını dışında bir yerde.)
Ve bu yüzden insanlar sık sık kapatma terimini , kullandıkları dış değişkenlerin bu tür anlık görüntülerini veya daha sonra kullanmak üzere bu değişkenleri saklamak için kullanılan veri yapısı olan özel bir işlev türü olarak karıştırırlar . Ama umarım şimdi bunların kendisinin kapanma olmadığını anlarsınız - sadece bir programlama dilinde kapanmaları uygulamanın yolları ya da fonksiyonun kapanmasından gelen değişkenlerin gerektiğinde orada olmasına izin veren dil mekanizmalarıdır. Kapanışların etrafında (gereksiz yere) bu konuyu gerçekte çok daha karmaşık ve karmaşık hale getiren birçok yanlış anlama var.