重学js —— modules：Exports

[lizhongzhen11]

modules：Exports

• MDN —— export

ExportedBindings

ExportDeclaration :

  export ExportFromClause FromClause

1. 返回一个新的空 List

ExportDeclaration : export NamedExports

1. 返回 NamedExports 的 ExportedBindings

ExportDeclaration : export VariableStatement

1. 返回 VariableStatement 的 BoundNames

ExportDeclaration : export Declaration

1. 返回 Declaration 的 BoundNames

ExportDeclaration : export default HoistableDeclaration

ExportDeclaration : export default ClassDeclaration

ExportDeclaration : export default AssignmentExpression

1. 返回 ExportDeclaration 的 BoundNames

NamedExports : { }

1. 返回一个新的空 List

ExportsList : ExportsList , ExportSpecifier

1. 定义 names 为 ExportsList ExportedBindings
2. 把 ExportSpecifier ExportedBindings 加入到 names
3. 返回 names

ExportSpecifier : IdentifierName

1. 返回一个包含 IdentifierName 字符串值的 List

ExportSpecifier : IdentifierName as IdentifierName

1. 返回一条包含第一个 IdentifierName 字符串值的 List

ExportedNames

ExportDeclaration : export ExportFromClause FromClause

1. 返回 ExportFromClause 的 ExportedNames

ExportFromClause : *

1. 返回一个新的空 List

ExportFromClause : * as IdentifierName

1. 返回一个包含 IdentifierName 字符串值的 List

ExportFromClause : NamedExports

1. 返回 NamedExports 的 ExportedNames

ExportDeclaration : export VariableStatement

1. 返回 VariableStatement 的 BoundNames

ExportDeclaration : export Declaration

1. 返回 Declaration 的 BoundNames

ExportDeclaration : export default HoistableDeclaration

ExportDeclaration : export default ClassDeclaration

ExportDeclaration : export default AssignmentExpression

1. 返回 « "default" »

NamedExports : { }

1. 返回一个新的空 List

ExportsList : ExportsList , ExportSpecifier

1. 定义 names 为 ExportsList 的 ExportedNames
2. 把 ExportSpecifier 的 ExportedNames 中元素加入到 names
3. 返回 names

ExportSpecifier : IdentifierName

1. 返回一个包含 IdentifierName 字符串值的 List

ExportSpecifier : IdentifierName as IdentifierName

1. 返回一条包含 第二 个 IdentifierName 字符串值的 List

ExportEntries

ExportDeclaration : export ExportFromClause FromClause

1. 定义 module 为 FromClause 的 ModuleRequests 的唯一元素
2. 返回 ExportFromClause 的 ExportEntriesForModule，参数为 module

ExportDeclaration : export NamedExports

1. 返回 NamedExports 的 ExportEntriesForModule，参数为 null

ExportDeclaration : export VariableStatement

1. 定义 entries 为一个新的空 List
2. 定义 names 为 VariableStatement 的 BoundNames
3. 遍历 names 中的 name，
   1. 将 ExportEntry Record { [[ModuleRequest]]: null, [[ImportName]]: null, [[LocalName]]: name, [[ExportName]]: name } 添加到 entries 中
4. 返回 entries

ExportDeclaration : export Declaration

1. 定义 entries 为一个新的空 List
2. 定义 names 为 Declaration 的 BoundNames
3. 遍历 names 中的 name，
   1. 将 ExportEntry Record { [[ModuleRequest]]: null, [[ImportName]]: null, [[LocalName]]: name, [[ExportName]]: name } 添加到 entries 中
4. 返回 entries

ExportDeclaration : export default HoistableDeclaration

1. 定义 names 为 HoistableDeclaration 的 BoundNames
2. 定义 localName 为 names 的唯一元素
3. 返回一个包含 ExportEntry Record { [[ModuleRequest]]: null, [[ImportName]]: null, [[LocalName]]: localName, [[ExportName]]: "default" } 的 List

ExportDeclaration : export default ClassDeclaration

1. 定义 names 为 ClassDeclaration 的 BoundNames
2. 定义 localName 为 names 的唯一元素
3. 返回一个包含 ExportEntry Record { [[ModuleRequest]]: null, [[ImportName]]: null, [[LocalName]]: localName, [[ExportName]]: "default" } 的 List

ExportDeclaration : export default AssignmentExpression

1. 定义 entry 为 ExportEntry Record { [[ModuleRequest]]: null, [[ImportName]]: null, [[LocalName]]: "*default*", [[ExportName]]: "default" }
2. 返回一个包含 entry 的 List

ModuleRequests

ExportDeclaration : export ExportFromClause FromClause

1. 返回 FromClause 的 ModuleRequests

ExportDeclaration :

  export NamedExports;
  export VariableStatement
  export Declaration
  export default HoistableDeclaration
  export default ClassDeclaration
  export default AssignmentExpression;

1. 返回一个新的空 List

求值

ExportDeclaration :

  export ExportFromClause FromClause
  export NamedExports

// 很多，举例
export *
export * as all
// ...

1. 返回 NormalCompletion(empty)

ExportDeclaration : export VariableStatement

export var name;

1. 返回 VariableStatement 求值 结果

ExportDeclaration : export Declaration

// 很多，这里举例
export let name

1. 返回 Declaration 求值结果

ExportDeclaration : export default HoistableDeclaration

// 很多，这里举例
export default function fn(){}

1. 返回 HoistableDeclaration 求值结果

ExportDeclaration : export default ClassDeclaration

export default class T{}

1. 定义 value 为 ClassDeclaration 的 ? BindingClassDeclarationEvaluation
2. 定义 className 为 ClassDeclaration 的 BoundNames 的唯一元素
3. 如果 className 为 "*default*",
   1. 定义 env 为 运行时执行上下文 的 词法环境
   2. 执行 ? InitializeBoundName("*default*", value, env)
4. 返回 NormalCompletion(empty)

ExportDeclaration : export default AssignmentExpression

// 很多，举例
export default num = 1;

1. 如果 AssignmentExpression 是匿名函数，
   1. 定义 value 为 AssignmentExpression 的 NamedEvaluation，参数为 "default"
2. 否则，
   1. 定义 rhs 为 AssignmentExpression 求值 结果
   2. 定义 value 为 ? GetValue(rhs)
3. 定义 env 为 运行时执行上下文 的 词法环境
4. 执行 ? InitializeBoundName("*default*", value, env)
5. 返回 NormalCompletion(empty)