3

В книге по js написано

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

Код у меня такой

console.log(fun);

if (true) {
  console.log(fun(4));
 
  function fun(a) {
    return a + a;
  };

  console.log(fun(5));
}

console.log(fun(6));

"use strict";

console.log(fun);

if (true) {
  console.log(fun(4));
 
  function fun(a) {
    return a + a;
  };

  console.log(fun(5));
}

console.log(fun(6));

Так вот, почему не генерируется исключение из за определения функции в if? И почему подъем происходит лишь в начало блока if (ведь в js нет области видимости блока), а не в начало сценария? И почему в начале сценария(т.е до if) fun уже объявлена, но без инициализации(возвращает undefined)?

Я узнал, что в не строгом режиме ES6, функция объявленная внутри блока поднимается в начало функции где находится данный блок, или в начало глобальной области видимости( т.е доступна и вне блока где объявлена), но не понятно с инициализацией или без? Почему-то в блоке где она объявлена, она доступна полностью( с инициализацией ) еще до ее определения, а до этого блока она имеет значение undefined(как при подъеме переменной объявленной через var). Помогите разобраться с этим.

11
  • Потому что вы читаете какую-то не правильную книгу. Ну или перевод хромает. 14 фев 2019 в 11:56
  • потому что это block-level function, по ним отдельный раздел есть в спецификации
    – Grundy
    14 фев 2019 в 11:56
  • JavaScript Подробное руководство - кажется проверенная книга.
    – Topik
    14 фев 2019 в 12:36
  • @Topik, добавь "use strict" и получишь исключение
    – Grundy
    14 фев 2019 в 12:57
  • 1
    @Grundy, тогда почему функция доступна до объявления, но только в блоке?
    – Topik
    14 фев 2019 в 13:38

2 ответа 2

4

TL;DR; если функция используется снаружи блока - она ведет себя как переменная объявленная с помощью var, внутри блока - как обычно


Действительно, нахождение определений функций в StatementList, который входит в Block.

Подробно это описывается в спецификации, в секции B.3.3

До ECMAScript 2015, спецификация не определяла FunctionDeclaration как возможный элемент StatementList в Block. Однако, поддержка этой формы FunctionDeclaration была допустимым расширением и многие браузерные реализации ECMAScript разрешали это. К сожалению, семантика таких определений отличается в разных реализациях. Из-за этих семантических различий, существующий браузерный ECMAScript код, который использует определения функций на уровне Block, переносим только среди браузерных реализаций, если использование зависит от семантического пересечения всех браузерных реализаций для таких определений. Ниже приведены случаи попадающие в такое пересечение:

  1. На функцию, определенную в блоке, есть ссылки только в этом блоке
    • Одна или более FunctionDeclaration, у которой BindgingIndentifier является имя f встречающейся в коде содержащей функции g и это определение вложено в блок
    • В коде функции g нет других определений f, которые не использовали бы var
    • Все вхождения f в качестве IdentifierReference находятся внутри StatementList того блока, в котором находится определение f
  2. Функция определена и, возможно, используется внутри одного блока, но также на нее ссылаются определения внутри функции, которые находятся не в этом же блоке.
    • Одна или более FunctionDeclaration, у которой BindgingIndentifier является имя f встречающейся в коде содержащей функции g и это определение вложено в блок
    • В коде функции g нет других определений f, которые не использовали бы var
    • Могут быть вхождения f в качестве IdentifierReference находящиеся внутри StatementList того блока, в котором находится определение f
    • Хотя бы одно вхождение f в качестве IdentifierReference внутри другой функции h, которая так же вложена в g, и нет других определений f перекрывающих ссылку на f внутри h
    • Все вызовы h происходят после того, как определение f будет выполнено.
  3. Функция определена и, возможно, используется внутри одного блока, но также на нее есть ссылки в следующих блоках.
    • Одна или более FunctionDeclaration, у которой BindgingIndentifier является имя f встречающейся в коде содержащей функции g и это определение вложено в блок
    • В коде функции g нет других определений f, которые не использовали бы var
    • Могут быть вхождения f в качестве IdentifierReference находящиеся внутри StatementList того блока, в котором находится определение f
    • Есть хотя бы одно вхождение f в качестве IdentifierReference внутри кода функции g, который лексически следует за блоком, в котором определеная функция f.

Первый вариант совместим с семантикой определения функций на уровне блока, добавленной в ECMAScript 2015. Любой ранее существующий код, который использует данный вариант будет работать так, как это описано в главах 9, 13 и 14 этой спецификации.

Для совместимости второго и третьего необходимо расширение семантики в главах 9, 14, 18.2.1, и 15.1.11.


Далее в спецификации приведены изменения для нужных глав. Можно рассмотреть изменение алгоритма FunctionDeclarationInstantiation, которое приведено в пункте B.3.3.1.

А именно добавление дополнительных шагов: в случае не strictидет попытка заменить все FunctionDeclaration, находящиеся внутри блоков, либо CaseClause, либо DefaultClause на VariableStatement и в случае невозможности - показывается ошибка.

Соответственно, если ошибок не было, вне блока будет поведение аналогичное объявлению var.

7
  • StatementList это что?
    – Topik
    15 фев 2019 в 8:43
  • @Topik, StatementList - это все к разбору кода относится, то есть Block - это { StatementList } - StatementList - дальше раскрывается, и т.д.
    – Grundy
    15 фев 2019 в 9:16
  • как-то сложно (((
    – Topik
    15 фев 2019 в 9:44
  • @Topik, это только так кажется. Грубо говоря, если функция используется снаружи блока - она ведет себя как переменная объявленная с помощью var, внутри блока - как обычно
    – Grundy
    15 фев 2019 в 10:44
  • выходит, что информация об этом была только в спецификации. Поскольку я искал, что то об этом в книгах на русском, но не нашел. Надеюсь таких нюансов не много, о которых нет никакой информации на русском языке, потому что спецификацию мне пока очень тяжело читать ( стремлюсь к этому ). Может дадите какой-нибудь совет по этому поводу? Ведь вы должно быть имеете более полную картину.
    – Topik
    15 фев 2019 в 11:03
0

Es6 ввёл блочную область видимости функций

https://github.com/azat-io/you-dont-know-js-ru/blob/master/es6%20%26%20beyond/ch2.md

Книга старая и не учитывает новый стандарт

Для ошибки 'use strict'

2
  • Т.е в ней все верно, просто с появлением ES6 кое-что изменилось?
    – Topik
    14 фев 2019 в 13:40
  • В книге все верно на момент написания, но стандарт не стоит на месте. Посмотри Block scoped functions по ссылке. 14 фев 2019 в 13:42

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.