Какое внешнее лексическое окружение у анонимной функции, создаваемой при вызове другой функции в качестве ее аргумента?

Question

[dominus_augustus]

При вызове метода then экземпляра объекта Promise и передаче методу then анонимной функции в качестве первого аргумента, на какое внешнее лексическое окружение будет ссылаться эта анонимная функция? Вопрос касается не только Promise, но и любой функции, создаваемой в аргументах другой функции.

Пример 1:

let p = Promise.resolve();
p.then(() => { /* Какой-то код */ } );

Пример 2:

function doSomething(func) {
  /* Какой-то код */
}

doSomething(function sayHello() { console.log("Hello") })

В первом примере, какое внешнее лексическое окружение у анонимной функции, созданной в аргументе метода then? Во втором примере, тот же самый вопрос, только в рамках аргумента функции doSomething.

Answer 1

[Robur]

Какое внешнее лексическое окружение у анонимной функции, создаваемой при вызове другой функции в качестве ее аргумента?

такое же как у создаваемой в любых других условиях. например при `const x=() => {}` факт наличия вызова другой функции не играет никакой роли для привязки лексического окружения, в этом его смысл. так как функция стрелочная, this привяжется вместе со всем остальным контекстом.

Во втором примере у вас нет стрелочных функций, поэтому this никуда не привязывается и определяется контекстом вызова sayHello, остальные переменные, если они будут - привязываются по общему принципу замыканий - лексического контекста

const x=1
console.log(this) //некий объект A
doSomething( () => console.log(this, x))// this привязан, равен A, x привязан равен 1

doSomething(function () { console.log(this, x)}) //this не привязан значение зависит от кода doSomething, x все так же привязан, равен 1

Comments

[dominus_augustus]

Перечитал LJS, будьте добры, проследите ход моих мыслей и скажите, верно ли я понимаю. Скрипт, функция и блоки кода (фигурные скобки) имеют свое лексическое окружение. Функция при создании получает ссылку на лексическое окружение в котором она создана. В первом примере я создаю функцию прямо в методе then, когда передаю ее в качестве аргумента. Лексическая область в которой создается эта функция является глобальной, поэтому функция получает ссылку на глобальную область как на свою внешнею лексическую и то, что эта функция создается в месте, куда передаются аргументы, никаким образом не влияет на ее внешнюю лексическую область видимости?

[Robur]

В первом примере я создаю функцию прямо в методе then, когда передаю ее в качестве аргумента.

нет. ни в каком "then" вы ничего не создаете.

function a() {
  doSomething().then(() => {})
}

тут () => {} создается в функции a(). в then она потом (после создания) передается при выполнении, но контекст и лексическое окружение уже привязаны.

то, что эта функция создается в месте, куда передаются аргументы, никаким образом не влияет на ее внешнюю лексическую область видимости?

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

код выше в плане лексического окружения созданной функции полностью эквивалентен коду

function a() {
  const myFunc = () => {}
  doSomething().then(myFunc)
}

[dominus_augustus]

Robur, все, разобрался, функции же инициализируются сразу, а не когда интерпретатор доходит до строчки с функцией. Большое спасибо за помощь!