Понимание области видимости и смежных понятий

Имеем вот такой код:
Если из этого кода удалить шестую строку function a() {}; то всё будет работать как я и ожидал, т.е. функция b() перепишет глобальную переменную a и результат будет 10. Отсюда вопрос, как строка function a() {}; меняет выполнение кода? Тем более, эта строка размещена после return, т.е. до неё дело не доходит.

В объяснении данного эффекта мне могут помочь такие понятия как hoisting, lexical environment. Я с ними знаком, но всё-равно не могу сообразить почему в данном примере глобальная переменная a НЕ переписывается функцией b();

0

Сообщение от user7845 В объяснении данного эффекта мне могут помочь такие понятия как hoisting, lexical environment. Я с ними знаком, но всё-равно не могу сообразить

Отлично, в таком случае вы должны понять что произойдет если function a() {} заменить на var a. В вашем случае a() ровно также попадает в scope, после чего вы её перезаписываете

0

Отлично, в таком случае вы должны понять что произойдет если function a() {} заменить на var a. В вашем случае a() ровно также попадает в scope, после чего вы её перезаписываете.

Ок. Спасибо.

Еще кое-какие мысли у меня возникли:

Читал я на хабре статью про это поведение, потом нашел оригинал статьи на английском и вот что там написано:

The most important special case to keep in mind is name resolution order. Remember that there are four ways for names to enter a given scope. The order I listed them above is the order they are resolved in. In general, if a name has already been defined, it is never overridden by another property of the same name. This means that a function declaration takes priority over a variable declaration. This does not mean that an assignment to that name will not work, just that the declaration portion will be ignored.

Полного понимания еще не пришло, но основная гипотеза вот такая:

В области видимости функции b(), на этапе инициализации осуществляется подъем(всплытие) функции a(), в этой области видимости у нас имеется пока что только функция а(); она имеет какое-то уникальное имя, наверное а и это имя уникально внутри этой области видимости.

А что дальше происходит?

Дальше, этому уникальному имени, присваивается значение 10. Но это значение присваивается именно уникальному имени, которое существует только в scope функции b(). Несмотря на то, что имя совпадает с именем глобальной переменной.

И то, что мы на третьей строчке присваиваем переменной значение 10, мы на самом деле присваиваем это значение не глобальной переменной, а локальной. Локальной она стала потому что в этом scope была функция с таким же именем, которая, всплыла на этапе инициализации(вот в этом месте она уже локальная) и потом мы ее перезаписали. Т.е. эффект получился тот же самый, как если бы на третьей строчке использовался var.

==

Имя переменной это ссылка на область данных в памяти.
Имя функции это ссылка на область данных в памяти.

Имена должны быть разными. Одно и тоже имя ссылается на одни и те же данные. Но если мы создаем переменную или функцию с таким же именем в другой области видимости, то там она уже указывает на другие данные.

Это мне понятно.

Теперь мне стало понятно, что когда на шестой строчке кода я написал function a() {}; я создал ссылку на данные в области видимости b() и имя это ссылки а и это имя указывает на функцию только в пределах области видимости.

Потом происходит hoisting и ссылка загружается в память и имя той ссылки а, и указывает та ссылка на функцию function() {};.

Потом я переписываю эту локальную ссылку и теперь она указывает на 10. Теперь я имею локальную переменную с именем a, которая никакого отношения к глобальной переменной не имеет.

Ну вроде понятно.

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

0

Переходите на ES2015

0

Сообщение от andrey7287 Переходите на ES2015

Пока что я о нем знаю, только то, что там переменные можно через let объявлять и они не поднимаются(не всплывают) так как var переменные.

0

На самом деле подымаются, но там этот механизм работает иначе.

1