Область видимости и поднятие

Поднятие — это регистрация объявлений движком до выполнения кода, поэтому имя существует в своей области с самого верха. var поднимается и устанавливается в undefined, поэтому раннее чтение даёт undefined. Объявление функции поднимается целиком и вызываемо до своей строки; let/const поднимаются, но остаются неинициализированными.

var принадлежит всей функции и не замечает блоков {} внутри неё, а let и const существуют только внутри блока, где объявлены. Кроме того, const запрещает потом присвоить переменной новое значение.

Блок — это любая пара {} — if, for или просто скобки. Блочная область означает, что переменная видна лишь внутри ближайшего охватывающего блока. let и const блочные и исчезают за пределами блока. var полностью игнорирует блоки и протекает на всю охватывающую функцию.

1, затем TypeError

Функциональная область означает, что переменная видна везде внутри объявившей её функции, независимо от вложенных блоков. var функционально-областной: var, объявленный внутри любого if или цикла, доступен по всей функции. Каждый вызов функции создаёт свежую область для своих локальных переменных.

3 3 3

2 1

undefined

Лексическая область означает, что область имени определяется тем, где написан код, а не где он выполняется. Вложенная функция может читать переменные охватывающих функций. Для разрешения имени движок идёт по цепочке областей наружу — локальная, затем каждая охватывающая, затем глобальная — останавливаясь на первом совпадении.

Временная мёртвая зона — это промежуток между входом в область и строкой, инициализирующей let или const. Имя поднято и существует в области, но чтение или запись во время TDZ выбрасывают ReferenceError. У var нет TDZ — до своей строки он читается как undefined.

Глобальная переменная живёт в области верхнего уровня и доступна из любого места программы. Объявление на верхнем уровне создаёт её намеренно; присваивание имени без var/let/const создаёт её случайно — но лишь в нестрогом режиме, тогда как строгий режим вместо этого выбрасывает ReferenceError.

Контекст исполнения — это среда, в которой выполняется код, хранящая его переменные, цепочку областей и this. Он проходит две фазы: фаза создания настраивает привязки и поднимает объявления; фаза исполнения выполняет код построчно. Существует один глобальный контекст плюс по одному на каждый вызов функции.

Затенение — это переменная внутренней области, повторяющая внешнее имя; во внутренней области побеждает внутренняя привязка, а внешняя скрыта. Недопустимое затенение — SyntaxError, когда var сталкивается с let/const в пересекающейся области, ведь var протекает из блока и конфликтует с блочным именем.

Неопределённая переменная объявлена, но не присвоена, поэтому её чтение возвращает undefined. Необъявленная переменная нигде в цепочке областей не объявлена, поэтому её чтение выбрасывает ReferenceError (x is not defined). Первое — обычное значение; второе — провал поиска имени.

В фазе создания движок строит запись окружения контекста: привязывает каждый var к undefined, привязывает объявления функций к их функциям и привязывает имена let/const, оставляя их неинициализированными — источник TDZ. Он также связывает внешнее окружение, формируя цепочку областей. Фаза исполнения затем присваивает реальные значения.

JavaScript лексически областной: свободные переменные функции разрешаются по областям, охватывающим её в исходнике, и это фиксируется при определении функции, а не при вызове. Имя ищется наружу по этой лексической цепочке, и первая (самая внутренняя) найденная привязка затеняет одноимённую внешнюю. Это же позволяет замыканию сохранять область своего определения живой.