重学js —— modules：Imports

[lizhongzhen11]

modules：Imports

• MDN —— import

BoundNames

ImportDeclaration : import ImportClause FromClause

import myDefault from '/modules/my-module.js'; // 很多种，这里只列出最简单的

1. 返回 ImportClause 的 BoundNames

ImportDeclaration : import ModuleSpecifier

import '/modules/my-module.js';

1. 返回一个新的空 List

ImportClause : import ImportedDefaultBinding, NameSpaceImport

import myDefault, * as myModule from '/modules/my-module.js';

1. 定义 names 为 ImportedDefaultBinding 的 BoundNames
2. 把 NameSpaceImport 的 BoundNames 的元素加入到 names
3. 返回 names

ImportClause : import ImportedDefaultBinding, NamedImports

import myDefault, {foo, bar} from '/modules/my-module.js';

1. 定义 names 为 ImportedDefaultBinding 的 BoundNames
2. 把 NamedImports 的 BoundNames 的元素加入到 names
3. 返回 names

NamedImports : { }

import {foo, bar} from '/modules/my-module.js';

1. 返回一个新的空 List

ImportsList : ImportsList, ImportSpecifier

import {foo, bar, anotherLongModuleName as short} from '/modules/my-module.js';

1. 定义 names 为 ImportsList 的 BoundNames
2. 把 ImportSpecifier 的 BoundNames 的元素加入到 names
3. 返回 names

ImportSpecifier : IdentifierName as ImportedBinding

import {reallyReallyLongModuleExportName as shortName} from '/modules/my-module.js';

1. 返回 ImportedBinding 的 BoundNames

ImportEntries

ImportDeclaration : import ImportClause FromClause

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

ImportDeclaration : import ModuleSpecifier

1. 返回一个新的空 List

ImportEntriesForModule

伴有参数 module。

ImportClause : ImportedDefaultBinding, NameSpaceImport

// 默认导出和全部导出共存

1. 定义 entries 为 ImportedDefaultBinding 的 ImportEntriesForModule，参数为 module
2. 把 NameSpaceImport 的 ImportEntriesForModule 的元素加入到 entries 中，参数为 module
3. 返回 entries

ImportClause : ImportedDefaultBinding, NamedImports

// 默认导出和部分导出共存

1. 定义 entries 为 ImportedDefaultBinding 的 ImportEntriesForModule，参数为 module
2. 把 NamedImports 的 ImportEntriesForModule 的元素加入到 entries 中，参数为 module
3. 返回 entries

ImportedDefaultBinding : ImportedBinding

// 默认导出的绑定名

1. 定义 localName 为 ImportedBinding 的 BoundNames 唯一元素
2. 定义 defaultEntry 为 ImportEntry Record { [[ModuleRequest]]: module, [[ImportName]]: "default", [[LocalName]]: localName }
3. 返回一个包含 defaultEntry 的 List

NameSpaceImport : * as ImportedBinding

// 全部导出，用别名代替这个模块

1. 定义 localName 为 ImportedBinding 的字符串值
2. 定义 entry 为 ImportEntry Record { [[ModuleRequest]]: module, [[ImportName]]: "*", [[LocalName]]: localName }
3. 返回一个包含 entry 的 List

NamedImports : { }

// 部分导出

1. 返回一个新的空 List

ImportsList : ImportsList, ImportSpecifier

// 导出的多个绑定名，以及用别名代替

1. 定义 specs 为 ImportsList 的 ImportEntriesForModule，参数为 module
2. 把 ImportSpecifier 的 ImportEntriesForModule 的元素加入到 specs 中，参数为 module
3. 返回 specs

ImportSpecifier : ImportedBinding

// 导出的绑定名

1. 定义 localName 为 ImportedBinding 的 BoundNames 唯一元素
2. 定义 entry 为 ImportEntry Record { [[ModuleRequest]]: module, [[ImportName]]: localName, [[LocalName]]: localName }
3. 返回一个包含 entry 的 List

ImportSpecifier : IdentifierName as ImportedBinding

// 导出的绑定赋予别名
reallyReallyLongModuleExportName as shortName

1. 定义 importName 为 IdentifierName 字符串值
2. 定义 localName 为 ImportedBinding 字符串值
3. 定义 entry 为 ImportEntry Record { [[ModuleRequest]]: module, [[ImportName]]: importName, [[LocalName]]: localName }
4. 返回一个包含 entry 的 List

ModuleRequests

ImportDeclaration : import ImportClause FromClause

1. 返回 FromClause 的 ModuleRequests

ModuleSpecifier : StringLiteral

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