13 Определение функции # Ⓣ Ⓔ ① Ⓐ

Синтаксис

FunctionDeclaration :

function Identifier ( FormalParameterList_opt) { FunctionBody }

FunctionExpression :

function Identifier_opt( FormalParameterList_opt) { FunctionBody }

FormalParameterList :

Identifier
FormalParameterList , Identifier

FunctionBody :

SourceElements_opt

Семантика

Инстанциирование
FunctionDeclaration : function Identifier ( FormalParameterList_opt) { FunctionBody }
производится во время Инстанциирования привязки объявления (10.5) следующим образом:

1. Вернуть результат создания нового объекта типа Function, как описано в пункте 13.2, при этом параметры заданы посредством FormalParameterList_opt Список формальных параметров (необязательный), а тело определено посредством FunctionBody. Передать VariableEnvironment активного контекста исполнения в качестве области видимости Scope. Передать true в качестве флага Strict, если FunctionDeclaration содержится в строгом коде, или если FunctionBody – строгий код.

Для вычисления
FunctionExpression : function ( FormalParameterList_opt) { FunctionBody }
выполняются следующие шаги:

1. Вернуть результат создания нового объекта Function, как описано в пункте 13.2, при этом параметры заданы посредством FormalParameterList_opt, а тело определено посредством FunctionBody. Передать LexicalEnvironment активного контекста исполнения в качестве области видимости Scope. Передать true в качестве флага Strict, если FunctionExpression содержится в строгом коде, или если FunctionBody – строгий код.

Для вычисления
FunctionExpression : function Identifier ( FormalParameterList_opt) { FunctionBody }
выполняются следующие шаги:

1. Пусть funcEnv Окружение функции будет результатом вызова абстрактной операции NewDeclarativeEnvironment с передачей в качестве аргумента Lexical Environment.

2. Пусть envRec будет записью окружения для funcEnv.

3. Вызвать конкретный метод CreateImmutableBinding(N) для envRec, передавая в качестве аргумента Identifier.

4. Пусть closure будет результатом создания нового объекта Function, как описано в пункте 13.2, при этом параметры заданы посредством FormalParameterList_opt, а тело определено посредством FunctionBody. Передать funcEnv в качестве Scope. Передать true в качестве флага Strict, если FunctionExpression содержится в строгом коде, или если FunctionBody – строгий код.

5. Вызвать конкретный метод InitializeImmutableBinding(N,V) для envRec, передавая в качестве аргументов строковое значения для Identifier и closure.

6. Вернуть closure.

ПРИМЕЧАНИЕ На идентификатор в FunctionExpression Выражение функции можно ссылаться из тела функции FunctionBody этого выражения функции, что позволяет функции рекурсивно вызывать саму себя. Однако из области видимости, в которую вложено FunctionExpression, невозможно ссылаться на идентификатор Identifier в этом FunctionExpression, и этот идентификатор не влияет на эту область видимости (в отличие от идентификатора в объявлении функции FunctionDeclaration).

Для вычисления FunctionBody : SourceElements_opt выполняются следующие шаги:

1. Код этого тела функции FunctionBody является кодом в строгом режиме, если он является частью FunctionDeclaration или FunctionExpression, которые содержатся в коде в строгом режиме, или если Директивный пролог (14.1) его SourceElements Элементы исходного кода содержит директиву "Use Strict", или если применимо какое-либо из условий, указанных в пункте 10.1.1. Если код этого FunctionBody является кодом в строгом режиме, то SourceElements в следующих шагах вычисляется как код в строгом режиме. Если это не так, то SourceElements в следующих шагах вычисляется как код, не являющийся кодом в строгом режиме.

2. Если SourceElements присутствует, вернуть результат вычисления SourceElements.

3. Иначе, вернуть (normal, undefined, empty).

13.1 Ограничения строгого режима # Ⓣ Ⓔ ① Ⓐ

Если значение идентификатора Identifier более одного раза встречается в FormalParameterList Список формальных параметров для FunctionDeclaration или FunctionExpression в строгом режиме, то генерируется SyntaxError.

Если Identifier "eval" или Identifier "arguments" встречается в FormalParameterList для FunctionDeclaration или FunctionExpression в строгом режиме, то генерируется SyntaxError.

Если Identifier "eval" или Identifier "arguments" встречается в качестве идентификатора Identifier для FunctionDeclaration или FunctionExpression в строгом режиме, то генерируется SyntaxError.

13.2 Создание объектов типа Function # Ⓣ Ⓔ ① Ⓐ

Используя необязательный список параметров, заданный посредством FormalParameterList, тело, заданное посредством FunctionBody, Лексическое Окружение, заданное областью видимости Scope, и булев флаг Strict, объект типа Function создаётся следующим образом:

1. Создать новый родной объект ECMAScript. Пусть F будет этим объектом.

2. Установить все внутренние методы для F, кроме метода [[Get]], как описано в пункте 8.12.

3. Внутреннему свойству [[Class]] для F присвоить "Function".

4. Присвоить внутреннему свойству [[Prototype]] для F значение стандартного встроенного объекта-прототипа Function, как описано в пункте 15.3.3.1.

5. Установить внутреннее свойство [[Get]] для F, как описано в пункте 15.3.5.4.

6. Установить внутреннее свойство [[Call]] для F, как описано в пункте 13.2.1.

7. Установить внутреннее свойство [[Construct]] для F, как описано в пункте 13.2.2.

8. Установить внутреннее свойство [[HasInstance]] для F, как описано в пункте 15.3.5.3.

9. Присвоить внутреннему свойству [[Scope]] для F значение Scope.

10. Пусть names будет списком List, содержащим слева направо строки, соответствующие идентификаторам для FormalParameterList.

11. Присвоить внутреннему свойству [[FormalParameters]] для F значение names.

12. Присвоить внутреннему свойству [[Code]] для F значение FunctionBody.

13. Присвоить внутреннему свойству [[Extensible]] для F значение true.

14. Пусть len будет количеством формальных параметров, заданных в FormalParameterList. Если в этом списке не заданы параметры, пусть len будет 0.

15. Вызвать внутренний метод [[DefineOwnProperty]] для F с аргументами "length", Property Descriptor {[[Value]]: len, [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false} и false.

16. Пусть proto будет результатом создания нового объекта, как если бы этот объект был создан выражением new Object(), где Object является стандартным встроенным конструктором с этим именем.

17. Вызвать внутренний метод [[DefineOwnProperty]] для proto с аргументами "constructor", Property Descriptor {[[Value]]: F, { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: true} и false.

18. Вызвать внутренний метод [[DefineOwnProperty]] для F с аргументами "prototype", Property Descriptor {[[Value]]: proto, { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false} и false.

19. Если Strict – true, то

    1. Пусть thrower будет объектом функции [[ThrowTypeError]] (13.2.3).

    2. Вызвать внутренний метод [[DefineOwnProperty]] для F с аргументами "caller", PropertyDescriptor {[[Get]]: thrower, [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: false} и false.

    3. Вызвать внутренний метод [[DefineOwnProperty]] для F с аргументами "arguments", PropertyDescriptor {[[Get]]: thrower, [[Set]]: thrower, [[Enumerable]]: false, [[Configurable]]: false} и false.

20. Вернуть F.

ПРИМЕЧАНИЕ Для каждой функции автоматически создаётся свойство prototype, чтобы предусмотреть возможность использования этой функции в качестве конструктора.

13.2.1 [[Call]] # Ⓣ Ⓔ ① Ⓐ

При вызове внутреннего метода [[Call]] для объекта Function, называемого F, со значением this и списком аргументов выполняются следующие шаги:

1. Пусть funcCtx будет результатом установления нового контекста исполнения для кода функции с использованием значения внутреннего свойства [[FormalParameters]] для F, переданного списка аргументов List, называемого args, и значения this, как описано в пункте 10.4.3.

2. Пусть result будет результатом вычисления FunctionBody, представляющим собой значение внутреннего свойства [[Code]] для F. Если у F нет внутреннего свойства [[Code]], или если его значение представляет собой пустое тело функции FunctionBody, то result равен (normal, undefined, empty).

3. Выйти из контекста исполнения funcCtx, восстановив предыдущий контекст исполнения.

4. Если result.type равно throw, то сгенерировать result.value.

5. Если result.type равно return, то вернуть result.value.

6. Иначе, result.type должен быть normal. Вернуть undefined.

13.2.2 [[Construct]] # Ⓣ Ⓔ ① Ⓐ

При вызове внутреннего метода [[Construct]] для объекта Function, называемого F, с возможно пустым списком аргументов выполняются следующие шаги:

1. Пусть obj будет новым родным объектом ECMAScript.

2. Установить все внутренние методы для obj, как описано в пункте 8.12.

3. Внутреннему свойству [[Class]] для obj присвоить "Object".

4. Присвоить внутреннему свойству [[Extensible]] для obj значение true.

5. Пусть proto будет значением вызова внутреннего свойства [[Get]] для F с аргументом "prototype".

6. Если Type(proto) равно Object, присвоить внутреннему свойству [[Prototype]] для obj значение proto.

7. Если Type(proto) не равно Object, присвоить внутреннему свойству [[Prototype]] для obj значение стандартного встроенного объекта-прототипа Object, как описано в пункте 15.2.4.

8. Пусть result будет результатом вызова внутреннего свойства [[Call]] для F, передавая obj в качестве значения this, и передавая список аргументов, переданный во внутренний метод [[Construct]] в качестве args.

9. Если Type(result) равно Object, вернуть result.

10. Вернуть obj.

13.2.3 Объект типа Function [[ThrowTypeError]] # Ⓣ Ⓔ ① Ⓐ

1. Объект [[ThrowTypeError]] является уникальным объектом функции, определение которого производится один раз следующим образом:

2. Создать новый родной объект ECMAScript. Пусть F будет этим объектом.

3. Установить все внутренние методы для F, как описано в пункте 8.12.

4. Внутреннему свойству [[Class]] для F присвоить "Function".

5. Присвоить внутреннему свойству [[Prototype]] для F значение стандартного встроенного объекта-прототипа Function, как описано в пункте 15.3.3.1.

6. Установить внутреннее свойство [[Call]] для F, как описано в пункте 13.2.1.

7. Присвоить внутреннему свойству [[Scope]] для F значение Глобального Окружения.

8. Присвоить внутреннему свойству [[FormalParameters]] для F значение пустого списка List.

9. Присвоить внутреннему свойству [[Code]] для F значение FunctionBody, которое безусловно генерирует исключение TypeError и больше никаких действий не производит.

10. Вызвать внутренний метод [[DefineOwnProperty]] для F с аргументами "length", Property Descriptor {[[Value]]: 0, [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false} и false.

11. Присвоить внутреннему свойству [[Extensible]] для F значение false.

12. Пусть [[ThrowTypeError]] будет F.