作为MVVM框架的一种,Vue最为人津津乐道的当是数据与视图的绑定,将直接操作DOM节点变为修改data
数据,利用Virtual Dom
来Diff
对比新旧视图,从而实现更新。不仅如此,还可以通过Vue.prototype.$watch
来监听data
的变化并执行回调函数,实现自定义的逻辑。虽然日常的编码运用已经驾轻就熟,但未曾去深究技术背后的实现原理。作为一个好学的程序员,知其然更要知其所以然,本文将从源码的角度来对Vue响应式数据中的观察者模式进行简析。
初始化Vue
实例
在阅读源码时,因为文件繁多,引用复杂往往使我们不容易抓住重点,这里我们需要找到一个入口文件,从Vue
构造函数开始,抛开其他无关因素,一步步理解响应式数据的实现原理。首先我们找到Vue
构造函数:
// src/core/instance/index.js
function Vue (options) {
if (process.env.NODE_ENV !== 'production' &&
!(this instanceof Vue)
) {
warn('Vue is a constructor and should be called with the `new` keyword')
}
this._init(options)
}
复制代码
// src/core/instance/init.js
Vue.prototype._init = function (options) {
...
// a flag to avoid this being observed
vm._isVue = true
// merge options
// 初始化vm实例的$options
if (options && options._isComponent) {
initInternalComponent(vm, options)
} else {
vm.$options = mergeOptions(
resolveConstructorOptions(vm.constructor),
options || {},
vm
)
}
...
initLifecycle(vm) // 梳理实例的parent、root、children和refs,并初始化一些与生命周期相关的实例属性
initEvents(vm) // 初始化实例的listeners
initRender(vm) // 初始化插槽,绑定createElement函数的vm实例
callHook(vm, 'beforeCreate')
initInjections(vm) // resolve injections before data/props
initState(vm)
initProvide(vm) // resolve provide after data/props
callHook(vm, 'created')
if (vm.$options.el) {
vm.$mount(vm.$options.el) // 挂载组件到节点
}
}
复制代码
为了方便阅读,我们去除了flow
类型检查和部分无关代码。可以看到,在实例化Vue组件时,会调用Vue.prototype._init
,而在方法内部,数据的初始化操作主要在initState
(这里的initInjections
和initProvide
与initProps
类似,在理解了initState
原理后自然明白),因此我们重点来关注initState
。
// src/core/instance/state.js
export function initState (vm) {
vm._watchers = []
const opts = vm.$options
if (opts.props) initProps(vm, opts.props)
if (opts.methods) initMethods(vm, opts.methods)
if (opts.data) {
initData(vm)
} else {
observe(vm._data = {}, true /* asRootData */)
}
if (opts.computed) initComputed(vm, opts.computed)
if (opts.watch && opts.watch !== nativeWatch) {
initWatch(vm, opts.watch)
}
}
复制代码
首先初始化了一个_watchers
数组,用来存放watcher
,之后根据实例的vm.$options
,相继调用initProps
、initMethods
、initData
、initComputed
和initWatch
方法。
initProps
function initProps (vm, propsOptions) {
const propsData = vm.$options.propsData || {}
const props = vm._props = {}
// cache prop keys so that future props updates can iterate using Array
// instead of dynamic object key enumeration.
const keys = vm.$options._propKeys = []
const isRoot = !vm.$parent
// root instance props should be converted
if (!isRoot) {
toggleObserving(false)
}
for (const key in propsOptions) {
keys.push(key)
const value = validateProp(key, propsOptions, propsData, vm)
...
defineReactive(props, key, value)
if (!(key in vm)) {
proxy(vm, '_props', key)
}
}
toggleObserving(true)
}
复制代码
在这里,vm.$options.propsData
是通过父组件传给子组件实例的数据对象,如
中的{item: false}
,然后初始化vm._props
和vm.$options._propKeys
分别用来保存实例的props
数据和keys
,因为子组件中使用的是通过proxy
引用的_props
里的数据,而不是父组件传递的propsData
,所以这里缓存了_propKeys
,用来updateChildComponent
时能更新vm._props
。接着根据isRoot
是否是根组件来判断是否需要调用toggleObserving(false)
,这是一个全局的开关,来控制是否需要给对象添加__ob__
属性。这个相信大家都不陌生,一般的组件的data
等数据都包含这个属性,这里先不深究,等之后和defineReactive
时一起讲解。因为props
是通过父传给子的数据,在父元素initState
时已经把__ob__
添加上了,所以在不是实例化根组件时关闭了这个全局开关,待调用结束前在通过toggleObserving(true)
开启。
之后是一个for
循环,根据组件中定义的propsOptions
对象来设置vm._props
,这里的propsOptions
就是我们常写的
export default {
...
props: {
item: {
type: Object,
default: () => ({})
}
}
}
复制代码
循环体内,首先
const value = validateProp(key, propsOptions, propsData, vm)
复制代码
validateProp
方法主要是校验数据是否符合我们定义的type
,以及在propsData
里未找到key
时,获取默认值并在对象上定义__ob__
,最后返回相应的值,在这里不做展开。
这里我们先跳过defineReactive
,看最后
if (!(key in vm)) {
proxy(vm, '_props', key)
}
复制代码
其中proxy
方法:
function proxy (target, sourceKey, key) {
sharedPropertyDefinition.get = function proxyGetter () {
return this[sourceKey][key]
}
sharedPropertyDefinition.set = function proxySetter (val) {
this[sourceKey][key] = val
}
Object.defineProperty(target, key, sharedPropertyDefinition)
}
复制代码
在vm
不存在key
属性时,通过Object.defineProperty
使得我们能通过vm[key]
访问到vm._props[key]
。
defineReactive
在initProps
中,我们了解到其首先根据用户定义的vm.$options.props
对象,通过对父组件设置的传值对象vm.$options.propsData
进行数据校验,返回有效值并保存到vm._props
,同时保存相应的key
到vm.$options._propKeys
以便进行子组件的props
数据更新,最后利用getter/setter
存取器属性,将vm[key]
指向对vm._props[key]
的操作。但其中跳过了最重要的defineReactive
,现在我们将通过阅读defineReactive
源码,了解响应式数据背后的实现原理。
// src/core/observer/index.js
export function defineReactive (
obj,
key,
val,
customSetter,
shallow
) {
const dep = new Dep()
const property = Object.getOwnPropertyDescriptor(obj, key)
if (property && property.configurable === false) {
return
}
// cater for pre-defined getter/setters
const getter = property && property.get
const setter = property && property.set
if ((!getter || setter) && arguments.length === 2) {
val = obj[key]
}
let childOb = !shallow && observe(val)
...
}
复制代码
首先const dep = new Dep()
实例化了一个dep
,在这里利用闭包来定义一个依赖项,用以与特定的key
相对应。因为其通过Object.defineProperty
重写target[key]
的getter/setter
来实现数据的响应式,因此需要先判断对象key
的configurable
属性。接着
if ((!getter || setter) && arguments.length === 2) {
val = obj[key]
}
复制代码
arguments.length === 2
意味着调用defineReactive
时未传递val
值,此时val
为undefined
,而!getter || setter
判断条件则表示如果在property
存在getter
且不存在setter
的情况下,不会获取key
的数据对象,此时val
为undefined
,之后调用observe
时将不对其进行深度观察。正如之后的setter
访问器中的:
if (getter && !setter) return
复制代码
此时数据将是只读状态,既然是只读状态,则不存在数据修改问题,继而无须深度观察数据以便在数据变化时调用观察者注册的方法。
Observe
在defineReactive
里,我们先获取了target[key]
的descriptor
,并缓存了对应的getter
和setter
,之后根据判断选择是否获取target[key]
对应的val
,接着是
let childOb = !shallow && observe(val)
复制代码
根据shallow
标志来确定是否调用observe
,我们来看下observe
函数:
// src/core/observer/index.js
export function observe (value, asRootData) {
if (!isObject(value) || value instanceof VNode) {
return
}
let ob
if (hasOwn(value, '__ob__') && value.__ob__ instanceof Observer) {
ob = value.__ob__
} else if (
shouldObserve &&
!isServerRendering() &&
(Array.isArray(value) || isPlainObject(value)) &&
Object.isExtensible(value) &&
!value._isVue
) {
ob = new Observer(value)
}
if (asRootData && ob) {
ob.vmCount++
}
return ob
}
复制代码
首先判断需要观察的数据是否为对象以便通过Object.defineProperty
定义__ob__
属性,同时需要value
不属于VNode
的实例(VNode
实例通过Diff
补丁算法来实现实例对比并更新)。接着判断value
是否已有__ob__
,如果没有则进行后续判断:
shouldObserve
:全局开关标志,通过toggleObserving
来修改。!isServerRendering()
:判断是否服务端渲染。(Array.isArray(value) || isPlainObject(value))
:数组和纯对象时才允许添加__ob__
进行观察。Object.isExtensible(value)
:判断value
是否可扩展。!value._isVue
:避免Vue
实例被观察。
满足以上五个条件时,才会调用ob = new Observer(value)
,接下来我们要看下Observer
类里做了哪些工作
// src/core/observer/index.js
export class Observer {
constructor (value) {
this.value = value
this.dep = new Dep()
this.vmCount = 0
def(value, '__ob__', this)
if (Array.isArray(value)) {
if (hasProto) {
protoAugment(value, arrayMethods)
} else {
copyAugment(value, arrayMethods, arrayKeys)
}
this.observeArray(value)
} else {
this.walk(value)
}
}
/**
* Walk through all properties and convert them into
* getter/setters. This method should only be called when
* value type is Object.
*/
walk (obj) {
const keys = Object.keys(obj)
for (let i = 0; i < keys.length; i++) {
defineReactive(obj, keys[i])
}
}
/**
* Observe a list of Array items.
*/
observeArray (items) {
for (let i = 0, l = items.length; i < l; i++) {
observe(items[i])
}
}
}
复制代码
构造函数里初始化了value
、dep
和vmCount
三个属性,为this.value
添加__ob__
对象并指向自己,即value.__ob__.value === value
,这样就可以通过value
或__ob__
对象取到dep
和value
。vmCount
的作用主要是用来区分是否为Vue
实例的根data
,dep
的作用这里先不介绍,待与getter/setter
里的dep
一起解释。
接着根据value
是数组还是纯对象来分别调用相应的方法,对value
进行递归操作。当value
为纯对象时,调用walk
方法,递归调用defineReactive
。当value
是数组类型时,首先判断是否有__proto__
,有就使用__proto__
实现原型链继承,否则用Object.defineProperty
实现拷贝继承。其中继承的基类arrayMethods
来自src/core/observer/array.js
:
// src/core/observer/array.js
const arrayProto = Array.prototype
export const arrayMethods = Object.create(arrayProto)
const methodsToPatch = [
'push',
'pop',
'shift',
'unshift',
'splice',
'sort',
'reverse'
]
methodsToPatch.forEach(function (method) {
// cache original method
const original = arrayProto[method]
def(arrayMethods, method, function mutator (...args) {
const result = original.apply(this, args)
const ob = this.__ob__
let inserted
switch (method) {
case 'push':
case 'unshift':
inserted = args
break
case 'splice':
inserted = args.slice(2)
break
}
if (inserted) ob.observeArray(inserted)
// notify change
ob.dep.notify()
return result
})
})
复制代码
这里为什么要对数组的实例方法进行重写呢?代码里的methodsToPatch
这些方法并不会返回新的数组,导致无法触发setter
,因而不会调用观察者的方法。所以重写了这些变异方法,使得在调用的时候,利用observeArray
对新插入的数组元素添加__ob__
,并能够通过ob.dep.notify
手动通知对应的被观察者执行注册的方法,实现数组元素的响应式。
if (asRootData && ob) {
ob.vmCount++
}
复制代码
最后添加这个if
判断,在Vue
实例的根data
对象上,执行ob.vmCount++
,这里主要为了后面根据ob.vmCount
来区分是否为根数据,从而在其上执行Vue.set
和Vue.delete
。
getter/setter
在对val
进行递归操作后(假如需要的话),将obj[key]
的数据对象封装成了一个被观察者,使得能够被观察者观察,并在需要的时候调用观察者的方法。这里通过Object.defineProperty
重写了obj[key]
的访问器属性,对getter/setter
操作做了拦截处理,defineReactive
剩余的代码具体如下:
...
Object.defineProperty(obj, key, {
enumerable: true,
configurable: true,
get: function reactiveGetter () {
const value = getter ? getter.call(obj) : val
if (Dep.target) {
dep.depend()
if (childOb) {
childOb.dep.depend()
if (Array.isArray(value)) {
dependArray(value)
}
}
}
return value
},
set: function reactiveSetter (newVal) {
...
childOb = !shallow && observe(newVal)
dep.notify()
}
})
复制代码
首先在getter
调用时,判断Dep.target
是否存在,若存在则调用dep.depend
。我们先不深究Dep.target
,只当它是一个观察者,比如我们常用的某个计算属性,调用dep.depend
会将dep
当做计算属性的依赖项存入其依赖列表,并把这个计算属性注册到这个dep
。这里为什么需要互相引用呢?这是因为一个target[key]
可以充当多个观察者的依赖项,同时一个观察者可以有多个依赖项,他们之间属于多对多的关系。这样当某个依赖项改变时,我们可以根据dep
里维护的观察者,调用他们的注册方法。现在我们回过头来看Dep
:
// src/core/observer/dep.js
export default class Dep {
static target: ?Watcher;
id: number;
subs: Array;
constructor () {
this.id = uid++
this.subs = []
}
addSub (sub: Watcher) {
this.subs.push(sub)
}
removeSub (sub: Watcher) {
remove(this.subs, sub)
}
depend () {
if (Dep.target) {
Dep.target.addDep(this)
}
}
notify () {
// stabilize the subscriber list first
const subs = this.subs.slice()
...
for (let i = 0, l = subs.length; i < l; i++) {
subs[i].update()
}
}
}
复制代码
构造函数里,首先添加一个自增的uid
用以做dep
实例的唯一性标志,接着初始化一个观察者列表subs
,并定义了添加观察者方法addSub
和移除观察者方法removeSub
。可以看到其在getter
中调用的depend
会将当前这个dep
实例添加到观察者的依赖项,在setter
里调用的notify
会执行各个观察者注册的update
方法,Dep.target.addDep
这个方法将在之后的Watcher
里进行解释。简单来说就是会在key
的getter
触发时进行dep
依赖收集到watcher
并将Dep.target
添加到当前dep
的观察者列表,这样在key
的setter
触发时,能够通过观察者列表,执行观察者的update
方法。
当然,在getter
中还有如下几行代码:
if (childOb) {
childOb.dep.depend()
if (Array.isArray(value)) {
dependArray(value)
}
}
复制代码
这里可能会有疑惑,既然已经调用了dep.depend
,为什么还要调用childOb.dep.depend
?两个dep
之间又有什么关系呢?
其实这两个dep
的分工是不同的。对于数据的增、删,利用childOb.dep.notify
来调用观察者方法,而对于数据的修改,则使用的dep.notify
,这是因为setter
访问器无法监听到对象数据的添加和删除。举个例子:
const data = {
arr: [{
value: 1
}],
}
data.a = 1; // 无法触发setter
data.arr[1] = {value: 2}; // 无法触发setter
data.arr.push({value: 3}); // 无法触发setter
data.arr = [{value: 4}]; // 可以触发setter
复制代码
还记得Observer
构造函数里针对数组类型value
的响应式转换吗?通过重写value
原型链,使得对于新插入的数据:
if (inserted) ob.observeArray(inserted)
// notify change
ob.dep.notify()
复制代码
将其转换为响应式数据,并通过ob.dep.notify
来调用观察者的方法,而这里的观察者列表就是通过上述的childOb.dep.depend
来收集的。同样的,为了实现对象新增数据的响应式,我们需要提供相应的hack
方法,而这就是我们常用的Vue.set/Vue.delete
。
// src/core/observer/index.js
export function set (target: Array | Object, key: any, val: any ): any {
...
if (Array.isArray(target) && isValidArrayIndex(key)) {
target.length = Math.max(target.length, key)
target.splice(key, 1, val)
return val
}
if (key in target && !(key in Object.prototype)) {
target[key] = val
return val
}
const ob = (target: any).__ob__
if (target._isVue || (ob && ob.vmCount)) {
process.env.NODE_ENV !== 'production' && warn(
'Avoid adding reactive properties to a Vue instance or its root $data ' +
'at runtime - declare it upfront in the data option.'
)
return val
}
if (!ob) {
target[key] = val
return val
}
defineReactive(ob.value, key, val)
ob.dep.notify()
return val
}
复制代码
- 判断
value
是否为数组,如果是,直接调用已经hack
过的splice
即可。 - 是否已存在
key
,有的话说明已经是响应式了,直接修改即可。 - 接着判断
target.__ob__
是否存在,如果没有说明该对象无须深度观察,设置返回当前的值。 - 最后,通过
defineReactive
来设置新增的key
,并调用ob.dep.notify
通知到观察者。
现在我们了解了childOb.dep.depend()
是为了将当前watcher
收集到childOb.dep
,以便在增、删数据时能通知到watcher
。而在childOb.dep.depend()
之后还有:
if (Array.isArray(value)) {
dependArray(value)
}
复制代码
/**
* Collect dependencies on array elements when the array is touched, since
* we cannot intercept array element access like property getters.
*/
function dependArray (value: Array ) {
for (let e, i = 0, l = value.length; i < l; i++) {
e = value[i]
e && e.__ob__ && e.__ob__.dep.depend()
if (Array.isArray(e)) {
dependArray(e)
}
}
}
复制代码
在触发target[key]
的getter
时,如果value
的类型为数组,则递归将其每个元素都调用__ob__.dep.depend
,这是因为无法拦截数组元素的getter
,所以将当前watcher
收集到数组下的所有__ob__.dep
,这样当其中一个元素触发增、删操作时能通知到观察者。比如:
const data = {
list: [[{value: 0}]],
};
data.list[0].push({value: 1});
复制代码
这样在data.list[0].__ob__.notify
时,才能通知到watcher
。
target[key]
的getter
主要作用:
- 将
Dep.target
收集到闭包中dep
的观察者列表,以便在target[key]
的setter
修改数据时通知观察者 - 根据情况对数据进行遍历添加
__ob__
,将Dep.target
收集到childOb.dep
的观察者列表,以便在增加/删除数据时能通知到观察者 - 通过
dependArray
将数组型的value
递归进行观察者收集,在数组元素发生增、删、改时能通知到观察者
target[key]
的setter
主要作用是对新数据进行观察,并通过闭包保存到childOb
变量供getter
使用,同时调用dep.notify
通知观察者,在此就不再展开。
Watcher
在前面的篇幅中,我们主要介绍了defineReactive
来定义响应式数据:通过闭包保存dep
和childOb
,在getter
时来进行观察者的收集,使得在数据修改时能触发dep.notify
或childOb.dep.notify
来调用观察者的方法进行更新。但具体是如何进行watcher
收集的却未做过多解释,现在我们将通过阅读Watcher
来了解观察者背后的逻辑。
function initComputed (vm: Component, computed: Object) {
const watchers = vm._computedWatchers = Object.create(null)
const isSSR = isServerRendering()
for (const key in computed) {
const userDef = computed[key]
const getter = typeof userDef === 'function' ? userDef : userDef.get
if (!isSSR) {
// create internal watcher for the computed property.
watchers[key] = new Watcher(
vm,
getter || noop,
noop,
computedWatcherOptions
)
}
...
}
}
复制代码
这是Vue
计算属性的初始化操作,去掉了一部分不影响的代码。首先初始化对象vm._computedWatchers
用以存储所有的计算属性,isSSR
用以判断是否为服务端渲染。再根据我们编写的computed
键值对循环遍历,如果不是服务端渲染,则为每个计算属性实例化一个Watcher
,并以键值对的形式保存到vm._computedWatchers
对象,接下来我们主要看下Watcher
这个类。
Watcher
的构造函数
构造函数接受5个参数,其中当前Vue
实例vm
、求值表达式expOrFn
(支持Function
或者String
,计算属性中一般为Function
),回调函数cb
这三个为必传参数。设置this.vm = vm
用以后续绑定this.getter
的执行环境,并将this
推入vm._watchers
(vm._watchers
用以维护实例vm
中所有的观察者),另外根据是否为渲染观察者来赋值vm._watcher = this
(常用的render
即为渲染观察者)。接着根据options
进行一系列的初始化操作。其中有几个属性:
this.lazy
:设置是否懒求值,这样能保证有多个被观察者发生变化时,能只调用求值一次。this.dirty
:配合this.lazy
,用以标记当前观察者是否需要重新求值。this.deps
、this.newDeps
、this.depIds
、this.newDepIds
:用以维护被观察对象的列表。this.getter
:求值函数。this.value
:求值函数返回的值,即为计算属性中的值。
Watcher
的求值
因为计算属性是惰性求值,所以我们继续看initComputed
循环体:
if (!(key in vm)) {
defineComputed(vm, key, userDef)
}
复制代码
defineComputed
主要将userDef
转化为getter/setter
访问器,并通过Object.defineProperty
将key
设置到vm
上,使得我们能通过this[key]
直接访问到计算属性。接下来我们主要看下userDef
转为getter
中的createComputedGetter
函数:
function createComputedGetter (key) {
return function computedGetter () {
const watcher = this._computedWatchers && this._computedWatchers[key]
if (watcher) {
if (watcher.dirty) {
watcher.evaluate()
}
if (Dep.target) {
watcher.depend()
}
return watcher.value
}
}
}
复制代码
利用闭包保存计算属性的key
,在getter
触发时,首先通过this._computedWatchers[key]
获取到之前保存的watcher
,如果watcher.dirty
为true
时调用watcher.evaluate
(执行this.get()
求值操作,并将当前watcher
的dirty
标记为false
),我们主要看下get
操作:
get () {
pushTarget(this)
let value
const vm = this.vm
try {
value = this.getter.call(vm, vm)
} catch (e) {
...
} finally {
// "touch" every property so they are all tracked as
// dependencies for deep watching
if (this.deep) {
traverse(value)
}
popTarget()
this.cleanupDeps()
}
return value
}
复制代码
可以看到,求值时先执行pushTarget(this)
,通过查阅src/core/observer/dep.js
,我们可以看到:
Dep.target = null
const targetStack = []
export function pushTarget (target: ?Watcher) {
targetStack.push(target)
Dep.target = target
}
export function popTarget () {
targetStack.pop()
Dep.target = targetStack[targetStack.length - 1]
}
复制代码
pushTarget
主要是把watcher
实例进栈,并赋值给Dep.target
,而popTarget
则相反,把watcher
实例出栈,并将栈顶赋值给Dep.target
。Dep.target
这个我们之前在getter
里见到过,其实就是当前正在求值的观察者。这里在求值前将Dep.target
设置为watcher
,使得在求值过程中获取数据时触发getter
访问器,从而调用dep.depend
,继而执行watcher
的addDep
操作:
addDep (dep: Dep) {
const id = dep.id
if (!this.newDepIds.has(id)) {
this.newDepIds.add(id)
this.newDeps.push(dep)
if (!this.depIds.has(id)) {
dep.addSub(this)
}
}
}
复制代码
先判断newDepIds
是否包含dep.id
,没有则说明尚未添加过这个dep
,此时将dep
和dep.id
分别加到newDepIds
和newDeps
。如果depIds
不包含dep.id
,则说明之前未添加过此dep
,因为是双向添加的(将dep
添加到watcher
的同时也需要将watcher
收集到dep
),所以需要调用dep.addSub
,将当前watcher
添加到新的dep
的观察者队列。
if (this.deep) {
traverse(value)
}
复制代码
再接着根据this.deep
来调用traverse
。traverse
的作用主要是递归遍历触发value
的getter
,调用所有元素的dep.depend()
并过滤重复收集的dep
。最后调用popTarget()
将当前watcher
移出栈,并执行cleanupDeps
:
cleanupDeps () {
let i = this.deps.length
while (i--) {
const dep = this.deps[i]
if (!this.newDepIds.has(dep.id)) {
dep.removeSub(this)
}
}
...
}
复制代码
遍历this.deps
,如果在newDepIds
中不存在dep.id
,则说明新的依赖里不包含当前dep
,需要到dep
的观察者列表里去移除当前这个watcher
,之后便是depIds
和newDepIds
、deps
和newDeps
的值交换,并清空newDepIds
和newDeps
。到此完成了对watcher
的求值操作,同时更新了新的依赖,最后返回value
即可。
回到createComputedGetter
接着看:
if (Dep.target) {
watcher.depend()
}
复制代码
当执行计算属性的getter
时,有可能表达式中还有别的计算属性依赖,此时我们需要执行watcher.depend
将当前watcher
的deps
添加到Dep.target
即可。最后返回求得的watcher.value
即可。
总的来说我们从this[key]
触发watcher
的get
函数,将当前watcher
入栈,通过求值表达式将所需要的依赖dep
收集到newDepIds
和newDeps
,并将watcher
添加到对应dep
的观察者列表,最后清除无效dep
并返回求值结果,这样就完成了依赖关系的收集。
Watcher
的更新
以上我们了解了watcher
的依赖收集和dep
的观察者收集的基本原理,接下来我们了解下dep
的数据更新时如何通知watcher
进行update
操作。
notify () {
// stabilize the subscriber list first
const subs = this.subs.slice()
for (let i = 0, l = subs.length; i < l; i++) {
subs[i].update()
}
}
复制代码
首先在dep.notify
时,我们将this.subs
拷贝出来,防止在watcher
的get
时候subs
发生更新,之后调用update
方法:
update () {
/* istanbul ignore else */
if (this.lazy) {
this.dirty = true
} else if (this.sync) {
this.run()
} else {
queueWatcher(this)
}
}
复制代码
- 如果是
lazy
,则将其标记为this.dirty = true
,使得在this[key]
的getter
触发时进行watcher.evaluate
调用计算。 - 如果是
sync
同步操作,则执行this.run
,调用this.get
求值和执行回调函数cb
。 - 否则执行
queueWatcher
,选择合适的位置,将watcher
加入到队列去执行即可,因为和响应式数据无关,故不再展开。
小结
因为篇幅有限,只对数据绑定的基本原理做了基本的介绍,在这画了简单的流程图和数据流向图来帮助理解Vue
的响应式数据,其中省略了一些VNode
等不影响理解的逻辑及边界条件,尽可能简化地让流程更加直观:
最后,本着学习的心态,在写作的过程中也零零碎碎的查阅了很多资料,其中难免出现纰漏以及未覆盖到的知识点,如有错误,还请不吝指教。