Объяснение участка кода?

Question

[x333]

Привет ✌
Кто может объяснить, почему в данном коде в консоль будет выведено 1, затем 2 ? Я думал, что в первом случае вызов y() из нее x(z) возьмёт z изнутри ( var z = 2 ),а берет с аргументов ( z = 1 ). Какая тут последовательность? Почему такой вывод?

let z=0;

(function test(x=(c)=>console.log("b="+c), y=()=>x(z), z=1) {
  var z=2;
  y();
  console.log("a="+z);
})();

Comments

[imegaded]

Вот что говорит repl, devtools хрома с ним не согласен, "чудеса". Но все же код максимально грязный, на уровне модуля глобальная переменная z через let, внутри функции параметр с тем же наименованием, внутри создание новой переменной с тем же именем уже через var, стоит ли вообще на такой код смотреть дольше секунды =)

[x333]

imegaded, я просмотрел код, мой ответ : 2, 2. Беру код, запускаю на node и выход 1,2 ))

[imegaded]

x333, бабель на replit счудил немного, на ноде 1, 2, все верно). Но я все же считаю, что этот код даже как учебное пособие не годится. Поменяй var на let, интепретатор сразу заругается и никаких конфузов не будет =)

[SerzN1]

y=()=>x(z) - по идее это стандартное замыкание, которое должно отработать при вызове функции test

Answer 1

[Валерий]

Функция y на этапе декларации(в аргументе) берет значение переменной z из аргументов.
Cначала функция посмотрит на свою лекс. область видимости, убедиться, что в ней нет переменной z, потом пойдет на 1 уровень выше(уровень аргументов), увидит там переменную z и возьмет ее значение. Если убрать аргумент z и списка аргументов, то аналогично будет произведен поиск переменной z выше той лекс. области видимости где функция объявляется - переменная z со значением 0. Поиск переменной происходит не на этапе вызова функции а на этапе ее декларации.
MDN

Comments

[x333]

Валерий, посижу, уложу в голове ваш ответ и всю информацию. Меня сейчас сбивает с толку только вот эта фраза, вытянутая с learnjs :

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

Грубо говоря, я предпологал, что происходит примерно так, а оно не так судя по вашему ответу и результату.

тык

[Валерий]

x333, https://github.com/azat-io/you-dont-know-js-ru/blo...

лексическая область видимости — это область видимости, которая определена во время разбора на лексемы. Иными словами, лексическая область видимости основана на том, где переменные и блоки области видимости были созданы вами во время написания и таким образом (в основном) навечно зафиксированы на момент, когда лексический анализатор обрабатывал ваш код.

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

[x333]

Валерий, теперь все стало на свои места, спасибо.
p.s наверное, стоит все-таки полностью прочитать симсона, а не прыгать от темы к теме)

[Валерий]

x333, Верно, очень советую первые 3

[x333]

Bavashi,

spoiler

[Валерий]

Bavashi, Согласен, это параметры - ошибся.
Как я уже говорил на этапе декларации функции у нее есть лекс. область видимости . В функции y происходит связь с переменной z и ее начальным значением(1). Позже по коду вы просто меняете значение переменной z (из параметров) на 2. Теперь при вызове в переменной z будет значение 2.

[Валерий]

Bavashi В первоом случае(код автора вопроса) происходит связь с переменной z из параметров(ближайшего места в лексической области видимости), вместо того, чтобы "связываться" с объявляемой выше(тело функции test) переменной z. В вашем коде, происходит присвоение нового значение переменной z, которая уже связана с функцией y на этапе лексического разбора.

Answer 2

[Mors Clamor]

На самом деле это просто цепочка из функций, внутри одной вызывается другая, и т.п, просто синтаксис стрелочный. Подсказывать ответ не буду, но направление дал

Comments

[Israfil22]

Это отвратительный ответ

[x333]

То, что это стрелки, понятно. Вопрос в том, почему вызов y() не взял переменную z с области видимости iife функции (=2).
Если убрать z со списка аргументов ( z = 1 ), то взято будет значение ( z = 0 ) извне самовызывающейся функции. Но почему не локально объявленная z.

[Mors Clamor]

Bavashi, нет конечно