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

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

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

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

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

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

Временная мёртвая зона — это промежуток между входом в область и строкой, инициализирующей 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 лексически областной: свободные переменные функции разрешаются по областям, охватывающим её в исходнике, и это фиксируется при определении функции, а не при вызове. Имя ищется наружу по этой лексической цепочке, и первая (самая внутренняя) найденная привязка затеняет одноимённую внешнюю. Это же позволяет замыканию сохранять область своего определения живой.