前言

我们都知道Vue对于响应式属性的更新,只会精确更新依赖收集的当前组件,而不会递归的去更新子组件,这也是它性能强大的原因之一。

例子

举例来说这样的一个组件:

templatediv{{msg}}ChildComponent//div/template复制代码

我们在触发='Hello,Changed~'的时候,会触发组件的更新,视图的重新渲染。

但是ChildComponent/这个组件其实是不会重新渲染的,这是Vue刻意而为之的。

在以前的一段时间里,我曾经认为因为组件是一棵树,所以它的更新就是理所当然的深度遍历这棵树,进行递归更新。本篇就从源码的角度带你一起分析,Vue是怎么做到精确更新的。

React的更新粒度

而React在类似的场景下是自顶向下的进行递归更新的,也就是说,React中假如ChildComponent里还有十层嵌套子元素,那么所有层次都会递归的重新rer(在不进行手动优化的情况下),这是性能上的灾难。(因此,React创造了Fiber,创造了异步渲染,其实本质上是弥补被自己搞砸了的性能)。

他们能用收集依赖的这套体系吗?不能,因为他们遵从Immutable的设计思想,永远不在原对象上修改属性,那么基于或Proxy的响应式依赖收集机制就无从下手了(你永远返回一个新的对象,我哪知道你修改了旧对象的哪部分?)

同时,由于没有响应式的收集依赖,React只能递归的把所有子组件都重新rer一遍(除了memo和shouldComponentUpdate这些优化手段),然后再通过diff算法决定要更新哪部分的视图,这个递归的过程叫做reconciler,听起来很酷,但是性能很灾难。

Vue的更新粒度

那么,Vue这种精确的更新是怎么做的呢?其实每个组件都有自己的渲染watcher,它掌管了当前组件的视图更新,但是并不会掌管ChildComponent的更新。

具体到源码中,是怎么样实现的呢?

在patch的过程中,当组件更新到ChildComponent的时候,会走到patchVnode,那么这个方法大致做了哪些事情呢?

patchVnode执行vnode的prepatch钩子。

注意,只有组件vnode才会有prepatch这个生命周期,

这里会走到updateChildComponent方法,这个child具体指什么呢?

prepatch(oldVnode:MountedComponentVNode,vnode:MountedComponentVNode){constoptions=//注意这个child就是ChildComponent组件的vm实例,也就是咱们平常用的thisconstchild==(child,,//,//updatedlistenersvnode,////newchildren)},复制代码

其实看传入的参数也能猜到大概了,就是做了:

更新props(后续详细讲)

更新绑定事件

对于slot做一些更新(后续详细讲)

如果有子节点的话,对子节点进行diff。

比如这样的场景:

ulli1/lili2/lili3/liul复制代码

要对于ul中的三个li子节点vnode利用diff算法来更新,本篇略过。

然后到此为止,patchVnode就结束了,并没有像常规思维中的那样去递归的更新子组件树。

这也就说明了,Vue的组件更新确实是精确到组件本身的。

如果是子组件呢?

假设列表是这样的:

ulcomponent1/componentcomponent2/componentcomponent3/componentul复制代码

那么在diff的过程中,只会对component上声明的props、listeners等属性进行更新,而不会深入到组件内部进行更新。

注意:不会深入到组件内部进行更新!(划重点,这也是本文所说的更新粒度的关键)

props的更新如何触发重渲染?

那么有同学可能要问了,如果不会递归的去对子组件更新,如果我们把msg这个响应式元素通过props传给ChildComponent,此时它怎么更新呢?

首先,在组件初始化props的时候,会走到initProps方法。

constprops=vm._props={}for(constkeyinpropsOptions){//经过一系列验证props合法性的流程后constvalue=validateProp(key,propsOptions,propsData,vm)//props中的字段也被定义成响应式了defineReactive(props,key,value)}复制代码

至此为止,是实现了对于_props上字段变更的劫持。也就是变成了响应式数据,后面我们做类似于_='Changed'的操作时(当然我们不会这样做,Vue内部会做),就会触发视图更新。

其实,msg在传给子组件的时候,会被保存在子组件实例的_props上,并且被定义成了响应式属性,而子组件的模板中对于msg的访问其实是被代理到_上去的,所以自然也能精确的收集到依赖,只要ChildComponent在模板里也读取了这个属性。

这里要注意一个细节,其实父组件发生重渲染的时候,是会重新计算子组件的props的,具体是在updateChildComponent中的:

//updatepropsif(propsDatavm.$){toggleObserving(false)//注意props被指向了_propsconstprops=vm._propsconstpropKeys=vm.$options._propKeys||[]for(leti=0;;i++){constkey=propKeys[i]constpropOptions:any=vm.$//wtfflow?//就是这句话,触发了对于_的依赖更新。props[key]=validateProp(key,propOptions,propsData,vm)}toggleObserving(true)//keepacopyofrawpropsDatavm.$=propsData}复制代码

那么,由于上面注释标明的那段代码,msg的变化通过_props的响应式能力,也让子组件重新渲染了,到目前为止,都只有真的用到了msg的组件被重新渲染了。

正如官网api文档中所说:

我们需要知道一个小知识点,vm.$forceUpdate本质上就是触发了渲染watcher的重新执行,和你去修改一个响应式的属性触发更新的原理是一模一样的,它只是帮你调用了vm._()(只是提供给你了一个便捷的api,在设计模式中叫做门面模式)

slot是怎么更新的?

注意这里也提到了一个细节,也就是插入插槽内容的子组件:

举例来说

假设我们有父组件parent-comp:

divslot-compspan{{msg}}/span/slot-comp/div复制代码

子组件slot-comp:

divslot/slot/div复制代码

组件中含有slot的更新,是属于比较特殊的场景。

这里的msg属性在进行依赖收集的时候,收集到的是parent-comp的`渲染watcher。(至于为什么,你看一下它所在的渲染上下文就懂了。)

那么我们想象msg此时更新了,

divslot-compspan{{msg}}/span/slot-comp/div复制代码

这个组件在更新的时候,遇到了一个子组件slot-comp,按照Vue的精确更新策略来说,子组件是不会重新渲染的。

但是在源码内部,它做了一个判断,在执行slot-comp的prepatch这个hook的时候,会执行updateChildComponent逻辑,在这个函数内部会发现它有slot元素。

prepatch(oldVnode:MountedComponentVNode,vnode:MountedComponentVNode){constoptions=//注意这个child就是slot-comp组件的vm实例,也就是咱们平常用的thisconstchild==(child,,//,//updatedlistenersvnode,////newchildren)},复制代码

在updateChildComponent内部

consthasChildren=!!(//这玩意就是slot元素rerChildren||//hasnewstaticslotsvm.$options._rerChildren||//||//hasnewscopedslotsvm.$scopedSlots!==emptyObject//hasoldscopedslots)复制代码

然后下面走一个判断

if(hasChildren){vm.$slots=resolveSlots(rerChildren,)vm.$forceUpdate()}复制代码

这里调用了slot-comp组件vm实例上的$forceUpdate,那么它所触发的渲染watcher就是属于slot-comp的渲染watcher了。

总结来说,这次msg的更新不光触发了parent-comp的重渲染,也进一步的触发了拥有slot的子组件slot-comp的重渲染。

它也只是触发了两层渲染,如果slot-comp内部又渲染了其他组件slot-child,那么此时它是不会进行递归更新的。(只要slot-child组件不要再有slot了)。

比起React的递归更新,是不是还是好上很多呢?

赠礼一个小issue

有人给版本提了一个issue,在下面的场景下会出现bug。

letChild={name:"child",template:'divspan{{localMsg}}/spanbutton@click="change"click/button/div',data:function(){return{localMsg:};},props:{msg:String},methods:{change(){this.$emit("update:msg","world");}}};newVue({el:"#app",template:'child:="msg"child',beforeUpdate(){alert("updatetwice");},data(){return{msg:"hello"};},components:{Child}});复制代码

由于数据初始化的时机是beforeCreated-created之间,此时由于还没有进入子组件的渲染阶段,还是父组件的渲染watcher。

这就导致重复收集依赖,重复触发同样的更新,具体表现可以看这里:/sbmLobvr/9。

怎么解决的呢?很简单,在执行data函数的前后,把先设置为null即可,在finally中再恢复,这样响应式数据就没办法收集到依赖了。

exportfunctiongetData(data:Function,vm:Component):any{constprevTarget=+=nulltry{(vm,vm)}catch(e){handleError(e,vm,`data()`)return{}+}finally{+=prevTarget}}复制代码
后记

如果你对于、渲染watcher等概念还不太理解,可以看我写的一篇最简实现Vue响应式的文章,欢迎阅读:

《一张图理清的响应式系统》

《使用vue-cli(vue脚手架)快速搭建项目》

《Vue真是太好了壹万多字的Vue知识点超详细!》


作者:晨曦时梦见兮
转发链接: