重学js —— 函数：异步 Generator 函数定义和异步箭头函数定义

[lizhongzhen11]

异步 Generator 函数定义 和 异步箭头函数定义

异步 Generator EvaluateBody

伴有参数 functionObject 和 List argumentsList。

AsyncGeneratorBody : FunctionBody

1. 执行 ? FunctionDeclarationInstantiation(functionObject, argumentsList)
2. 定义 generator 为 ? OrdinaryCreateFromConstructor(functionObject, "%AsyncGenerator.prototype%", « [[AsyncGeneratorState]], [[AsyncGeneratorContext]], [[AsyncGeneratorQueue]] »)
3. 执行 ! AsyncGeneratorStart(G, FunctionBody)
4. 返回 Completion { [[Type]]: return, [[Value]]: generator, [[Target]]: empty }

异步 Generator 实例化函数对象

伴有参数 scope。

AsyncGeneratorDeclaration : async function * 绑定标识符 ( 形参 ) { AsyncGeneratorBody }

1. 定义 name 为 绑定标识符 字符串值
2. 定义 F 为 ! OrdinaryFunctionCreate(%AsyncGenerator%, 形参, AsyncGeneratorBody, non-lexical-this, scope)
3. 定义 prototype 为 ! OrdinaryObjectCreate(%AsyncGenerator.prototype%)
4. 执行 ! DefinePropertyOrThrow(F, "prototype", PropertyDescriptor { [[Value]]: prototype, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false })
5. 执行 ! SetFunctionName(F, name)
6. 将 F.[[SourceText]] 赋值为 AsyncGeneratorDeclaration 匹配的 源文本
7. 返回 F

AsyncGeneratorDeclaration : async function * ( 形参 ) { AsyncGeneratorBody }

1. 定义 F 为 OrdinaryFunctionCreate(%AsyncGenerator%, 形参, AsyncGeneratorBody, non-lexical-this, scope)
2. 定义 prototype 为 OrdinaryObjectCreate(%AsyncGenerator.prototype%)
3. 执行 DefinePropertyOrThrow(F, "prototype", PropertyDescriptor { [[Value]]: prototype, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false })
4. 执行 SetFunctionName(F, "default")
5. 将 F.[[SourceText]] 赋值为 AsyncGeneratorDeclaration 匹配的 源文本
6. 返回 F

注意：任何匿名 AsyncGeneratorDeclaration 只能作为 export default 声明的一部分出现

异步 Generator 求值

AsyncGeneratorExpression : async function * ( 形参 ) { AsyncGeneratorBody }

1. 定义 scope 为 运行时执行上下文 的 LexicalEnvironment
2. 定义 closure 为 ! OrdinaryFunctionCreate(%AsyncGenerator%, 形参, AsyncGeneratorBody, non-lexical-this, scope)
3. 定义 prototype 为 ! OrdinaryObjectCreate(%AsyncGenerator.prototype%)
4. 执行 ! DefinePropertyOrThrow(closure, "prototype", PropertyDescriptor { [[Value]]: prototype, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false })
5. 将 closure.[[SourceText]] 赋值为 AsyncGeneratorExpression 匹配的 源文本
6. 返回 closure

AsyncGeneratorExpression : async function * 绑定标识符 ( 形参 ) { AsyncGeneratorBody }

1. 定义 scope 为 运行时执行上下文 的 LexicalEnvironment
2. 定义 funcEnv 为 ! NewDeclarativeEnvironment(scope)
3. 定义 envRec 为 funcEnv 的 EnvironmentRecord
4. 定义 name 为 绑定标识符 字符串值
5. 执行 ! envRec.CreateImmutableBinding(name, false)
6. 定义 closure 为 ! OrdinaryFunctionCreate(%AsyncGenerator%, 形参, AsyncGeneratorBody, non-lexical-this, funcEnv)
7. 定义 prototype 为 ! OrdinaryObjectCreate(%AsyncGenerator.prototype%)
8. 执行 ! DefinePropertyOrThrow(closure, "prototype", PropertyDescriptor { [[Value]]: prototype, [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false })
9. 执行 ! SetFunctionName(closure, name)
10. 执行 ! envRec.InitializeBinding(name, closure)
11. 将 closure.[[SourceText]] 赋值为 AsyncGeneratorExpression 匹配的 源文本
12. 返回 closure

异步箭头函数 BoundNames

CoverCallExpressionAndAsyncArrowHead : MemberExpression Arguments

1. 定义 head 为 CoverCallExpressionAndAsyncArrowHead 的 CoveredAsyncArrowHead
2. 返回 head

异步箭头函数 EvaluateBody

伴有参数 functionObject 和 List argumentsList。

AsyncConciseBody : ExpressionBody

1. 定义 promiseCapability 为 ! NewPromiseCapability(%Promise%)
2. 定义 declResult 为 FunctionDeclarationInstantiation(functionObject, argumentsList)
3. 如果 declResult 不是 abrupt completion，
   1. 执行 ! AsyncFunctionStart(promiseCapability, ExpressionBody)
4. 否则，
   1. 执行 ! Call(promiseCapability.[[Reject]], undefined, « declResult.[[Value]] »)
5. 返回 Completion { [[Type]]: return, [[Value]]: promiseCapability.[[Promise]], [[Target]]: empty }

异步箭头函数 求值

AsyncArrowFunction : async AsyncArrowBindingIdentifier => AsyncConciseBody

1. 定义 scope 为 运行时执行上下文 的 LexicalEnvironment
2. 定义 parameters 为 AsyncArrowBindingIdentifier
3. 定义 closure 为 ! OrdinaryFunctionCreate(%AsyncFunction.prototype%, parameters, AsyncConciseBody, lexical-this, scope)
4. 将 closure.[[SourceText]] 赋值为 AsyncArrowFunction 匹配的 源文本
5. 返回 closure

AsyncArrowFunction : CoverCallExpressionAndAsyncArrowHead => AsyncConciseBody

1. 定义 scope 为 运行时执行上下文 的 LexicalEnvironment
2. 定义 head 为 CoverCallExpressionAndAsyncArrowHead 的 CoveredAsyncArrowHead
3. 定义 parameters 为 head 的 ArrowFormalParameters
4. 定义 closure 为 ! OrdinaryFunctionCreate(%AsyncFunction.prototype%, parameters, AsyncConciseBody, lexical-this, scope)
5. 将 closure.[[SourceText]] 赋值为 AsyncArrowFunction 匹配的 源文本
6. 返回 closure