WebPack-29-探究 webpack 内部工作流程
了解 webpack 整个基础工作流程,有助于我们解决日常使用 webpack 时遇到的一些问题,也有助于我们更好地理解 webpack loader 和 plugin 的使用。
抛开复杂的 loader 和 plugin 机制,webpack 本质上就是一个 JS Module Bundler,用于将多个代码模块进行打包,所以我们先撇开 webpack 错综复杂的整体实现,来看一下一个相对简单的 JS Module Bunlder 的基础工作流程是怎么样的,在了解了 bundler 如何工作的基础上,再进一步去整理 webpack 整个流程,将 loader 和 plugin 的机制弄明白。
以下内容将 module bundler 简称为 bundler。
bundler 的基础流程
首先,bundler 从一个构建入口出发,解析代码,分析出代码模块依赖关系,然后将依赖的代码模块组合在一起,在 JavaScript bundler 中,还需要提供一些胶水代码让多个代码模块可以协同工作,相互引用。
下边会举一些简单的例子来说明一下这几个关键的部分是怎么工作的。
首先是解析代码,分析依赖关系,对于 ES6 Module 以及 CommonJS Modules 语法定义的模块,例如这样的代码:
// entry.js
import { bar } from './bar.js'; // 依赖 ./bar.js 模块
// bar.js
const foo = require('./foo.js'); // 依赖 ./foo.js 模块
bundler 需要从这个入口代码(第一段)中解析出依赖 bar.js,然后再读取 bar.js 这个代码文件,解析出依赖 foo.js 代码文件,继续解析其依赖,递归下去,直至没有更多的依赖模块,最终形成一颗模块依赖树。
至于如何从 JavaScript 代码中解析出这些依赖,作者写过一篇文章,可以参考下:使用 Acorn 来解析 JavaScript。
如果 foo.js 文件没有依赖其他的模块的话,那么这个简单例子的依赖树也就相对简单:entry.js -> bar.js -> foo.js,当然,日常开发中遇见的一般都是相当复杂的代码模块依赖关系。
分析出依赖关系后,bunlder 需要将依赖关系中涉及的所有文件组合到一起,但由于依赖代码的执行是有先后顺序以及会引用模块内部不同的内容,不能简单地将代码拼接到一起。webpack 会利用 JavaScript Function 的特性提供一些代码来将各个模块整合到一起,即是将每一个模块包装成一个 JS Function,提供一个引用依赖模块的方法,如下面例子中的 __webpack__require__
,这样做,既可以避免变量相互干扰,又能够有效控制执行顺序,简单的代码例子如下:
// 分别将各个依赖模块的代码用 modules 的方式组织起来打包成一个文件
// entry.js
modules['./entry.js'] = function() {
const { bar } = __webpack__require__('./bar.js')
}
// bar.js
modules['./bar.js'] = function() {
const foo = __webpack__require__('./foo.js')
};
// foo.js
modules['./foo.js'] = function() {
// ...
}
// 已经执行的代码模块结果会保存在这里
const installedModules = {}
function __webpack__require__(id) {
// ...
// 如果 installedModules 中有就直接获取
// 没有的话从 modules 中获取 function 然后执行,将结果缓存在 installedModules 中然后返回结果
}
这只是 webpack 的实现方式的简单例子,rollup 有另外的实现方式,并且笔者个人觉得 rollup 的实现方式比 webpack 要更加优秀一些,rollup 可以让你构建出来的代码量更少一点,有兴趣的同学可以看看这个文章:Webpack and Rollup: the same but different,也可以使用 rollup 来构建一个简单的例子,看看结果是什么样子的。
我们在介绍 bundler 的基础流程时,把各个部分的实现细节简化了,这有利于我们从整体的角度去看清楚整个轮廓,至于某一部分的具体实现,例如解析代码依赖,模块依赖关系管理,胶水代码的生成等,深入细节的话会比较复杂,这里不再作相关的展开。
webpack 的结构
webpack 需要强大的扩展性,尤其是插件实现这一块,webpack 利用了 tapable 这个库(其实也是 webpack 作者开发的库)来协助实现对于整个构建流程各个步骤的控制。
关于这个库更多的使用内容可以去查看官方的文档:tapable,使用上并不算十分复杂,最主要的功能就是用来添加各种各样的钩子方法(即 Hook)。
webpack 基于 tapable 定义了主要构建流程后,使用 tapable 这个库添加了各种各样的钩子方法来将 webpack 扩展至功能十分丰富,同时对外提供了相对强大的扩展性,即 plugin 的机制。
在这个基础上,我们来了解一下 webpack 工作的主要流程和其中几个重要的概念。
Compiler,webpack 的运行入口,实例化时定义 webpack 构建主要流程,同时创建构建时使用的核心对象 compilation
Compilation,由 Compiler 实例化,存储构建过程中各流程使用到的数据,用于控制这些数据的变化
Chunk,即用于表示 chunk 的类,对于构建时需要的 chunk 对象由 Compilation 创建后保存管理
Module,用于表示代码模块的类,衍生出很多子类用于处理不同的情况,关于代码模块的所有信息都会存在 Module 实例中,例如 dependencies 记录代码模块的依赖等
Parser,其中相对复杂的一个部分,基于 acorn 来分析 AST 语法树,解析出代码模块的依赖
Dependency,解析时用于保存代码模块对应的依赖使用的对象
Template,生成最终代码要使用到的代码模板,像上述提到的胶水代码就是用对应的 Template 来生成
官方对于 Compiler 和 Compilation 的定义是:
compiler 对象代表了完整的 webpack 环境配置。这个对象在启动 webpack 时被一次性建立,并配置好所有可操作的设置,包括 options,loader 和 plugin。当在 webpack 环境中应用一个插件时,插件将收到此 compiler 对象的引用。可以使用它来访问 webpack 的主环境。
compilation 对象代表了一次资源版本构建。当运行 webpack 开发环境中间件时,每当检测到一个文件变化,就会创建一个新的 compilation,从而生成一组新的编译资源。一个 compilation 对象表现了当前的模块资源、编译生成资源、变化的文件、以及被跟踪依赖的状态信息。compilation 对象也提供了很多关键步骤的回调,以供插件做自定义处理时选择使用。
上述是 webpack 源码实现中比较重要的几个部分,webpack 运行的大概工作流程是这样的:
创建 Compiler ->
调用 compiler.run 开始构建 ->
创建 Compilation ->
基于配置开始创建 Chunk ->
使用 Parser 从 Chunk 开始解析依赖 ->
使用 Module 和 Dependency 管理代码模块相互关系 ->
使用 Template 基于 Compilation 的数据生成结果代码
上述只是笔者理解中的大概流程,细节相对复杂,一方面是技术实现的细节有一定复杂度,另一方面是实现的功能逻辑上也有一定复杂度,深入介绍的话,篇幅会很长,并且可能效果不理想,当我们还没到了要去实现具体功能的时候,无须关注那么具体的实现细节,只需要站在更高的层面去分析整体的流程。
有兴趣探究某一部分实现细节的同学,可以查阅 webpack 源码,从 webpack 基础流程入手:Compiler Hooks。
这里提供的是 4.x 版本的源码 master 分支的链接地址,webpack 的源码相对难懂,如果是想要学习 bundler 的整个工作流程,可以考虑看阅读 rollup 的源码,可读性相对会好很多。
从源码中探索 webpack
webpack 主要的构建处理方法都在 Compilation 中,我们要了解 loader 和 plugin 的机制,就要深入 Compilation 这一部分的内容。
Compilation 的实现也是比较复杂的,lib/Compilation.js 单个文件代码就有近 2000 行之多,我们挑关键的几个部分来介绍一下。
addEntry 和 _addModuleChain
addEntry 这个方法顾名思义,用于把配置的入口加入到构建的任务中去,当解析好 webpack 配置,准备好开始构建时,便会执行 addEntry 方法,而 addEntry 会调用 _addModuleChain 来为入口文件(入口文件这个时候等同于第一个依赖)创建一个对应的 Module 实例。
_addModuleChain 方法会根据入口文件这第一个依赖的类型创建一个 moduleFactory,然后再使用这个 moduleFactory 给入口文件创建一个 Module 实例,这个 Module 实例用来管理后续这个入口构建的相关数据信息,关于 Module 类的具体实现可以参考这个源码:lib/Module.js,这个是个基础类,大部分我们构建时使用的代码模块的 Module 实例是 lib/NormalModule.js 这个类创建的。
我们介绍 addEntry 主要是为了寻找整个构建的起点,让这一切有迹可循,后续的深入可以从这个点出发。
buildModule
当一个 Module 实例被创建后,比较重要的一步是执行 compilation.buildModule 这个方法,这个方法主要会调用 Module 实例的 build 方法,这个方法主要就是创建 Module 实例需要的一些东西,对我们梳理流程来说,这里边最重要的部分就是调用自身的 runLoaders 方法。
runLoaders 这个方法是 webpack 依赖的这个类库实现的:loader-runner,这个方法也比较容易理解,就是执行对应的 loaders,将代码源码内容一一交由配置中指定的 loader 处理后,再把处理的结果保存起来。
我们之前介绍过,webpack 的 loader 就是转换器,loader 就是在这个时候发挥作用的,至于 loader 执行的细节,有兴趣深入的同学可以去了解 loader-runner 的实现。
上述提到的 Module 实例的 build 方法在执行完对应的 loader,处理完模块代码自身的转换后,还有相当重要的一步是调用 Parser 的实例来解析自身依赖的模块,解析后的结果存放在 module.dependencies 中,首先保存的是依赖的路径,后续会经由 compilation.processModuleDependencies 方法,再来处理各个依赖模块,递归地去建立整个依赖关系树。
Compilation 的钩子
我们前边提到了 webpack 会使用 tapable 给整个构建流程中的各个步骤定义钩子,用于注册事件,然后在特定的步骤执行时触发相应的事件,注册的事件函数便可以调整构建时的上下文数据,或者做额外的处理工作,这就是 webpack 的 plugin 机制。
在 webpack 执行入口处 lib/webpack.js 有这么一段代码:
if (options.plugins && Array.isArray(options.plugins)) {
for (const plugin of options.plugins) {
plugin.apply(compiler); // 调用每一个 plugin 的 apply 方法,把 compiler 实例传递过去
}
}
这个 plugin 的 apply 方法就是用来给 compiler 实例注册事件钩子函数的,而 compiler 的一些事件钩子中可以获得 compilation 实例的引用,通过引用又可以给 compilation 实例注册事件函数,以此类推,便可以将 plugin 的能力覆盖到整个 webpack 构建过程。
而关于这些事件函数的名称和定义可以查看官方的文档:compiler 的事件钩子 和 compilation 的事件钩子。
后续的 15 小节会介绍如何编写 webpack plugin,可以将两部分的内容结合一下,来帮助理解 webpack plugin 的执行机制。
产出构建结果
最后还有一个部分,即用 Template 产出最终构建结果的代码内容,这一部分不作详细介绍了,仅留下一些线索,供有兴趣继续深入的同学使用:
Template 基础类:lib/Template.js
常用的主要 Template 类:lib/MainTemplate.js
Compilation 中产出构建结果的代码:compilation.createChunkAssets
这一部分内容的介绍就到这里了,对此部分内容有兴趣继续深入探索的同学,建议使用断点调试的方式,结合笔者介绍的这些内容,大致走一遍 webpack 的构建流程,会对这一部分的内容印象更加深刻,同时也可以通过断点更有针对性地了解某一部分的细节处理。
小结
本小节介绍了一个 bundler 的基础流程应该是怎么样的,以及 webpack 在 bundler 的基础上如何去增强自己的扩展性,同时我们介绍了 webpack 主要构建流程中比较重要的几个概念,并且从 webpack 这些概念的关键部分的源码来探索 webpack 的主要执行流程,希望这些内容可以帮助你更好地理解 webpack。