#javascript #переменные #scope #javascript_faq
Собственно, почему не функция, а только сам блок?
Проверено в Хроме, FF, IE11 и Опере 12.
function test() {
var e = 10, x = 5;
try {
console.log(e, x); // 10 5
throw 15;
} catch (e) {
var x;
console.log(e, x); // 15 5
e = x = 17;
console.log(e, x); // 17 17
} finally {
console.log(e, x); // 10 17
}
}
test();
Ну и ES6-версия с декомпозицией:
function test() {
var e = 10, x = 5;
try {
console.log(e, x); // 10 5
throw {e: 15, x:3};
} catch ({e, x}) {
console.log(e, x); // 15 3
e = x = 17;
console.log(e, x); // 17 17
} finally {
console.log(e, x); // 10 5
}
}
test();
Ответы
Ответ 1
Обратимся к спецификации: Catch : catch ( CatchParameter ) Block в oldEnv сохраняется LexicalEnvironment из текущего контекста создается catchEnv как NewDeclarativeEnvironment(oldEnv). для каждого имени аргумента из BoundNames в CatchParameter в catchEnv создается MutableBinding текущим LexicalEnvironment в контексте устанавливается catchEnv в status сохраняется результат BindingInitialization если status не нормальный текущим LexicalEnvironment в контексте устанавливается oldEnv значением catch блока устанавливается значение status В B сохраняется результат выполнения Block. текущим LexicalEnvironment в контексте устанавливается oldEnv значением catch блока устанавливается значение B Что можно отметить в данном алгоритме? при входе в catch создается новый LexicalEnvironment значения указанные в параметрах catch связываются с новым LexicalEnvironment при выходе - всегда восстанавливается старый LexicalEnvironment Таким образом e объявленную выше var e=10 перекрывает e в выражении catch (e), значение которой и используется внутри блока. И так как при выходе из блока восстанавливается старый LexicalEnvironment, внутри блока finally будет видна переменная объявленная через var. Теперь можно перейти к вопросу из комментария: @VladimirGamalian, а разве NewDeclarativeEnvironment не означает собственный скоуп? Но у catch'а ведь его нет? Или это такая магия за счёт всплытия объявлений, что всплывает всё кроме исключения? Как-то странно получается... В контексте выполнения присутствуют два дополнительных свойства LexicalEnvironment - определяет Lexical Environment, в котором хранятся идентификаторы созданные в коде в текущем контексте VariableEnvironment - определяет Lexical Environment, в котором EnvironmentRecord хранит привязки созданные с помощью VariableStatements в текущем контексте При использовании выражения var переменные добавляются в VariableEnvironment текущего контекста. Так как при заходе в catch меняется только LexicalEnvironment - то становится не важно в каком месте переменная объявлена с помощью var - она все равно будет добавлена в VariableEnvironment и будет доступна из любого места в текущем контексте выполнения.Ответ 2
В блоке catch создается копия объекта созданного оператором throw, finally же имеет доступ к внешнему по отношению к catch объекту, который не менялся. Обновление В catch передается временных безымянный объект созданный throw, поля которого переезжают в глобальный объект и перекрывают переменные e и x, по выходу из catch он уничтожается, поэтому в finally выводится объявленные в начале функции e и x.
