[[Scope]],LE и замыкания в JS

[MrQuestion]

function makeCounter() {
  var currentCount = 1;
  
  return function() { 
   return currentCount++;
  };
}



var counter = makeCounter(); 
alert(counter()) ; 
alert(counter()) ; 
alert(counter()) ;

Здравствуйте.
Возникла небольшая проблема с логикой действий. Алерты поочередно показывают 1,2,3.
И если первый Алерт, показывающий единицу мне понятен, то второй и третий так работать не должны.
Значит, логика такая.
1)Первый counter получает ссылку на currentCount внешней функции, видит, что currentCount присвоена единица и забирает эту единицу себе и так как инкремент находится в постфиксной форме, Алерт выводит на экран не двойку, а единицу.

2)Второй counter получает ссылку на currentCount, видит, LE currentCount == 1 и забирает эту единицу себе. По идее второй Алерт тоже должен выдать единицу, ибо во внешнем LE currentCount == 1.

Я так понимаю между 1 и 2 пунктом происходит некая перезапись currentCount в внешнем LE.

Вопрос такой: Как эта перезапись происходит и перезапись ли это вообще?

[Naive]

не знаю, что такое LE, может я не очень программер... но тут у тебя makeCounter — это функция со своей областью видимости, currentCount в ней создается при вызове и возвращается функция, которая будет юзать то внутреннее поле...

var counter = makeCounter();

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

Можешь сделать

var counter2 = makeCounter();

и он будет работать независимо от первого. В этом смысл замыкания, это инкапсуляция.

[MrQuestion]

Спасибо. Я понимаю, как происходит замыкание, и что происходит при присвоении var counter = makeCounter();

Не понятно, как counter может изменять переменную не своего внутреннего поля, а внешнего поля makeCounter().
Т.е. currentCount при каждом вызове counter() так и должна оставаться единицей. Почему она перезаписывается с каждым вызовом counter()?

[Alex11223]

Потому что замыкания так работают, а не так как вы придумали.

Что такое LE?

[MrQuestion]

LE - Lexical Environment, термин из учебника. Объект функции, который включает в себя все внутренние переменные функции и [[Scope]]

[MrQuestion]

Сообщение от Alex11223

Потому что замыкания так работают, а не так как вы придумали.

Это, конечно, хорошо, что они работают. Другое дело в том, что не понимая механики этой работы, как , вообще, можно их использовать?..

[Naive]

Сообщение от MrQuestion

Это, конечно, хорошо, что они работают. Другое дело в том, что не понимая механики этой работы, как , вообще, можно их использовать?..

Не понимаешь — не используй. Я понимаю — я использую.
Все просто.

[MrQuestion]

Сообщение от Naive

Не понимаешь — не используй. Я понимаю — я использую.
Все просто.

Я задал вопрос на этом форуме для того, чтобы понять.
Я задал вопрос, чтобы получить на него ответ, а не пинок под зад.

[Вадим Мошев]

Коротко смысл замыканий можно объяснить так.

Каждая вложенная функция видит переменные своих объемлющих функций (если эти вложенные функции не перекрывают их путём объявления их инструкцией var), то есть область видимости (scope) распространяется вглубь по функциям.

Это значит, что переменная mySuperVar, объявленная во внешней программе, вне всяких функций будет видна:
1. внутри функции f, которая объявлена внутри основной программы;
2. Внутри функции g, объявленной внутри функции f, которая объявлена во внешней программы;
3. Внутри функции h, которая объявлена внутри функции g, которая объявлена внутри функции f, которая объявлена в основной программе...
И так далее.

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

Если, допустим, мы внутри функции f объявили ЛОКАЛЬНУЮ переменную innerVariable, то такая переменная будет видна внутри функций f (что очевидно), g и h, но не во внешней программе.

[MrQuestion]

Черт. Все же просто. Внутренняя функция изменяет переменные внешней функции точно так же, как внешняя изменила бы обычную глобальную переменную. По тому же принципу. Все ясно. Черт. Это был действительно тупой вопрос. Спасибо