Эксперты JavaScript: почему `with` сводит на нет оптимизацию компилятора, связанную с областью видимости

Приведенная здесь оптимизация основана на этом факте: переменные, объявленные внутри функции, всегда могут быть определены посредством простого статического анализа кода (т.е. var поиска объявлений var/let и function) и набора объявленных переменных в пределах функция никогда не изменяется.

eval нарушает это предположение, введя способность мутировать локальную привязку (путем ввода новых переменных в область функций во время выполнения). with нарушением этого предположения, введя новое нелексическое связывание внутри функции, свойства которой вычисляются во время выполнения. Статический анализ кода не всегда может определить, от свойств with объектом, так что анализатор не может определить, какие переменные существуют в пределах with блоком. Важно отметить, что объект, поставляемый with может меняться между выполнением функции, что означает, что набор переменных внутри этого лексического раздела функции никогда не может быть гарантированно согласован.

Рассмотрим простую функцию:

function foo() {
    var a, b;
    function c() { ... }
    ...
}

Все точки в foo имеют три переменные локальной области видимости: a, b и c. Оптимизатор может присоединить к функции, которая говорит: "Эта функция имеет три переменные: a, b и c. Это никогда не изменится".

Теперь рассмотрим:

function bar(egg) {
    var a, b;
    function c() { ... }

    with(egg) {
        ...
    }
}

В блоке " with неизвестно, какие переменные будут или не будут существовать. Если есть, a b или c в with, мы не знаем, до времени выполнения, если это относится к переменному bar или которую создают with(egg) лексической областью.

Чтобы показать полу-практический пример того, как это проблема, в конце рассмотрим:

function baz(egg) {
    with(egg) {
        return function() { return whereami; }
    }
}

Когда выполняется внутренняя функция (например, bar({...})()), механизм выполнения будет искать цепочку областей для поиска whereami. Если оптимизатору было разрешено прикреплять постоянную заметку к baz, тогда механизм выполнения сразу же узнает, что функция baz whereami для значения whereami, потому что это будет гарантировано стать домом для whereami (любой аналогично - именованная переменная вверх по цепочке областей видимости будет затенена ближайшим). Тем не менее, он не знает, если whereami существует в baz или нет, потому что это может быть условно создано содержимое egg на конкретном пробеге bar, создавшего, что внутренняя функция. Поэтому он должен проверять, и оптимизация не используется.