А разве понятие вызывающего контекста отсутствует для обычной (пользовательской) функции , чтобы это особо выделять ?

В данном случае это выделяется, чтобы показать, что eval воздействует на вызывающий контекст.

Обычная функция, как Вы правильно отметили тоже имеет вызывающий контекст, но, к примеру, объявленный var внутри функции не создает переменную в вызывающем контексте, как это делает eval.

Модификации, производимые eval‘ом (например, объявление переменной или функции), воздействуют на вызывающий контекст

Да, именно так (за исключением, как было отмечено, strict-mode’a ES5).

С кодом eval‘а — интересней. В данном случае, присутствует понятие вызывающего контекста (calling context), т.е. контекста, из которого вызвана функция eval.

А разве понятие вызывающего контекста отсутствует для обычной (пользовательской) функции , чтобы это особо выделять ?

Модификации, производимые eval‘ом (например, объявление переменной или функции), воздействуют на вызывающий контекст

Т.е. например переменная определенная в eval остается доступной в вызывающем контексте и после завершения работы eval т.е. помещается в VO-объект вызывающего контекста ?

Наверное использование push в примере и после Вашей правки не совсем корректно. push ведь добавляет в конец массива (стека) , а добавление д.б. в начало стека.

pop – удаляет последний элемент массива , это тоже выпадает из рамок корректного объяснения.

Нет, все верно. Стек — “последний пришел” (добавился “сверху” в конец, push), первым ушел (удалился тоже “сверху” через pop).

(Часто фигурирует альтернативная фразировка: “Первым пришел, последним ушел” — FILO)

Наверное использование push в примере и после Вашей правки не совсем корректно. push ведь добавляет в конец массива (стека) , а добавление д.б. в начало стека.

pop – удаляет последний элемент массива , это тоже выпадает из рамок корректного объяснения.

Надо как-то исхитриться и описать по другому, все ведь привыкли к работе методов Array (push и pop). Хотя смысл примеров понятен.

При выходе из foo, локалькая переменная x должна быть утерена

Да, это было бы верно, если бы сами данные (переменные) хранились бы на стеке. Однако на стеке в языках с замыканиями хранится именно этот контекст исполнения. В ES3 контекст имеет вид:

ES3Context = {
  VO / AO: { ... } // ссылка на объект переменных,
  ScopeChain: VO + все родительские VO,
  This: this
};

Данные хранятся в объекте переменных (VO) — в данном случае для foo — {x: 10, arguments: ...}. А сам объект переменных хранится в куче — и хранится он там до тех пор, пока на него есть хоть одна ссылка.

В момент активации foo таких ссылки две — из ES3Context и из функции bar, т.к. bar при создании запоминает (в своем свойстве [[Scope]]) ScopeChain родительского контекта, т.е. контекста foo (и мы видим, что ScopeChain foo содержит VO, где хранится x):

bar.[[Scope]] = foo.context.ScopeChain;

Дальше, по выходу из foo, контекст удаляется со стека, но, т.к. сами VO и ScopeChain хранятся на куче (а на стеке — только ссылки на них), то ScopeChain остается жить, т.к. на него есть ссылка из bar.

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

Собственно, это и есть замыкание, когда функция bar замкнула родительский контекст и он остался жить.

Подробней: ES3.Ch6.Замыкания и ES3.Ch4.Scope Chain. Или же наиболее полный вариант: ES5.Ch3.1.Lexical Environments.

Происходит возврат анонимной функции. Функция обращается к переменной ‘x’, которая инициализирована в foo. мне не понятно следующее. При выходе из foo, локалькая переменная x должна быть утерена, так как при выходе из контекста, он исчезает со стека. Связь с переменной должна быть утеряна. Тем не менее bar() дает результат = 1.

Не могли бы вы пояснить, как происходит передача значения?

в стэк добавляем 2 элемента, а удаляем один

Да, это я просто не совсем удачно выбрал обозначение (путаница с реальной функцией push массивов). Предполагается один элемент с двумя свойствами — сам контекст, и вызывающий контекст (callingContext или — caller):

ECStack.push({
  context: evalContext,
  caller: globalContext
});

// eval('var x = 10');
ECStack.push(
  evalContext,
  callingContext: globalContext
);

// отработал eval
ECStack.pop();

А именно: в стэк добавляем 2 элемента, а удаляем один.