Regular进阶: 几点性能优化的建议
84251748 2019-06-29
本文由作者郑海波授权网易云社区发布。
本文旨在用 20% 的精力解决使用Regular过程中 80% 的性能问题.
这里大部分是关于脏检查的性能优化，不了解的可以先看下《Regular脏检查介绍》
首先，我们可以用一个简化后的公式来描述Regular的单次脏检查的复杂度
N·logN · M · T
其中
N : 代表组件深度
M : 代表组件平均监听器数量
T : 代表单个Watcher的检查时间
这样问题就落在了如何降低这三个因子了
降低N —— 组件层级
这层是收益最高的方案，因为影响因子是 N·logN.
以上图为例，叶子节点进行$update()时，会首先找到DigestRoot （默认情况下，即顶层使用 new 创建的组件），再层层向下进行组件的$digest()检查，在目前组件抽象较细致的开发习惯下，很容易产生10多层的组件深度，适当控制下digest深度可以得到可观的性能提升。
注 : 这个digest flow设计是为了避免产生网状更新链
方案1. 使用isolate 控制digest深度
第一个方式即使用isolate属性控制组件的数据流向，如 这样,在第一次初始化后，b组件就不再与a组件有任何数据绑定关系
如图所示，b组件此时就会成为g组件的实际DigestRoot。b组件内部的$update不会再会冒泡到外层
但这种方式同时让a的数据变更无法传达到b组件极其内部，如下图所示
如果需要实现a->b的单向传导，可以设置isolate=1
isolate = 1 实际就形成了组件的单向数据流
方案2. 合理抽象组件
除了通过isolate手动控制更新树的深度之外，我们直接减小组件深度当然也可以。 但这似乎与React等框架推崇的方式相悖，其实不然。
过度抽象的组件，除了引入使用负担和增加组件层级外，无法带来直观的收益。 抽象记得要基于复用的前提，没有复用前提的组件抽象，除了让你的文件夹变得更复杂外，毫无益处。 当然它可以给你带来好看的组件结构图 :)
降低M: 平均监听者数量
在Dirty-Check Loop中，在每个组件节点上都会经历$digest阶段: 遍历监听者数组，检查数据是否发生变更。
方案1. 升级到v0.5.2版本以上
首先将上面的公式再简化,并拓展到 一轮完整的脏检查Dirty-Check Loop ，可以用下面的公式来表示
K·P·T
其中
K: 脏检查稳定性检测轮数 (1~30次不等，30次仍不稳定将抛出错误)
P:digest影响到的所有监听器
T: 单个监听器的消耗时间
在Github: 0.5.2版本，有一个优化就是讲监听器分为了 稳定监听器（stable) 和 不稳定监听器(unstable)
不稳定的监听器即具有Side Effect，比如
this.$watch('firstName', (firstName)=>{ this.data.nickname = firstName + '先生'})
当firstName改变时，nickname也会随之改变，所以为了确保不出错，框架会检测多轮直到这类监听表达式不再变化
稳定的监听器就是一些没有Side Effect的监听比如大部分内置的监听(文本插值、r-html、属性插值等), 这类监听处理逻辑只有读操作，而没有写操作。其实只需要检测一次即可
这样公式就修改为了
K·P1·T + P2·T
其中 P1+P2 = P , P2 为Stable监听器， P1为非稳定。不要小看这个优化，由于内部监听器中, P2的比例很高(超过80%)所以在K>1的情况下，可以带来比较大的提升。
除此之外，你同时也可以自己主动来标记哪个监听器是属于stable
this.$watch('title', (title)=>{ this.$refs.top.innerText = title
}, {stable: true})
- 使用一次绑定表达式@(expression)
除非明确了不再对某个监听感兴趣，通过 一次绑定表达式 来提升性能其实并不是特别关键，但如果这个表达式正好在一个list循环中，那控制的收益会比较大，比如
{#list list as item by item_index} <some-component list={@(item.list)} />{/list}
如果这个列表有100项，那可以直接减少100个对item.list绑定(何况大部分情况都不止一个属性传入)， 属于操作少收益大。
降低T: 单个监听器的平均消耗时间
其实每个表达式比如user.firstName + '-' + user.lastName 需要判断变化的开销各不相同，我们只需要针对高开销的监听器进行控制即可达到效果。
- 尽可能带上list语句的by描述
list是最容易产生性能瓶颈的部分，下面做下简单说明
默认情况下，Regular使用的莱文斯坦编辑距离(Levenshtein Distance), 别被吓到了，实际上wiki百科等资源上都有完成的伪代码描述, 是个简单的常用算法。
它的优点是，不需额外标记，就可以找到尽可能少的步骤从一个字符串过渡到另一个(但并不保证相同值一定被保留), 数组同理. 这样映射到框架内部，就可以以尽可能少的步骤来变更DOM了,相信大家都知道DOM开销很大了。
但是它的时间复杂度是O(n^2) ，在大列表下会带来显著的性能开销, 甚至完全超过DOM更新的开销。
所以在Regular v0.3的某个版本引入了by的用法, 例如
{#list items as item by item_index}
<li>{item.name}</li>{/list}
顾名思义，新旧列表按顺序其item_index是不会变化的，即0,1,2... . 所以列表更新时，不会尝试去销毁重建，而是直接更新内部的值. 这种更新方式，内部的diff复杂度是 O(n), 属于极大的优化了性能.而且在DOM更新上比LS算法模式更轻量
这样用by item_index其实也带来一个问题，就是虽然循环对应的值改变了，但内部组件是不会重建的，即config、init不会被触发。
理论上 by 关键词之后可以接任意表达式，但是在之前版本是不生效的 (详情看#90 regularJS的track by没起作用) .
这个问题在最新版本已经被修复, 即你可以更精确的控制，是否要复用某一个项对应结构(内部组件是不会重建的，即config、init不会被触发)
{#list items as item by item.id} <li>{item.name}</li>{/list}
举个例子，只要item.id ===0的项还在，那对应的DOM结构就确保不会被回收，只会进行更新操作. 这里的时间复杂度也是O(n), 但实际开销会比by item_index高不少。
- 升级到v0.5.2减少销毁时间
在之前的版本, Regular的模板内容在销毁时，内部会进行大量的splice操作导致了性能问题，在0.5.2版本进行优化，整体销毁时间有了 数倍的提升
总结
从操作难易度和关键度上，主要是以下建议
升级到Regular最新版本(也方便你使用最新的SSR、跨组件通信等特性)，至少也是v0.5.2来整体提高性能(这个版本还做了不少别的性能优化)
list记得使用by语句，特别是by item_index (item_index取决于你的命名)
组件通过isolate来控制digest深度
本文来自于那个2年只更新了0.2个版本的Regular作者之手，请轻喷。
下一篇应该是关于跨组件通信的文章。
更多网易技术、产品、运营经验分享请访问网易云社区。
文章来源： 网易云社区
