Одно всеобъемлющее определение закрытия JavaScript

Короче говоря,

Функция внутри другой функции имеет доступ к переменным, объявленным во внешней функции. Если функция находится в глобальном контексте, очевидно, что она имеет доступ к глобальным переменным.

Больше контекста:

var v1; // I'm accessible anywhere    
function a() {
    var v2;
    function b() { // I can access v2 and v1
        var v3;
        function c() {  // I can access v1, v2, v3
            var v4;
        }
        return c;
    }
    return b();
}
var f = a();

В приведенном выше примере a, b, c все являются замыканиями, у которых есть доступ к их соответствующей родительской области, и это продолжается рекурсивно до window или глобального контекста.

В общем, каждая функция - это закрытие. Но мы думаем о них только тогда, когда реализуем что-то, что на самом деле зависит от замыкания, например, фабричные функции.

Вы можете думать о функции JS как о такой структуре:

class Function : Object {
  bytes      bytecode;
  varframe   varsAndArgs;
}

class varframe{
  array<value>  values;
  ptr<varframe> parent;
}

Таким образом, каждый экземпляр функции в JS технически является закрытием. В функциях верхнего уровня этот родительский указатель равен нулю.

Итак, когда вы определяете

function makeFunc() {
  var name = "Mozilla";
  function displayName() {
    alert(name);
  }
  return displayName;
}

этот displayName (const / variable) будет содержать экземпляр класса Function, который будет содержать ссылку на его собственный varframe этой структуры:

varframe(displayName) 
  values[0] // empty array, no variables in it
  parent -> varframe(makeFunc) 
              values[1] // one variable "name" at index 0;
              parent = null    

Таким образом, замыкание - это структура, содержащая ссылку на код и ссылку на цепочку фреймов varframe (также известных как callframe).

В прошлом многие материалы курса и ссылки подчеркивали объектно-ориентированные аспекты JavaScript, иногда игнорируя функциональные подходы. Я думаю, что это начало меняться с развитием фреймворков и обширных коллекций JS-библиотек. Secrets of the JavaScript Ninja утверждает, что овладение функциями является фундаментальной частью эффективного использования JavaScript. В Ninja определение закрытия является более общим:

... замыкания позволяют функции получить доступ ко всем переменным, а также к другим функциям, которые находятся в области видимости при объявлении самой функции.

                                         -- "Chapter 5: Closing in on closures"

Обсуждая закрытие, Эффективный JavaScript ставит (более или менее ) Сюда:

• функция может ссылаться на переменные, определенные вне ее области видимости;
• функции могут ссылаться на переменные, определенные другой функцией после возврата второй функции (потому что в JavaScript функции являются объектами);
• функция может содержать закрытые внутренние функции, которые могут изменять свойства включающей функции.

Исходный код для главы 2 «Эффективный JavaScript». Пункт 11 «Как освоиться с замыканиями» можно найти на gibhub по адресу:

• https://github.com/effectivejs/code/tree/master/ch2/item11

Замечательная особенность закрытой функции заключается в том, что ей не нужно имя, если вы не планируете вызывать ее явно: она может быть анонимной и просто оцениваться как часть внешней функции.