Область видимости исключения в блоке catch

#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.