ECMAScript6(19)：Module 模块

摘要：认识模块作为一名编程语言，一直以来没有模块的概念。在之前，有主要的个模块化方案和。这样引入模块和引入模块方法差不多，其代表是。关键字用于规定模块的对外接口，关键字用于输入其他模块提供的功能。

JS 作为一名编程语言，一直以来没有模块的概念。严重导致大型项目开发受阻，js 文件越写越大，不方便维护。其他语言都有模块的接口，比如 Ruby 的 require，python 的 import，C++ 天生的 #include，甚至 CSS 都有 @import。在 ES6 之前，有主要的2个模块化方案：CommonJS 和 AMD。前者用于服务器，后者用于浏览器。CommonJS 这样引入模块：

let {stat, exists, readFile} = require("fs");

AMD 和 CommonJS 引入模块方法差不多，其代表是 require.js。这里我们主要研究 ES6 提供的方法：

import {stat, exists, readFile} from "fs"

这个方法相比之前的方案，具有以下优点：

最大的优点就是编译的时候完成模块加载，称之为"编译时加载", 而 CommonJS 使用的是 "运行时加载"。明显 ES6 效率更高

不再需要 UMD 模块格式，未来服务器和浏览器一定都能支持这种方法

将来浏览器 API 可以用模块的格式提供，不需要做成全局变量或 navigator 的属性

不需要反复的封装和定义命名空间，直接以模块形式提供即可

模块默认工作在严格模式，即使没有指定"use strict", 关于严格模式可以看：Javascript严格模式特点

一个模块就是一个文件，有效地减少了全局变量污染

模块功能主要由2个命令组成：export 和 import。export 关键字用于规定模块的对外接口，import 关键字用于输入其他模块提供的功能。这里需要知道的是，ES6 中模块导出的都会构成一个对象。

export 导出模块的部分方法属性或类

export var a = 1;
export var b = 2;
export var c = 3;

上面导出了3个变量，和下面的下法等价：

var a = 1;
var b = 2;
var c = 3;
export {a, b, c};    //这种写法更好，在文件结尾统一导出，清晰明了

当然还可以导出函数和类

//导出一个函数 add
export function add(x,y){
  return x + y;
}
//导出一个类
export default class Person{}

还可以在导出时候对参数重命名：

function foo(){}
function bar(){}

export {foo, bar as bar2, bar as bar3}     //bar 被重命名为 bar2,bar3输出了2次

import 导入命令可以导入其他模块通过 export 导出的部分

// abc.js
var a = 1;
var b = 2;
var c = 3;
export {a, b, c}

//main.js
import {a, b, c} from "./abc";      //接受的变量用大括号表示，以解构赋值的形式获取
console.log(a, b, c);

导入的时候也可以为变量重新取一个名字

import {a as aa, b, c};
console.log(aa, b, c)

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

// 正常写法
import {a, b, c} form "./abc";
export {a, b, c}

// 使用简写, 可读性不好，不建议
export {a, b, c} from "./abc";

//ES7 提议，在简化先输入后输出的写法。现在不能使用，也不建议使用，可读性不好
export a, b, c from "./abc"

使用 import 和 export 需要注意一下几个方面：

export 必须写在所在模块作用于的顶层。如果写在了内部作用于会报错

export 输出的值是动态绑定的，绑定在其所在的模块。

// foo.js
export var foo = "foo";

setTimeout(function() {
  foo = "foo2";
}, 500);

// main.js
import * as m from "./foo";
console.log(m.foo); // foo
setTimeout(() => console.log(m.foo), 500); //foo2            500ms 后同样会被修改

import 具有声明提升，而且会提升到整个文件最上面

import 获得的变量都是只读的，修改它们会报错

在 export 输出内容时，如果同时输出多个变量，需要使用大括号{}，同时 import 导入多个变量也需要大括号

import 引入模块的默认后缀是 .js, 所以写的时候可以忽略 js 文件扩展名

import 会执行要所加载的模块。如下写法仅仅执行一个模块，不引入任何值

import "./foo";    //执行 foo.js 但不引入任何值

当然模块可以作为整体加载，使用*关键字，并利用 as 重命名得到一个对象，所有获得的 export 的函数、值和类都是该对象的方法：

// abc.js
export var a = 1;
export var b = 2;
export var c = 3;

// main.js
import * as abc from "./abc";
console.log(abc.a, abc.b, abc.c);

上面 main.js 中的整体加载可以用 module 关键字实现：

//暂时无法实现
module abc from "./abc";
console.log(abc.a, abc.b, abc.c);   //1 2 3

注意，以上2种方式获得的接口，不包括 export default 定义的默认接口。

为了使模块的用户可以不看文档，或者少看文档，输出模块的时候利用 export default 指定默认输出的接口。使用 export defalut 输出时，不需要大括号，而 import 输入变量时，也不需要大括号(没有大括号即表示获得默认输出)

// abc.js
var a = 1, b = 2, c = 3;
export {a, b};
export default c;     //等价于 export default 3;

// main.js
import {a, b} from "./abc";
import num from "./abc";        // 不需要大括号, 而且可以直接改名(如果必须用原名不还得看手册么?)
console.log(a, b, num)            // 1 2 3

本质上，export default输出的是一个叫做default的变量或方法，输入这个default变量时不需要大括号。

// abc.js
var a = 20;
export {a as default};

// main.js
import a from "./abc"; // 这样也是可以的
console.log(a);        // 20

// 这样也是可以的
import {default as aa} from "./abc";
console.log(aa);       // 20

如果需要同时输入默认方法和其他变量可以这样写 import:

import customNameAsDefaultExport, {otherMethod}, from "./export-default";

这里需要注意：一个模块只能有一个默认输出，所以 export default 只能用一次

所谓模块的继承，就是一个模块 B 输出了模块 A 全部的接口，就仿佛是 B 继承了 A。利用 export * 实现：

// circleplus.js
export * from "circle";            //当然，这里也可以选择只继承其部分接口，甚至可以对接口改名
export var e = 2.71828182846;
export default function(x){        //重新定义了默认输出，如果不想重新定义可以：export customNameAsDefaultExport from "circle";
  return Math.exp(x);
}

//main.js
import * from "circleplus";        //加载全部接口
import exp from "circleplus";      //加载默认接口
//...use module here

上面这个例子 circleplus 继承了 circle。值得一提的是，export * 不会再次输出 circle 中的默认输出(export default)。

在使用和定义模块时，希望可以做到以下几个建议：

Module 语法是 JavaScript 模块的标准写法，坚持使用这种写法。使用 import 取代 require, 使用 export 取代module.exports

如果模块只有一个输出值，就使用 export default，如果模块有多个输出值，就不使用 export default

尽量不要 export default 与普通的 export 同时使用

不要在模块输入中使用通配符。因为这样可以确保你的模块之中，有一个默认输出(export default)

如果模块默认输出一个函数，函数名的首字母应该小写；如果模块默认输出一个对象，对象名的首字母应该大写

ES6 模块加载的机制是值的应用，而 CommonJS 是值的拷贝。这意味着， ES6 模块内的值的变换会影响模块外对应的值，而 CommonJS 不会。 ES6 遇到 import 时不会立刻执行这个模块，只生成一个动态引用，需要用的时候再去里面找值。有点像 Unix 中的符号链接。所以说 ES6的模块是动态引用，不会缓存值。之前的这个例子就可以说明问题：

// foo.js
export let counter = 3;
export function inc(){
  counter++;
}

// main.js
import {counter, inc} from "./foo";
console.log(counter);    //3
inc();
console.log(counter);    //4

我们看一个 CommonJS 的情况

// foo.js
let counter = 3;
function inc(){
  counter++;
}
module.exports = {
  counter: counter,
  inc: inc
}

// main.js
let foo = require("./foo")
let counter = foo.counter;
let inc = foo.inc;

console.log(counter);    //3
inc();
console.log(counter);    //3

不知道你们只不知道循环引用，在 内存管理与垃圾回收中提到过：如果 A 对象的一个属性值是 B 对象，而 B 对象的一个属性值是 A 对象，就会形成循环引用，无法释放他们的内存。而模块中也会出现循环加载的情况：如果 A 模块的执行依赖 B 模块，而 B 模块的执行依赖 A 模块，就形成了一个循环加载，结果程序不能工作，或者死机。然而，这样的关系很难避免，因为开发者众多，谁都会在开发自己的模块时使用别人的几个模块，久而久之，就行互联网一样，这样的依赖也织成了一个网。

ES6 和 CommonJS 处理循环加载又不一样，从 CommonJS 开始研究

CommonJS

CommonJS 每次执行完一个模块对应的 js 文件后在内存中就生成一个对象：

{
  id: "...",           //表示属性的模块名
  exports: {...};      //模块输出的各个接口
  loaded: true,        //表示是否加载完毕
  //...内容很多，不一一列举了
}

之后使用这个模块，即使在写一遍 requrie，都不会再执行对应 js 文件了，会直接在这个对象中取值。
CommonJS 如果遇到循环加载，就输出已执行的部分，之后的不再执行，执行顺序以注释序号为准(从0开始)：

// a.js
exports.done = false;         //1. 先输出 done
var b = require("./b.js");    //2. 进入 b.js 执行 b.js    //5. 发现 a.js 没执行完，那就重复不执行 a.js，返回已经执行的 exports
console.log(`In a.js, b.done = ${b.done}`);     //10. 第2步的 b.js 执行完了，继续执行 a.js 得到控制台输出："In a.js, b.done = true"
exports.done = true;          //11
console.log("a.js executed");  //12. 得到控制台输出："a.js executed"

// b.js
exports.done = false;         //3. 先输出 done
var a = require("./a.js");    //4. 执行到这里发生循环加载，去 a.js 执行 a.js     //6. 只得到了 a.js 中的 done 为 false
console.log(`In b.js, a.done = ${a.done}`);       //7. 得到控制台输出："In b.js, a.done = false"
exports.done = true;     //8. 输出 done, 覆盖了第3步的输出
console.log("b.js executed");     //9. 得到控制台输出："b.js executed"

//main.js
var a = require("./a.js");    //0. 去 a.js 执行 a.js
var b = require("./b.js");    //13. b.js 已经执行过了，直接去内存中的对象取值
console.log(`In main，a.done = ${a.done}, b.done = ${b.done}`)    //得到控制台输出："In main，a.done = true, b.done = true"

ES6

由于 ES6 使用的是动态引用，遇到 import 时不会执行模块。所以和 CommonJS 有本质的区别。同样我们看个例子：

// a.js
import {bar} from "./b.js";
export function foo(){
  bar();
  console.log("finished")
}

// b.js
import {foo} from "./a.js";
export function bar(){
  foo();
}

//main.js
import * from "./a.js";
import * from "./b.js";
//...

上面这段代码写成 CommonJS 形式是无法执行的，应为 a 输出到 b 的接口为空(null), 所以在 b 中调用 foo() 要报错的。但是 ES6 可以执行，得到控制台输出"finished"

另一个例子是这样的。执行顺序以注释序号为准(从0开始)：

// even.js
import {odd} from "./odd";         //2. 得到 odd.js 动态引用，但不执行
export var counter = 0;            //3. 输出 counter 的引用
export function even(n){           //4. 输出 even 函数的引用
  counter++;                       //6
  return n === 0 || odd(n - 1);    //7. n 不是 0, 去 odd.js 找 odd() 函数    //10. 执行 odd 函数，传入9
}

// odd.js
import {even} from "./even";       //8. 得到 even.js 动态引用，但不执行
export function odd(n){            //9. 输出 odd 函数
  return n !== 0 && even(n - 1);   //11. 回到第2步，找到 even 函数，回来执行，传入8，直到 n 为 0 结束
}

// main.js
import * as m from "./even";    //0. 得到 even.js 动态引用，但不执行
console.log(m.even(10));     //1. 去 even.js 找 even 函数。 //5. 执行函数，传入10   //最终得到控制台输出：true
console.log(m.counter);      //由于 ES6 模块传值是动态绑定的(下同)，所以得到控制台输出：6
console.log(m.even(20));     //分析同上，得到控制台输出：true
console.log(m.counter);      //得到控制台输出：17

上面写了11步，之后是一个循环，没有继续写。但不难看出 ES6 根本不怕循环引用，只要模块文件的动态引用在，就可以计算完成。不过，别看这个过程比 CommonJS 复杂，每次都有重新运行模块文件，而不直接读取缓存，但 ES6 的这些工作在编译期间就完成了，比 CommonJS 在运行时间处理模块要效率更高，体验更好。