webpack2 的 tree-shaking 好用吗?

代码压缩的现状

下面是一个使用 react 的业务的代码依赖,但是实际上业务代码中并没有对依赖图中标识的模块,也就是说构建工具将不需要的代码打包到了最终的代码当中。显然,这是很不合理的。

$ webpack --profile --json --config webpack/config.common.js > stats.json
$ # 将 stats.json 上传到 http://alexkuz.github.io/webpack-chart/ 可视化 entry 的依赖

随着 es6 的普及使用,由于 es6 的 模块是语言层面支持的,方便做静态分析,让进一步的代码优化成为可能,也就是我们今天要讨论的 tree-shaking。

tree-shaking 较早由 Rich_Harris 的 rollupjs 实现,webpack2 也引入了tree-shaking 的能力。其实在更早,有 google closure compiler 来做类似的事情,不过由于 closure compiler 对代码书写要求比较多,感觉一直没有流行开。

什么是 tree-shaking ?

tree-shaking 可以形象的理解为摇树。在 webpack 项目中,有一个入口文件,相当于一棵树的主干,入口文件有很多依赖的模块,相当于树枝。实际情况中,虽然依赖了某个模块,但其实只使用其中的某些功能。通过 tree-shaking,将没有使用的模块摇掉,这样来达到删除无用代码的目的。

实际效果如何

所有示例在 tree-shaking-demo

示例 1

main.js

import { A } from './components/index';
let a = new A();
a.render();

index.js

export A from './A';
export B from './B';

components/A.js

function A () {
    this.render = function() {
        return "AAAA";
    }
}
export default A;

components/B.js

function B () {
    this.render = function() {
        return "BBBB";
    }
}
export default B;
$ npm run 001

结果

查看 dist/001.min.js class B 被成功消除了,不能找到 BBBB

!function(n){function t(e){if(r[e])return r[e].exports;var u=r[e]={i:e,l:!1,exports:{}};return n[e].call(u.exports,u,u.exports,t),u.l=!0,u.exports}var r={};return t.m=n,t.c=r,t.i=function(n){return n},t.d=function(n,r,e){t.o(n,r)||Object.defineProperty(n,r,{configurable:!1,enumerable:!0,get:e})},t.n=function(n){var r=n&&n.__esModule?function(){return n.default}:function(){return n};return t.d(r,"a",r),r},t.o=function(n,t){return Object.prototype.hasOwnProperty.call(n,t)},t.p="",t(t.s=3)}([function(n,t,r){"use strict";var e=r(1);r(2);r.d(t,"a",function(){return e.a})},function(n,t,r){"use strict";function e(){this.render=function(){return"AAAA"}}t.a=e},function(n,t,r){"use strict"},function(n,t,r){"use strict";Object.defineProperty(t,"__esModule",{value:!0});var e=r(0),u=new e.a;u.render()}]);

示例 2

稍微修改下 A、B 的定义方式:

function A() {
}
A.prototype.render = function() {
    return "AAAA";
}
export default A;
function B() {
}

B.prototype.render = function() {
    return "BBBB";
}
export default B;

跟上面的区别在于采用原型链的方式添加了一个 render 方法

$ npm run 002

结果

查看 dist/002.min.js 发现 class B 并没有被成功消除

!function(n){function t(e){if(r[e])return r[e].exports;var u=r[e]={i:e,l:!1,exports:{}};return n[e].call(u.exports,u,u.exports,t),u.l=!0,u.exports}var r={};return t.m=n,t.c=r,t.i=function(n){return n},t.d=function(n,r,e){t.o(n,r)||Object.defineProperty(n,r,{configurable:!1,enumerable:!0,get:e})},t.n=function(n){var r=n&&n.__esModule?function(){return n.default}:function(){return n};return t.d(r,"a",r),r},t.o=function(n,t){return Object.prototype.hasOwnProperty.call(n,t)},t.p="",t(t.s=3)}([function(n,t,r){"use strict";var e=r(1);r(2);r.d(t,"a",function(){return e.a})},function(n,t,r){"use strict";function e(){}e.prototype.render=function(){return"AAAA"},t.a=e},function(n,t,r){"use strict";function e(){}e.prototype.render=function(){return"BBBB"}},function(n,t,r){"use strict";Object.defineProperty(t,"__esModule",{value:!0});var e=r(0),u=new e.a;u.render()}]);

示例 3

再修改下 A、B 的定义方式,改为 es6 的 class 语法,看起来更加简洁了:

class A {
    render() {
        return "AAAA";
    }
}
export default A;
class B {
    render() {
        return "BBBB";
    }
}
export default B;
$ npm run 003

结果

查看 dist/003.min.js 发现 class B 并没有被成功消除,并且文件还变大了

!function(n){function t(e){if(r[e])return r[e].exports;var o=r[e]={i:e,l:!1,exports:{}};return n[e].call(o.exports,o,o.exports,t),o.l=!0,o.exports}var r={};return t.m=n,t.c=r,t.i=function(n){return n},t.d=function(n,r,e){t.o(n,r)||Object.defineProperty(n,r,{configurable:!1,enumerable:!0,get:e})},t.n=function(n){var r=n&&n.__esModule?function(){return n.default}:function(){return n};return t.d(r,"a",r),r},t.o=function(n,t){return Object.prototype.hasOwnProperty.call(n,t)},t.p="",t(t.s=3)}([function(n,t,r){"use strict";var e=r(1);r(2);r.d(t,"a",function(){return e.a})},function(n,t,r){"use strict";function e(n,t){if(!(n instanceof t))throw new TypeError("Cannot call a class as a function")}var o=function(){function n(){e(this,n)}return n.prototype.render=function(){return"AAAA"},n}();t.a=o},function(n,t,r){"use strict";function e(n,t){if(!(n instanceof t))throw new TypeError("Cannot call a class as a function")}(function(){function n(){e(this,n)}return n.prototype.render=function(){return"BBBB"},n})()},function(n,t,r){"use strict";Object.defineProperty(t,"__esModule",{value:!0});var e=r(0),o=new e.a;o.render()}]);

示例 4

简单的变量场景

const A = "AAAA";
export default A;
const B = "BBBB";
export default B;
import { A, B } from './components/index';
let a = new A();
a.render();
$npm run 004

结果

查看 dist/004.min.jsB 被成功消除

!function(t){function n(e){if(r[e])return r[e].exports;var u=r[e]={i:e,l:!1,exports:{}};return t[e].call(u.exports,u,u.exports,n),u.l=!0,u.exports}var r={};return n.m=t,n.c=r,n.i=function(t){return t},n.d=function(t,r,e){n.o(t,r)||Object.defineProperty(t,r,{configurable:!1,enumerable:!0,get:e})},n.n=function(t){var r=t&&t.__esModule?function(){return t.default}:function(){return t};return n.d(r,"a",r),r},n.o=function(t,n){return Object.prototype.hasOwnProperty.call(t,n)},n.p="",n(n.s=3)}([function(t,n,r){"use strict";var e=r(1);r(2);r.d(n,"a",function(){return e.a})},function(t,n,r){"use strict";var e="AAAA";n.a=e},function(t,n,r){"use strict"},function(t,n,r){"use strict";Object.defineProperty(n,"__esModule",{value:!0});var e=r(0);console.log(e.a)}]);

为什么

tree-shaking 不能消除带有副作用的代码。

比如示例2,在函数的原型链上添加了方法,在这个场景下,B

其实应该被删除掉,但是换一个场景,比如王 Array 的原型链上加一个 unique 方法:

function B() {
}

B.prototype.render = function() {
    return "BBBB";
}

Array.prototype.unique = function() {
    // 将 array 中的重复元素去除
}

export default B;

如果移除 function B 并且移除其原型成员 B.prototype.render ,是否应该移除 Array.prototype.unique 呢?在其它代码里,可能使用 arr = new Array() ,并且调用 arr.unique() ,所以移除 Array.prototype.unique 是不安全的。而现在实现的 tree-shaking 并不能区分 B.prototype.renderArray.prototype.unique ,既然后者不能移除,那么前者也不能移除。并且 function B 也不能被移除。

示例 3 使用 es6 的 class 语法定义,按理说,应该没有副作用了吧,可是查看 dist/003.min.jsB 还是没有被消除。为什么呢?因为babel 将 class 定义转变成了 function 定义,而这个定义是有副作用的。

$ npm run 005 # 即执行下面的命令
$ # ./node_modules/webpack/bin/webpack.js --config webpack/005.js
$ # 跟 npm run 004 的命令的区别在于缺少 -p 压缩参数
$ # ./node_modules/webpack/bin/webpack.js -p --config webpack/004.js

查看生成的代码 dist/005.min.jsclass B 被转换成了如下的,跟示例 2 类似的代码了,B 是一个自执行的函数,带有副作用,所以并不能被安全的移除。代码片段:

/* 2 */
/***/ function(module, exports, __webpack_require__) {

"use strict";
function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }

var B = function () {
    function B() {
        _classCallCheck(this, B);
    }

    B.prototype.render = function render() {
        return "BBBB";
    };

    return B;
}();

/* unused harmony default export */ var _unused_webpack_default_export = B;

既然babel会转换代码,那么能不能不使用 babel 呢?

示例 6

修改 webpack config webpack/006.js ,禁用 babel loader

    module: {
        // rules: [
        //     {
        //         test: /\.js$/,
        //         loader: 'babel-loader',
        //         query: {
        //             babelrc: false,
        //             presets: [["es2015", { "modules": false, "loose": true }]]
        //         }
        //     }
        // ]
    },
$ npm run 006

结果

$ npm run 006

> @ 006 E:\work\05_code\webpack-demo-project
> node ./node_modules/webpack/bin/webpack.js -p --config webpack/006.js

Hash: e46574279f3737838494
Version: webpack 2.2.0-rc.3
Time: 76ms
     Asset     Size  Chunks             Chunk Names
006.min.js  3.65 kB       0  [emitted]  006
   [3] ./src/006/main.js 72 bytes {0} [built]
    + 3 hidden modules

ERROR in 006.min.js from UglifyJs
SyntaxError: Unexpected token: name (A) [006.min.js:89,6]

npm ERR! Windows_NT 6.1.7601
npm ERR! argv "D:\\Program Files\\nodejs\\node.exe" "D:\\Program Files\\nodejs\\node_modules\\npm\\bin\\npm-cli.js" "run" "006"
npm ERR! node v6.9.2
npm ERR! npm  v3.10.9
npm ERR! code ELIFECYCLE
npm ERR! @ 006: `node ./node_modules/webpack/bin/webpack.js -p --config webpack/006.js`
npm ERR! Exit

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏牛肉圆粉不加葱

Spark Task 的执行流程① - 分配 tasks 给 executors

等时机把处于等待状态的 tasks 分配给有空闲资源的 executors,那么这个 “把 task 分配给 executor” 的过程具体是怎样的呢?这就是本...

13020
来自专栏pangguoming

SpringBoot-Mybatis_Plus学习记录之公共字段自动填充

一.应用场景 ---- 平时在建对象表的时候都会有最后修改时间,最后修改人这两个字段,对于这些大部分表都有的字段,每次在新增和修改的时候都要考虑到这几个字段有没...

48440
来自专栏二进制文集

Netty 之入门应用

系列文章:http://www.jianshu.com/p/594441fb9c9e

17430
来自专栏XAI

微信支付-Java-SpringMVC基础一些代码支持

官网文档和demo代码下载地址 https://mp.weixin.qq.com/htmledition/res/bussiness-faq/wx_app_pa...

933100
来自专栏瓜大三哥

HLS综合策略

Loop:rolled00 Array: BRAM Struct:被分解为成员变量 操作符:硬件核 优化策略 The Initial Optimization...

32370
来自专栏difcareer的技术笔记

Android Linker学习笔记[转]

Linker是Android系统动态库so的加载器/链接器,要想轻松地理解Android linker的运行机制,我们需要先熟悉ELF的文件结构,再了解ELF文...

30640
来自专栏与神兽党一起成长

jFinal路由解析源码分析

jFinal的路由解析是在JFinalFilter中做的,这个Filter也需要在web.xml中配置。JFinalFilter实现了javax.servlet...

16920
来自专栏JackieZheng

照虎画猫写自己的Spring

从细节跳出来 看了部分Spring的代码,前面用了四篇内容写了一些读书笔记。 回想起来,论复杂度,Spring够喝上好几壶的。他就像一颗枝繁叶茂的大树,远处看...

20580
来自专栏腾讯数据库技术

玩转MyRocks/RocksDB--STATISTICS与后台线程篇

33720
来自专栏函数式编程语言及工具

Akka(6): become/unbecome:运算行为切换

   通过一段时间的学习了解,加深了一些对Akka的认识,特别是对于Akka在实际编程中的用途方面。我的想法,或者我希望利用Akka来达到的目的是这样的:作为传...

31390

扫码关注云+社区

领取腾讯云代金券