Module 的加载实现

浏览器加载

众所周知，浏览器加载script标签是同步执行的，如果脚本体积很大，下载和执行的时间就会很长，因此造成浏览器堵塞，用户会感觉到浏览器“卡死”了，没有任何响应。这显然是很不好的体验，所以浏览器允许脚本异步加载，下面就是两种异步加载的语法

<script src="path/to/myModule.js" defer></script>
<script src="path/to/myModule.js" async></script>
复制代码

defer和async都是让浏览器异步加载script标签引入的外部脚本

区别: defer是“渲染完再执行”，async是“下载完就执行”

• defer：defer要等到整个页面在内存中正常渲染结束（DOM 结构完全生成，以及其他脚本执行完成），才会执行，如果有多个defer脚本，会按照它们在页面出现的顺序加载
• async：async一旦下载完，渲染引擎就会中断渲染，执行这个脚本以后，再继续渲染，多个async脚本是不能保证加载顺序的

浏览器加载 ES6 模块

使用<script>标签，但是要加入type="module"属性

<script type="module" src="./foo.js"></script>
<!--内嵌在网页中-->
<script type="module">
  import utils from "./utils.js";

  // other code
</script>
复制代码

浏览器对于带有type="module"的<script>，都是异步加载，同defer一样，渲染完执行

如果网页有多个<script type="module">，它们会按照在页面出现的顺序依次执行

`type="module"`和`async`也可以同时用，加载时机和加载顺序同只是用`async`时一样

<script type="module" src="./foo.js" async></script>
复制代码

对于外部的模块脚本（上例是foo.js），有几点需要注意

• 代码是在模块作用域之中运行，而不是在全局作用域运行。模块内部的顶层变量，外部不可见
• 模块脚本自动采用严格模式，不管有没有声明use strict
• 模块之中，可以使用import命令加载其他模块（.js后缀不可省略，需要提供绝对 URL 或相对 URL），也可以使用export命令输出对外接口
• 模块之中，顶层的this关键字返回undefined，而不是指向window
• 同一个模块如果加载多次，将只执行一次

利用顶层的this等于undefined这个语法点，可以侦测当前代码是否在 ES6 模块之中

const isNotModuleScript = this !== undefined
复制代码

ES6 模块与 CommonJS 模块的差异

它们有两个重大差异。

• CommonJS 模块输出的是一个 值的拷贝，ES6 模块输出的是 值的引用
• CommonJS 模块是运行时加载，ES6 模块是编译时 输出接口

第二个差异是因为 CommonJS 加载的是一个 对象（即module.exports属性），该对象只有在脚本运行完才会生成。而 ES6 模块不是对象，它的对外接口只是一种静态定义，在代码静态解析阶段就会生成

下面重点解释第一个差异

CommonJS 模块输出的是值的拷贝，也就是说，一旦输出一个值，模块内部的变化就影响不到这个值。请看下面这个模块文件lib.js的例子

// lib.js
var counter = 3;
function incCounter() {
  counter++;
}
module.exports = {
  counter: counter,
  incCounter: incCounter,
};
复制代码

// main.js
var mod = require('./lib');

console.log(mod.counter);  // 3
mod.incCounter();
console.log(mod.counter); // 3
复制代码

上面代码说明，lib.js模块加载以后，它的内部变化就影响不到输出的mod.counter了。这是因为mod.counter是一个原始类型的值，会被缓存。除非写成一个函数，才能得到内部变动后的值

// lib.js
var counter = 3;
function incCounter() {
  counter++;
}
module.exports = {
  get counter() {
    return counter
  },
  incCounter: incCounter,
};
复制代码

上面代码中，输出的counter属性实际上是一个取值器函数。现在再执行main.js，就可以正确读取内部变量counter的变动了

ES6 模块的运行机制与 CommonJS 不一样。JS 引擎对脚本静态分析的时候，遇到模块加载命令import，就会生成一个 只读 引用。等到脚本真正执行时，再根据这个只读引用，到被加载的那个模块里面去取值

原始值变了，import加载的值也会跟着变。因此，ES6 模块是 动态引用，并且不会缓存值，模块里面的变量绑定其所在的模块

循环加载

CommonJS 模块的加载原理

CommonJS 的一个模块，就是一个脚本文件。require命令第一次加载该脚本，就会执行整个脚本，然后在内存生成一个对象。

{
  id: '...',  // 模块名
  exports: { ... }, // 模块输出的各个接口
  loaded: true, //表示该模块的脚本是否执行完毕
  ...
}
复制代码

上面代码就是 Node 内部加载模块后生成的一个对象。

以后需要用到这个模块的时候，就会到exports属性上面取值。即使再次执行require命令，也不会再次执行该模块，而是到缓存之中取值

也就是说，CommonJS 模块无论加载多少次，都只会在第一次加载时运行一次，以后再加载，就返回第一次运行的结果，除非手动清除系统缓存

CommonJS 模块的循环加载

CommonJS 模块的重要特性是加载时执行，即脚本代码在require的时候，就会全部执行。一旦出现某个模块被"循环加载"，就只输出已经执行的部分，还未执行的部分不会输出

比如

// a.js
exports.done = false;
var b = require('./b.js');
console.log('在 a.js 之中，b.done = %j', b.done);
exports.done = true;
console.log('a.js 执行完毕');
复制代码

• a.js脚本先输出一个done变量，然后加载另一个脚本文件b.js。注意，此时a.js代码就停在第二行这里，等待b.js执行完毕，再往下执行

// b.js
exports.done = false;
var a = require('./a.js');
console.log('在 b.js 之中，a.done = %j', a.done);
exports.done = true;
console.log('b.js 执行完毕');
复制代码

• 在b.js执行到第二行，就会去加载a.js，这时，就发生了“循环加载”。系统会去a.js模块对应对象的exports属性取值，可是因为a.js还没有执行完，从exports属性只能取回已经执行的部分，而不是最后的值，此时的a.js只执行了一行exports.done = false，因此，对于b.js来说，a.js只输入一个变量done，值为false
• 然后，b.js接着往下执行，等到全部执行完毕，再把执行权交还给a.js。于是，a.js接着往下执行，直到执行完毕

// main.js
var a = require('./a.js');
var b = require('./b.js');
console.log('在 main.js 之中, a.done=%j, b.done=%j', a.done, b.done);
复制代码

在 main.js中引入a.js和b.js，执行结果是

在 b.js 之中，a.done = false
b.js 执行完毕
在 a.js 之中，b.done = true
a.js 执行完毕
在 main.js 之中, a.done=true, b.done=true
复制代码

上面的代码证明了两件事

1. 在b.js之中，a.js没有执行完毕，只执行了第一行
2. main.js执行到第二行时，不会再次执行b.js，而是输出缓存的b.js的执行结果，即b.js的第四行

总之，CommonJS 模块遇到循环加载时，返回的是当前已经执行的部分的值，而不是代码全部执行后的值

ES6 模块的循环加载

ES6 处理“循环加载”与 CommonJS 有本质的不同。ES6 模块是动态引用，如果使用import从一个模块加载变量（即import foo from 'foo'），那些变量不会被缓存，而是成为一个指向被加载模块的引用，需要开发者自己保证，真正取值的时候能够取到值

// a.mjs
import {bar} from './b';
console.log('a.mjs');
console.log(bar);
export let foo = 'foo';

// b.mjs
import {foo} from './a';
console.log('b.mjs');
console.log(foo);
export let bar = 'bar';
复制代码

上面代码中，a.mjs加载b.mjs，b.mjs又加载a.mjs，构成循环加载。执行a.mjs，结果如下

b.mjs
ReferenceError: foo is not defined
复制代码

上面代码中，执行a.mjs以后会报错，foo变量未定义

执行顺序

1. 执行a.mjs以后，引擎发现它加载了b.mjs，因此会优先执行b.mjs，然后再执行a.mjs
2. 接着，执行b.mjs的时候，已知它从a.mjs输入了foo接口，这时不会去执行a.mjs，而是认为这个接口已经存在了，继续往下执行（这个已知就是上面说的只是一个引用，但是能不能取到值需要开发者自己保证）
3. 执行到b.mjs第三行console.log(foo)的时候，才发现这个接口根本没定义，因此报错

解决这个问题的方法，就是让b.mjs运行的时候，foo已经有定义了。 这可以通过将foo写成函数来解决，这是因为函数具有提升作用

// a.mjs
import {bar} from './b';
console.log('a.mjs');
console.log(bar());
function foo() { return 'foo' }
export {foo};

// b.mjs
import {foo} from './a';
console.log('b.mjs');
console.log(foo());
function bar() { return 'bar' }
export {bar};
复制代码

这时再执行a.mjs就可以得到预期结果

b.mjs
foo
a.mjs
bar
复制代码