Запутанная спецификация EcmaScript — создание экземпляра привязки объявления

Есть два варианта: либо этот код недействителен (например, синтаксическая ошибка):

function foo() {
    console.log("foo1");
}
var foo = function() {
    console.log("foo2");
};
foo();

...или порядок вещей. В спецификации JavaScript в этом случае есть порядок вещей:

1. Объявление функции создает привязку в области видимости для foo, которая регистрирует foo1.
2. var в var foo = ... не действует, поскольку varAlreadyDeclared имеет значение true.
3. foo перезаписывается значением, полученным из функционального выражения foo = function() { /*...*/ };

Почему? Потому что так указано. Точнее, потому что объявление функции и оператор var создают изменяемую привязку в контексте выполнения, поэтому привязка создается первой. «Первый» снова нуждается в определении, поэтому выбранное определение заключалось в том, что объявление сначала создает привязку. Но оба создают изменяемые привязки и помните, что часть var foo и часть foo = ... обрабатываются совершенно отдельно. Поскольку объявления функций обрабатываются перед пошаговым выполнением кода, следующее делает то же самое, что и выше:

var foo = function() {
    console.log("foo2");
};
function foo() {
    console.log("foo1");
}
foo();

Хотя объявление функции сначала создает привязку и устанавливает ее для функции, выполняющей console.log("foo1"), часть foo = ... происходит позже и обновляет привязку, чтобы она ссылалась на новую функцию, выполняющую console.log("foo2").

У Брендана Эйха были и другие варианты, но именно этот он сделал в те судьбоносные 10 дней в мае 1995 года. :-) И он действительно логически следует из этих решений:

1. Объявления функций создают изменяемые привязки
2. Объявления функций и объявления var создают один и тот же тип привязок
3. Объявления функций поднимаются (например, функция создается и назначается привязке до начала пошагового выполнения)
4. Часть объявления var поднимается с использованием значения инициализации undefined, но часть инициализатора var x = y не устанавливается до пошагового выполнения кода.

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

Сначала поднимаются функции, а затем переменные.

foo(); // 1

var foo;

function foo() {
  console.log(1);
}

foo = function() {
  console.log(2);
};

Обратите внимание, что var foo было дублирующим (и, следовательно, игнорируемым) объявлением, даже несмотря на то, что оно предшествовало объявлению функции.

Также интересен тот факт, что последующие объявления функций переопределяют предыдущие.

foo(); // 3

function foo() {
  console.log(1);
}

var foo = function() {
  console.log(2);
};

function foo() {
  console.log(3);
}

Дополнительную информацию вы можете найти в Вы не знаете JS: Scope & Closures книга