ES6笔记---Module 的语法

概述

ES6 模块的设计思想是尽量的静态化，使得编译时就能确定模块的依赖关系，以及输入和输出的变量

CommonJS 和 AMD 模块，都只能在运行时确定这些东西。比如，CommonJS 模块就是对象，输入时必须查找对象属性

// CommonJS模块
let { stat, exists, readfile } = require('fs');

// 等同于
let _fs = require('fs');
let stat = _fs.stat;
let exists = _fs.exists;
let readfile = _fs.readfile;
复制代码

上面代码的实质是整体加载fs模块（即加载fs的所有方法），生成一个对象（_fs），然后再从这个对象上面读取 3 个方法

这种加载称为“运行时加载”，因为只有运行时才能得到这个对象，导致完全没办法在编译时做“静态优化”

ES6 模块不是对象，而是通过export命令 显式指定输出的代码，再通过import命令输入

// ES6模块
import { stat, exists, readFile } from 'fs'
复制代码

上面代码的实质是从fs模块加载 3 个方法，其他方法不加载

这种加载称为“编译时加载”或者静态加载，即 ES6 可以在编译时就完成模块加载，效率要比 CommonJS 模块的加载方式高。当然，这也导致了没法引用 ES6 模块本身，因为它不是对象

严格模式

ES6 的模块自动采用严格模式，不管你有没有在模块头部加上"use strict";

export、 export default 和 import

export

常用方式

// 写法一
export var m = 1

// 写法二
var m = 1
export {m}

// 写法三
var n = 1
export {n as m}

export function f() {}

function f() {}
export {f}
复制代码

它们的实质是，在接口名与模块内部变量之间，建立了一一对应的关系

export 重命名（as）

function v1() { ... }
function v2() { ... }
export {
  v1 as streamV1,
  v2 as streamV2,
  v2 as streamLatestVersion
}
复制代码

上面代码使用as关键字，重命名了函数v1和v2的对外接口。重命名后，v2可以用不同的名字输出两次

另外，export语句输出的接口，与其对应的值是动态绑定关系，即通过该接口，可以取到模块内部实时的值

export var foo = 'bar'
setTimeout(() => foo = 'baz', 500)
复制代码

上面代码输出变量foo，值为bar，500 毫秒之后变成baz

这一点与 CommonJS 规范完全不同。 CommonJS 模块输出的是值的缓存，不存在动态更新

最后，export命令可以出现在模块的任何位置，只要处于模块顶层就可以。如果处于块级作用域内，就会报错，import命令也是如此。这是因为处于条件代码块之中，就没法做静态优化了，违背了 ES6 模块的设计初衷

export default 为模块指定默认输出

一个模块只有一个默认输出，对应的import语句不需要使用大括号

本质上，export default就是输出一个叫做default的变量或方法

匿名函数方式

// 输出
export default function () {}
// 输入
import customName from './export-default'
customName() // 'foo'
复制代码

具名函数方式

export default function foo() {}

// 或者写成

function foo() {}
export default foo
复制代码

本质上，export default就是输出一个叫做default的变量或方法，然后系统允许你为它取任意名字。所以，下面的写法是有效的

// 输出
function add(x, y) {
  return x * y
}
export {add as default}
// 等同于
// export default add

// 输入
import { default as foo } from 'modules'
// 等同于
// import foo from 'modules'
复制代码

正是因为export default命令其实只是输出一个叫做default的变量，所以它后面不能跟变量声明语句

// 正确
export var a = 1

// 正确
var a = 1
export default a

// 错误
export default var a = 1
复制代码

上面代码中，export default a的含义是将变量a的值赋给变量default。所以，最后一种写法会报错

同样地，因为export default命令的本质是将后面的值，赋给default变量，所以可以直接将一个值写在export default之后

// 正确
export default 42

// 报错
export 42
复制代码

上面代码中，后一句报错是因为没有指定对外的接口，而前一句指定对外接口为default

import

import { firstName, lastName, year } from './profile.js'

// 重命名变量
import { lastName as surname } from './profile.js'
复制代码

import命令输入的变量都是 只读 的，因为它的本质是输入接口。也就是说，不允许在加载模块的脚本里面，改写接口

import {a} from './xxx.js'

a = {} // Syntax Error : 'a' is read-only
复制代码

但是，如果a是一个对象，改写a的属性是允许的，并且其他模块也可以读到改写后的值

import命令具有提升效果，会提升到整个模块的头部，首先执行

import语句会执行所加载的模块，因此可以有下面的写法

import 'lodash'
复制代码

上面代码仅仅执行lodash模块，但是不输入任何值

如果多次重复执行同一句import语句，那么只会执行一次，而不会执行多次

import { foo } from 'my_module'
import { bar } from 'my_module'

// 等同于
import { foo, bar } from 'my_module'
复制代码

上面代码中，虽然foo和bar在两个语句中加载，但是它们对应的是同一个my_module实例。也就是说，import语句是 单例模式

目前阶段，通过 Babel 转码，CommonJS 模块的require命令和 ES6 模块的import命令，可以写在同一个模块里面，但是最好不要这样做。因为import在静态解析阶段执行，所以它是一个模块之中最早执行的。下面的代码可能不会得到预期结果

require('core-js/modules/es6.symbol')
require('core-js/modules/es6.promise')
import React from 'React'
复制代码

模块的整体加载

除了指定加载某个输出值，还可以使用整体加载，即用星号（*）指定一个对象，所有输出值都加载在这个对象上面

import * as circle from './circle'
复制代码

export 与 import 的复合写法

如果在一个模块之中，先输入后输出同一个模块，import语句可以与export语句写在一起

export { foo, bar } from 'my_module'

// 可以简单理解为
import { foo, bar } from 'my_module'
export { foo, bar }
复制代码

上面代码中，export和import语句可以结合在一起，写成一行。但需要注意的是，写成一行以后，foo和bar实际上并没有被导入当前模块，只是相当于对外转发了这两个接口，导致当前模块不能直接使用foo和bar

// 接口改名
export { foo as myFoo } from 'my_module'

// 整体输出
export * from 'my_module'

// 整体输出并改名
export * as ns from "mod"
// 等同于
import * as ns from "mod"
export {ns}

// 默认接口的写法
export { default } from 'foo'

// 具名接口改为默认接口的写法
export { es6 as default } from './someModule'
// 等同于
import { es6 } from './someModule'
export default es6

// 默认接口改名为具名接口
export { default as es6 } from './someModule'
复制代码

Ps:export *命令会忽略被引入模块的default方法

模块的继承

假设有一个a模块，继承了circle模块

// a.js
export * from 'circle'
export var e = 2.71828182846
export default function(x) {
  return Math.exp(x)
}
复制代码

上面代码中的export *，表示再输出circle模块的所有属性和方法，然后，上面代码又输出了自定义的e变量和默认方法，这就是实现了a.js继承了circle.js

加载上面的模块

import * as math from 'a'
import exp from 'a'
console.log(exp(math.e))
复制代码

上面代码中的import exp表示，将a模块的默认方法加载为exp方法

import()

前面介绍过，import命令会被 JavaScript 引擎静态分析，先于模块内的其他语句执行。所以，下面的代码会报错

// 报错
if (x === 2) {
  import MyModual from './myModual'
}
复制代码

上面代码中，引擎处理import语句是在编译时，这时不会去分析或执行if语句，所以import语句放在if代码块之中毫无意义，因此会报句法错误，而不是执行时错误。也就是说，import和export命令只能在模块的顶层，不能在代码块之中（比如，在if代码块之中，或在函数之中）。

这样的设计，固然有利于编译器提高效率，但也导致无法在运行时加载模块。在语法上，条件加载就不可能实现。如果import命令要取代 Node 的require方法，这就形成了一个障碍。因为require是运行时加载模块，import命令无法取代require的动态加载功能

const path = './' + fileName
const myModual = require(path)
复制代码

上面的语句就是动态加载，require到底加载哪一个模块，只有运行时才知道。import命令做不到这一点

ES2020提案 引入import()函数，支持动态加载模块

import(specifier)
复制代码

上面代码中，import函数的参数specifier，指定所要加载的模块的位置。import命令能够接受什么参数，import()函数就能接受什么参数，两者区别主要是后者为动态加载

import()返回一个 Promise 对象。下面是一个例子

const main = document.querySelector('main')

import(`./section-modules/${someVariable}.js`)
  .then(module => {
    module.loadPageInto(main)
  })
  .catch(err => {
    main.textContent = err.message
  })
复制代码

import()函数可以用在任何地方，不仅仅是模块，非模块的脚本也可以使用。它是运行时执行，也就是说，什么时候运行到这一句，就会加载指定的模块。另外，import()函数与所加载的模块没有静态连接关系，这点也是与import语句不相同。import()类似于 Node 的require方法，区别主要是前者是异步加载，后者是同步加载

适用场合

1）按需加载

import()可以在需要的时候，再加载某个模块

button.addEventListener('click', event => {
  import('./dialogBox.js')
  .then(dialogBox => {
    dialogBox.open()
  })
  .catch(error => {
    /* Error handling */
  })
})
复制代码

上面代码中，import()方法放在click事件的监听函数之中，只有用户点击了按钮，才会加载这个模块

2）条件加载 import()可以放在if代码块，根据不同的情况，加载不同的模块

if (condition) {
  import('moduleA').then(...)
} else {
  import('moduleB').then(...)
}
复制代码

上面代码中，如果满足条件，就加载模块 A，否则加载模块 B

3）动态的模块路径

import()允许模块路径动态生成

import(f())
.then(...)
复制代码

上面代码中，根据函数f的返回结果，加载不同的模块

注意点

import()加载模块成功以后，这个模块会作为一个对象，当作then方法的参数。因此，可以使用对象解构赋值的语法，获取输出接口

import('./myModule.js')
.then(({export1, export2}) => {
  // ...·
})
复制代码

上面代码中，export1和export2都是myModule.js的输出接口，可以解构获得

如果模块有default输出接口，可以用参数直接获得

import('./myModule.js')
.then(myModule => {
  console.log(myModule.default);
})

// 具名输入
import('./myModule.js')
.then(({default: theDefault}) => {
  console.log(theDefault)
})
复制代码

如果想同时加载多个模块，可以采用下面的写法

Promise.all([
  import('./module1.js'),
  import('./module2.js'),
  import('./module3.js'),
])
.then(([module1, module2, module3]) => {})
复制代码

import()也可以用在 async 函数之中

async function main() {
  const myModule = await import('./myModule.js')
  const {export1, export2} = await import('./myModule.js')
  const [module1, module2, module3] =
    await Promise.all([
      import('./module1.js'),
      import('./module2.js'),
      import('./module3.js'),
    ])
}
main()
复制代码