Какие знаешь виды лексического окружения?

Виды лексического окружения в JavaScript

В JavaScript лексическое окружение (Lexical Environment) — это внутренняя структура спецификации, которая хранит связь между идентификаторами (именами переменных, функций) и их значениями в определённой области видимости. Каждое лексическое окружение состоит из двух основных компонентов:

• Запись окружения (Environment Record) – объект, хранящий все объявления (переменные, функции, параметры) в данной области.
• Ссылка на внешнее лексическое окружение (outer) – ссылка на окружение, в рамках которого было создано текущее. Эта цепочка ссылок формирует цепочку областей видимости (Scope Chain).

Существует несколько ключевых видов лексического окружения, которые создаются в зависимости от контекста выполнения.

1. Глобальное лексическое окружение (Global Environment)

Это самое внешнее окружение, не имеющее ссылки outer (она равна null). Оно создаётся при загрузке скрипта и связано с глобальным объектом (window в браузере, global в Node.js). Все переменные и функции, объявленные на верхнем уровне (вне каких-либо блоков или функций), попадают в это окружение.

// Глобальное окружение
var globalVar = "Я в глобальном окружении";
let globalLet = "Я тоже здесь (но в отдельном Declarative Environment Record)";

function globalFunc() {
    // При вызове создаст собственное функциональное окружение
}

2. Функциональное лексическое окружение (Function Environment)

Создаётся при каждом вызове функции (или метода). Его ссылка outer указывает на лексическое окружение, в котором функция была объявлена (определение лексической области видимости). Именно этот механизм лежит в основе замыканий.

function outerFunction(outerParam) {
    // Лексическое окружение outerFunction:
    // Environment Record: { outerParam: <значение>, innerVar: undefined }
    // outer: Global Environment

    let innerVar = "Локальная переменная";

    function innerFunction() {
        // Лексическое окружение innerFunction:
        // Environment Record: { }
        // outer: Environment of outerFunction (имеет доступ к outerParam и innerVar)
        console.log(outerParam, innerVar); // Замыкание в действии
    }

    return innerFunction;
}
const closure = outerFunction("Привет");
closure(); // Выведет: "Привет Локальная переменная"

3. Лексическое окружение блока (Block Environment)

Появилось с введением let и const в ES6. Создаётся для блоков кода, ограниченных фигурными скобками {} (тело if, for, while, switch, или просто самостоятельный блок). Такое окружение изолирует переменные, объявленные через let/const, внутри блока.

// Глобальное окружение
{
    // Создаётся новое блочное лексическое окружение для этого блока
    // outer: Global Environment
    let blockScopedVar = "Я видна только внутри этого блока";
    const PI = 3.14;
    console.log(blockScopedVar); // Работает
}
// console.log(blockScopedVar); // ReferenceError!

4. Лексическое окружение модуля (Module Environment)

Специфичный тип окружения, создаваемый для ES6-модулей. Оно также является глобальным для модуля, но изолировано от истинного глобального окружения скрипта. Экспортируемые сущности становятся свойствами этого окружения. Это обеспечивает инкапсуляцию кода модуля.

// module.js
// Module Environment для module.js
// outer: null (или ссылка на корневое окружение модульной системы)
const privateModuleVar = "Скрыто извне";
export let publicVar = "Доступно при импорте";

// main.js
import { publicVar } from './module.js';
console.log(publicVar); // "Доступно при импорте"
// console.log(privateModuleVar); // Ошибка: не определена

5. Лексическое окружение конструкции catch

Блок catch в конструкции try...catch также создаёт своё лексическое окружение, в запись которого помещается объект ошибки (параметр catch). Это позволяет изолировать переменную с ошибкой.

try {
    throw new Error("Ой!");
} catch (err) {
    // Создаётся лексическое окружение блока catch
    // Environment Record: { err: <объект ошибки> }
    // outer: Global Environment (или окружение внешней функции)
    let errorMessage = err.message; // err доступна только здесь
    console.log(errorMessage); // "Ой!"
}
// console.log(err); // ReferenceError

Ключевые различия и практическое значение

• Глобальное vs. Модульное: Глобальное окружение общее для всех скриптов, что может приводить к конфликтам. Модульное — изолировано.
• Функциональное vs. Блочное: До ES6 область видимости создавалась только функциями (var игнорирует блоки). С появлением блочной области видимости (let/const) код стал более предсказуемым и безопасным, позволяя ограничивать жизнь переменных минимально необходимой областью.
• Цепочка областей видимости: Поиск переменной всегда начинается в текущем лексическом окружении и, если идентификатор не найден, продолжается по цепочке ссылок outer. Это основа статической (лексической) области видимости JavaScript.
• Замыкания: Возникают, когда функция имеет доступ к переменным из своего внешнего (родительского) лексического окружения, даже после того, как это внешнее окружение завершило выполнение. Это возможно потому, что ссылка на внешнее окружение сохраняется в [[Environment]] функции.

Понимание этих видов лексического окружения критически важно для эффективной отладки, предотвращения утечек памяти, написания чистого и поддерживаемого кода, а также для глубокого понимания таких концепций, как замыкания, всплытие (hoisting) и инкапсуляция.