Ко скольким видам окружения имеет доступ функция

Функция имеет доступ к трем основным видам окружения (контекстам исполнения), которые образуют иерархию видимости и определяют, какие переменные и идентификаторы ей доступны. Эти виды организованы в цепочку областей видимости (Scope Chain).

Три вида окружения (контекста) функции

1. Локальное окружение (Local Scope / Function Scope)

Это внутреннее окружение, создаваемое при каждом вызове функции. Оно включает:

• Параметры функции, переданные при вызове.
• Локальные переменные, объявленные внутри функции с помощью var, let, const.
• Объявление самой функции (её идентификатор).
• Для ES6+ — также тело блока для let/const внутри {} (Block Scope).

function calculateTotal(price, quantity) {
    const taxRate = 0.2; // Локальная переменная
    let total = price * quantity; // Локальная переменная
    total += total * taxRate;
    return total; // Параметры price, quantity также в локальном окружении
}
// Переменные taxRate и total существуют только здесь.

2. Окружение внешней (родительской) функции (Closure / Outer Function Scope)

Если функция объявлена внутри другой функции, она получает доступ к окружению этой внешней функции, даже после того, как та завершила выполнение. Это основа замыканий (Closures).

function createCounter() {
    let count = 0; // Переменная во внешнем (для increment) окружении

    return function increment() {
        // Эта функция имеет доступ к:
        // 1. Своему локальному окружению (потенциальные локальные переменные).
        // 2. Окружению createCounter (переменная count).
        // 3. Глобальному окружению.
        count += 1;
        return count;
    };
}

const myCounter = createCounter();
console.log(myCounter()); // 1 (помнит значение count)
console.log(myCounter()); // 2 (значение сохранено в замыкании)
// Функция increment "замкнула" на себе переменную count.

3. Глобальное окружение (Global Scope)

Это окружение верхнего уровня, создаваемое при загрузке скрипта. Доступ к нему имеет любая функция, если только она не "перекрывает" глобальные идентификаторы локальными.

const GLOBAL_API_URL = 'https://api.example.com';
let requestsCount = 0;

function fetchData() {
    // Функция имеет доступ к:
    // 1. Своим локальным переменным.
    // 2. Глобальным переменным GLOBAL_API_URL и requestsCount.
    requestsCount++;
    console.log(`Запрос к ${GLOBAL_API_URL}. Всего запросов: ${requestsCount}`);
}

Механизм доступа: Scope Chain и лексическое окружение

Когда движок JavaScript ищет переменную внутри функции, он проходит по цепочке областей видимости (Scope Chain), которая соответствует лексической структуре кода (тому, как функция была написана, а не вызвана).

Порядок поиска:

1. Локальное окружение текущей функции.
2. Если переменная не найдена — поиск во внешнем лексическом окружении (в функции, внутри которой была объявлена текущая).
3. Повтор шага 2, поднимаясь по вложенности функций.
4. Глобальное окружение.
5. Если переменная не найдена и в глобальном окружении — возникает ReferenceError.

const globalVar = 'Я глобальная';

function outer() {
    const outerVar = 'Я из outer';

    function inner() {
        const innerVar = 'Я из inner';
        console.log(innerVar); // 1. Найдено в локальной области
        console.log(outerVar); // 2. Не найдено локально -> ищем во внешней (outer) -> найдено
        console.log(globalVar); // 3. Не найдено локально -> не найдено в outer -> ищем в глобальной -> найдено
        console.log(absentVar); // 4. Не найдено нигде -> ReferenceError
    }

    inner();
}

outer();

Особые случаи и уточнения

• eval() и with: Могут динамически изменять цепочку областей видимости, но их использование крайне не рекомендуется из-за проблем с производительностью и безопасностью.
• this — это отдельный механизм, не являющийся частью лексического окружения. Значение this определяется способом вызова функции (контекстом вызова), а не её лексическим окружением.
• Стрелочные функции: Не имеют собственного this, arguments, super или new.target. Они используют лексическое значение this из окружающего их контекста, что делает их поведение более предсказуемым в замыканиях.
• Блочная область видимости (Block Scope): Переменные, объявленные с помощью let и const внутри блоков {} (условия if, циклы for), имеют область видимости, ограниченную этим блоком. Это не отдельный "вид" в иерархии, а уточнение правил видимости внутри функции или глобального контекста.

function demoBlockScope() {
    if (true) {
        let blockScoped = "видна только в этом блоке";
        var functionScoped = "видна во всей функции";
    }
    console.log(functionScoped); // Работает
    // console.log(blockScoped); // ReferenceError: blockScoped is not defined
}

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