前言

Vue3.0 和 Vue2.0 整体的响应式思路没有变化,但是实现细节发生了较大的变化。并且 Vue3.0 将响应式系统进行了解耦,从主体代码中抽离了出来,这意味着,我们可以将 Vue3.0 的响应式系统视作一个单独的库来使用,就像 RxJS。

设计思路

虽然 Vue3.0 和 Vue2.0 的响应式思路没有变,但为了方便回顾和讲解,我们还是重新理一下 Vue 的响应式系统设计思路

什么是响应式

对象 A 发生变化后,对象 B 也随之发生改变

  • 响应式编程b 变量 或者 c 变量的值 发生变化,a 变量的值 也随之发生改变(a := b + c)
  • 响应式布局视图窗口 发生变化,视图内元素布局 也随之发生改变
  • MVVMModel 发生变化,View 也随之发生变化

在 Vue 里的 对象 A 就是 数据对象 B 则是 视图的渲染函数 或者 watch 或者 computed

Vue 的响应式系统需要做到什么

  1. 如何知道 数据 发生了变化
  2. 如何知道 响应对象 依赖了哪些 数据,建立依赖关系
  3. 如何在 数据 发生改变后通知依赖的 响应对象 做出响应

我们再将上面的需求转换成我们或多或少都听过的专业术语

  1. 数据挟持
  2. 依赖收集
  3. 派发更新

实现原理

数据挟持

如何知道 数据 发生了变化

概述

如何知道数据发生了变化呢,这问题再进一步就是 如何知道数据被操作了呢,其中的操作包括(增、删、改、查)。

Vue2.0 是利用 Object.defineProperty 可以挟持并自定义对象setter 操作和 getter 操作来实现的,但是这有一些问题:

  • 数组 这一数据类型的数据 defineProperty 无法直接挟持,需要使用比较 hack 的操作去完成
  • 操作在一些场景下无法捕获到,在无法挟持到的场景下,我们就必须使用 $set$delete 这些 Vue 封装的函数去代替 js 原生的值操作,增加了心智成本
  • 性能的浪费,因为无法知道具体哪些值是需要响应式的,Vue2.0 会不管三七二十一,只要是在 data 里能挟持的都会挟持一边,但实际上开发者数据更改的粒度往往不会这么细,所以这会导致一定程度上的性能浪费(用 Object.freeze() 等操作可以在一定程度上解决这个问题)

Vue3.0 则是使用 Proxy 来实现数据更改的监听,Proxy 从定义上来说简直就是完美的为 数据挟持 这一目的而准备的,请看 MDN 介绍:

Proxy 对象用于创建一个对象的代理,从而实现基本操作的拦截和自定义(如属性查找、赋值、枚举、函数调用等)。

从某种意义上来讲,Proxy 可以视为 Object.defineProperty 的强化,它拥有更丰富的可以挟持的内容,并且解决了上面描述使用 defineProperty 存在的问题:

  • 不再需要专门为 数组 进行特殊的挟持操作,Proxy 直接搞定
  • 操作 Proxy 也能直接挟持
  • 因为 Proxy 的一些特点,Proxy 可以实现惰性的挟持,而不需要深度的挟持所有值(后面再说怎么实现的)
  • 同时因为 Proxy 并不是对数据源进行更改,从而可以保证不会出现太多的副作用

实现细节

Vue3.0 对于数据的响应式挟持,统一使用 composition API 来实现,我们仅对最典型的 reactive() 来讲解一下

reactive
  1. export function reactive<T extends object>(target: T): UnwrapNestedRefs<T>
  2. export function reactive(target: object) {
  3. // 如果目标数据已经被 readonly() 封装过了,则直接返回,不对其进行响应式处理
  4. if (target && (target as Target)[ReactiveFlags.IS_READONLY]) {
  5. return target
  6. }
  7. // 调用通用函数进行响应式处理
  8. return createReactiveObject(
  9. target, // 目标数据
  10. false, // 是否做只读操作
  11. mutableHandlers, // Object/Array 类型的代理处理器
  12. mutableCollectionHandlers // Map/Set/WeakMap/WeakSet 类型的代理处理器
  13. )
  14. }

createReactiveObject
  1. function createReactiveObject(target: Target, isReadonly: boolean, baseHandlers: ProxyHandler<any>, collectionHandlers: ProxyHandler<any>) {
  2. // 如果不是对象,直接抛出错误并返回
  3. if (!isObject(target)) return target
  4. // 如果对象已经是响应式对象,则直接返回,但如果是 readonly() 一个已经是响应式的数据则不返回,继续执行
  5. if (target[ReactiveFlags.RAW] && !(isReadonly && target[ReactiveFlags.IS_REACTIVE])) return target
  6. // 已经被代理的缓存(WeekMap),readonly 和 reactive 两种代理方式各有一个缓存
  7. const proxyMap = isReadonly ? readonlyMap : reactiveMap
  8. // 如果对象已经被代理过了,则直接从缓存中取出
  9. const existingProxy = proxyMap.get(target)
  10. if (existingProxy) {
  11. return existingProxy
  12. }
  13. // 判断目标对象是否是一些特殊的或者不需要劫持的对象,如果是则直接返回
  14. // 并获得其数据类型:Object/Array => TargeType.COMMON、Map/Set/WeakMap/WeakSet => TargeType.COLLECTION
  15. const targetType = getTargetType(target)
  16. if (targetType === TargetType.INVALID) {
  17. return target
  18. }
  19. // 创建 Proxy 代理,如果目标对象的类型是 Map/Set/WeakMap/WeakSet 则使用专门针对集合使用的代理处理器,反之用基本处理器
  20. const proxy = new Proxy(
  21. target,
  22. targetType === TargetType.COLLECTION ? collectionHandlers : baseHandlers
  23. )
  24. // 存入缓存
  25. proxyMap.set(target, proxy)
  26. // 返回
  27. return proxy
  28. }

mutableHandlers

Object/Array 类型的代理处理器

为了方便阅读,忽略了一些在 reactive 情境下的常量值判断,比如 readOnly,shadow

  1. export const mutableHandlers: ProxyHandler<object> = {
  2. get(target: Target, key: string | symbol, receiver: object) {
  3. // ...内部常量代理
  4. // ReactiveFlags.IS_REACTIVE = true
  5. // ReactiveFlags.IS_READONLY = false
  6. // ReactiveFlags.RAW = target
  7. // 目标对象是否是数组
  8. const targetIsArray = isArray(target);
  9. // 调用一些特定的数组方法时的特殊处理
  10. if (targetIsArray && hasOwn(arrayInstrumentations, key)) {
  11. return Reflect.get(arrayInstrumentations, key, receiver);
  12. }
  13. // 获取值
  14. const res = Reflect.get(target, key, receiver);
  15. // 如果是一些原生内置 Symbol,或者不需要跟踪的值的直接返回
  16. if (
  17. isSymbol(key)
  18. ? builtInSymbols.has(key as symbol)
  19. : isNonTrackableKeys(key)
  20. ) {
  21. return res;
  22. }
  23. // 依赖收集
  24. track(target, TrackOpTypes.GET, key);
  25. // 如果对应值已经 Ref() 过,则根据当前是不是通过正常 key 值访问一个数组来决定要不要返回原生 ref,还是其 value
  26. if (isRef(res)) {
  27. const shouldUnwrap = !targetIsArray || !isIntegerKey(key);
  28. return shouldUnwrap ? res.value : res;
  29. }
  30. // 如果是对象,则挟持该对象(惰性响应式的出处)
  31. if (isObject(res)) {
  32. return reactive(res);
  33. }
  34. // 返回结果
  35. return res;
  36. },
  37. set(target: object, key: string | symbol, value: unknown, receiver: object): boolean {
  38. // 旧值
  39. const oldValue = (target as any)[key];
  40. // 新值去除可能存在的响应式
  41. value = toRaw(value);
  42. // 如果旧值是 Ref 值,则传递给 Ref 处理
  43. if (!isArray(target) && isRef(oldValue) && !isRef(value)) {
  44. oldValue.value = value;
  45. return true;
  46. }
  47. // 有没有对应 key 值
  48. const hadKey =
  49. isArray(target) && isIntegerKey(key)
  50. ? Number(key) < target.length
  51. : hasOwn(target, key);
  52. // 设置值
  53. const result = Reflect.set(target, key, value, receiver);
  54. // 派发更新
  55. if (target === toRaw(receiver)) {
  56. if (!hadKey) {
  57. trigger(target, TriggerOpTypes.ADD, key, value);
  58. } else if (hasChanged(value, oldValue)) {
  59. trigger(target, TriggerOpTypes.SET, key, value, oldValue);
  60. }
  61. }
  62. return result;
  63. },
  64. deleteProperty(target: object, key: string | symbol): boolean {
  65. const hadKey = hasOwn(target, key);
  66. const oldValue = (target as any)[key];
  67. const result = Reflect.deleteProperty(target, key);
  68. // 派发更新
  69. if (result && hadKey) {
  70. trigger(target, TriggerOpTypes.DELETE, key, undefined, oldValue);
  71. }
  72. return result;
  73. },
  74. has(target: object, key: string | symbol): boolean {
  75. const result = Reflect.has(target, key);
  76. // 如果该值不是原生内部的 Symbol 值,则进行依赖收集
  77. if (!isSymbol(key) || !builtInSymbols.has(key)) {
  78. track(target, TrackOpTypes.HAS, key);
  79. }
  80. return result;
  81. },
  82. ownKeys(target: object): (string | number | symbol)[] {
  83. // 依赖收集
  84. track(
  85. target,
  86. TrackOpTypes.ITERATE,
  87. isArray(target) ? "length" : ITERATE_KEY
  88. );
  89. return Reflect.ownKeys(target);
  90. },
  91. };

collectionHandlers

为了方便阅读,忽略了一些在 reactive 情境下的常量值判断,比如 readOnly,shadow

Map/Set/WeakMap/WeakSet 类型的代理处理器
由于上述四个类型修改值都是通过函数修改的,所以代理函数只拦截 get 方法,用于拦截响应对象调用了哪个操作函数,再进行具体的依赖收集或者派发更新

  1. export const mutableCollectionHandlers: ProxyHandler<CollectionTypes> = {
  2. get: (
  3. target: CollectionTypes,
  4. key: string | symbol,
  5. receiver: CollectionTypes
  6. ) => {
  7. // ...内部常量代理
  8. // ReactiveFlags.IS_REACTIVE = true
  9. // ReactiveFlags.IS_READONLY = false
  10. // ReactiveFlags.RAW = target
  11. // 使用对应封装的函数,来进行处理
  12. return Reflect.get(
  13. hasOwn(mutableInstrumentations, key) && key in target
  14. ? mutableInstrumentations
  15. : target,
  16. key,
  17. receiver
  18. )
  19. }
  20. }
  21. // 函数代理
  22. const mutableInstrumentations: Record<string, Function> = {
  23. get(this: MapTypes, key: unknown) {
  24. return get(this, key)
  25. },
  26. get size() {
  27. return size((this as unknown) as IterableCollections)
  28. },
  29. has,
  30. add,
  31. set,
  32. delete: deleteEntry,
  33. clear,
  34. forEach: createForEach(false, false)
  35. }
  36. // 获取值
  37. function get(
  38. target: MapTypes,
  39. key: unknown,
  40. isReadonly = false,
  41. isShallow = false
  42. ) {
  43. // 原生对象
  44. target = (target as any)[ReactiveFlags.RAW]
  45. const rawTarget = toRaw(target)
  46. // 原生 key
  47. const rawKey = toRaw(key)
  48. // 如果是响应式的,则对响应式 key 进行依赖收集
  49. if (key !== rawKey) {
  50. track(rawTarget, TrackOpTypes.GET, key)
  51. }
  52. // 对原生 key 进行依赖收集
  53. track(rawTarget, TrackOpTypes.GET, rawKey)
  54. // 如果目标集合存在 has 函数,则再调用 has 进行依赖收集,因为 get()隐形依赖 has,并返回响应式 key
  55. const { has } = getProto(rawTarget)
  56. if (has.call(rawTarget, key)) {
  57. return toReactive(target.get(key))
  58. } else if (has.call(rawTarget, rawKey)) {
  59. return toReactive(target.get(rawKey))
  60. }
  61. }
  62. function size(target: IterableCollections, isReadonly = false) {
  63. // 依赖收集,key 值时 Vue 内部的 Symbol('iterate')
  64. target = (target as any)[ReactiveFlags.RAW]
  65. track(toRaw(target), TrackOpTypes.ITERATE, ITERATE_KEY)
  66. return Reflect.get(target, 'size', target)
  67. }
  68. function add(this: SetTypes, value: unknown) {
  69. value = toRaw(value)
  70. const target = toRaw(this)
  71. // 调用原生的 has
  72. const proto = getProto(target)
  73. const hadKey = proto.has.call(target, value)
  74. // 如果不存在,则添加,并派发更新
  75. if (!hadKey) {
  76. target.add(value)
  77. trigger(target, TriggerOpTypes.ADD, value, value)
  78. }
  79. return this
  80. }
  81. function set(this: MapTypes, key: unknown, value: unknown) {
  82. value = toRaw(value)
  83. const target = toRaw(this)
  84. const { has, get } = getProto(target)
  85. // 是否已经存在对应的 key,通过传入的 key 和 key 可能存在的真实 rawKey 去分别判断
  86. let hadKey = has.call(target, key)
  87. if (!hadKey) {
  88. key = toRaw(key)
  89. hadKey = has.call(target, key)
  90. }
  91. // 取出旧值,并设置
  92. const oldValue = get.call(target, key)
  93. target.set(key, value)
  94. // 如果是新增则触发新增的更新,反之触发设置的更新
  95. if (!hadKey) {
  96. trigger(target, TriggerOpTypes.ADD, key, value)
  97. } else if (hasChanged(value, oldValue)) {
  98. trigger(target, TriggerOpTypes.SET, key, value, oldValue)
  99. }
  100. return this
  101. }
  102. function deleteEntry(this: CollectionTypes, key: unknown) {
  103. const target = toRaw(this)
  104. const { has, get } = getProto(target)
  105. // 同 set,是否已经存在对应的 key,通过传入的 key 和 key 可能存在的真实 rawKey 去分别判断
  106. let hadKey = has.call(target, key)
  107. if (!hadKey) {
  108. key = toRaw(key)
  109. hadKey = has.call(target, key)
  110. }
  111. // 取出旧值,并删除
  112. const oldValue = get ? get.call(target, key) : undefined
  113. const result = target.delete(key)
  114. // 触发删除的更新
  115. if (hadKey) {
  116. trigger(target, TriggerOpTypes.DELETE, key, undefined, oldValue)
  117. }
  118. return result
  119. }
  120. function clear(this: IterableCollections) {
  121. const target = toRaw(this)
  122. const hadItems = target.size !== 0
  123. const result = target.clear()
  124. // 触发清空的更新
  125. if (hadItems) {
  126. trigger(target, TriggerOpTypes.CLEAR, undefined, undefined, undefined)
  127. }
  128. return result
  129. }
  130. function forEach(
  131. this: IterableCollections,
  132. callback: Function,
  133. thisArg?: unknown
  134. ) {
  135. const observed = this as any
  136. const target = observed[ReactiveFlags.RAW]
  137. const rawTarget = toRaw(target)
  138. // 基于迭代器收集依赖
  139. track(rawTarget, TrackOpTypes.ITERATE, ITERATE_KEY)
  140. // 使其子集具备响应式
  141. return target.forEach((value: unknown, key: unknown) => {
  142. return callback.call(thisArg, toReactive(value), toReactive(key), observed)
  143. })
  144. }

依赖收集

如何知道 响应对象 依赖了哪些 数据,建立依赖关系

概述

如何知道 响应对象 依赖了哪些 数据,这个问题进一步就是 响应对象用了哪些数据。
Vue 的大体思路是这样的,比如我一个函数 fnA,里使用了 data 里的 BC
想要知道 fnA 使用了 BC,那我们干脆就直接运行一下 fnA,在 BC 里面等待 fnA 的获取,然后建立两者的依赖。
`
Vue2.0 里有一些概念 Watcher,Dep,target。

  • Watcher 就是指 fnA
  • Dep 则是存在 Bsetter 里面的一个对象,用于存放 Watcher 集合
  • target 则是现在正在进行依赖收集的 Watcher

简单粗暴来讲
new Watcher(fnA) => target 等于当前 Watcher并调用 fnA => fnA 获取 B 的值,B 会将 target 放到自己的 Dep 上 => B 更新了,通知自己 Dep 上的 Watcher 重新执行 fnA

Vue3.0 思路差不多,但是实现上大有不同,因为 Vue3.0 不再随意对数据进行侵入式修改或者挟持,所以 Vue3.0 单独拎出来了一个静态变量存储依赖关系,这个变量叫做 targetMap
同时引进了一个新概念
effect,它与 Vue2.0 的 Watcher 差不多,但是概念有些转换,从 监听者 变成了 副作用,指的是 ~~对应依赖~~ 值改变后会发生的副作用**

数据类型

数据类型大概如下:
targetMap key 指向的是 A B 所在的对象 Datavalue 指向的是
KeyToDepMap key 的是 ‘A’‘B’ 的键值,value 则是存放 effect里面的 Watcher 集合

  1. type Dep = Set<ReactiveEffect>
  2. type KeyToDepMap = Map<any, Dep>
  3. const targetMap = new WeakMap<any, KeyToDepMap>()

image.png

实现细节

Effect

effect 实际上就是 Vue2.0 里面的 Watcher,只不过做的事情相对而言化繁为简了

  1. export function effect<T = any>(
  2. fn: () => T,
  3. options: ReactiveEffectOptions = EMPTY_OBJ
  4. ): ReactiveEffect<T> {
  5. // 如果传进来的函数已经是一个 effect 了,则取出其原生的函数进行处理
  6. if (isEffect(fn)) { fn = fn.raw }
  7. // 创建响应式副作用
  8. const effect = createReactiveEffect(fn, options)
  9. // 如果不是惰性的副作用,则直接运行并依赖收集,computed 就是惰性的
  10. if (!options.lazy) {
  11. effect()
  12. }
  13. return effect
  14. }

createReactiveEffect
  1. function createReactiveEffect<T = any>(
  2. fn: () => T,
  3. options: ReactiveEffectOptions
  4. ): ReactiveEffect<T> {
  5. // 返回封装后的副作用函数
  6. const effect = function reactiveEffect(): unknown {
  7. // 副作用函数核心,稍后讲
  8. } as ReactiveEffect
  9. // 一些静态属性的定义
  10. effect.id = uid++
  11. effect.allowRecurse = !!options.allowRecurse
  12. effect._isEffect = true
  13. effect.active = true
  14. effect.raw = fn
  15. effect.deps = []
  16. effect.options = options
  17. return effect
  18. }

reactiveEffect
  1. function reactiveEffect(): unknown {
  2. // 如果副作用已经被暂停,则优先执行其调度器,再运行函数本体
  3. if (!effect.active) {
  4. return options.scheduler ? undefined : fn()
  5. }
  6. // 如果当前副作用未在运行的时候才进入
  7. if (!effectStack.includes(effect)) {
  8. // 先清除旧的依赖关系
  9. cleanup(effect)
  10. try {
  11. // 开启依赖收集
  12. enableTracking()
  13. // 加入运行中的副作用堆栈
  14. effectStack.push(effect)
  15. // 确认当前副作用,Vue2.0 里的 target
  16. activeEffect = effect
  17. // 执行函数
  18. return fn()
  19. } finally {
  20. // 退出堆栈
  21. effectStack.pop()
  22. // 关闭依赖收集
  23. resetTracking()
  24. // 将当前副作用转交给上一个或者置空
  25. activeEffect = effectStack[effectStack.length - 1]
  26. }
  27. }
  28. }

track

会在数据挟持的 get / has / ownKeys 中调用

  1. export function track(target: object, type: TrackOpTypes, key: unknown) {
  2. // 如果当前没有再收集过程中,则退出
  3. if (!shouldTrack || activeEffect === undefined) {
  4. return
  5. }
  6. // 取出对象的 KeyToDepMap,如果没有则创建一个新的
  7. let depsMap = targetMap.get(target)
  8. if (!depsMap) {
  9. targetMap.set(target, (depsMap = new Map()))
  10. }
  11. // 取出对应 key 值的依赖集合,如果没有则创建一个新的
  12. let dep = depsMap.get(key)
  13. if (!dep) {
  14. depsMap.set(key, (dep = new Set()))
  15. }
  16. // 如果依赖中不存在当前的队列则进去,防止重复设置依赖
  17. if (!dep.has(activeEffect)) {
  18. // 双向依赖,保证新旧依赖的一致性
  19. dep.add(activeEffect)
  20. activeEffect.deps.push(dep)
  21. }
  22. }

派发更新

如何在 数据 发生改变后通知依赖的 响应对象 做出响应

概述

派发更新可以说是三个大环节中最简单的一部分了,但 Vue3.0 对比 Vue2.0 实现了更多细节,只需要在 值发生变动的时候从依赖关系中取出对应的副作用集合,触发副作用 即可。
我们可以在上面数据挟持中的 set / deleteProperty 发现派发更新的函数 trigger 的调用。

实现细节

trigger
  1. export function trigger(
  2. target: object,
  3. type: TriggerOpTypes,
  4. key?: unknown,
  5. newValue?: unknown,
  6. oldValue?: unknown,
  7. oldTarget?: Map<unknown, unknown> | Set<unknown>
  8. ) {
  9. // 响应值所在对象的 KeyToDepMap,如果没有则直接返回
  10. const depsMap = targetMap.get(target)
  11. if (!depsMap) {
  12. // never been tracked
  13. return
  14. }
  15. // 所需要触发的副作用集合
  16. const effects = new Set<ReactiveEffect>()
  17. // 添加到集合里的函数,可以在下面触发的时候再看
  18. const add = (effectsToAdd: Set<ReactiveEffect> | undefined) => {
  19. // 传入一个副作用集合
  20. if (effectsToAdd) {
  21. // 遍历传入的副作用集合
  22. effectsToAdd.forEach(effect => {
  23. // 如果副作用不是当前正在执行的副作用(防止反复调用死循环),或者允许递归调用,则添加值即将触发的副作用集合中
  24. if (effect !== activeEffect || effect.allowRecurse) {
  25. effects.add(effect)
  26. }
  27. })
  28. }
  29. }
  30. if (type === TriggerOpTypes.CLEAR) {
  31. // 如果对应的修改操作是,比如 new Set().clear()
  32. // 则将所有子值的副作用添加到副作用队列中
  33. depsMap.forEach(add)
  34. } else if (key === 'length' && isArray(target)) {
  35. // 如果修改的是数组的 length,意味新的长度后面的值都发生了变动,并将这些下标所对应的副作用加入到队列中
  36. depsMap.forEach((dep, key) => {
  37. if (key === 'length' || key >= (newValue as number)) {
  38. add(dep)
  39. }
  40. })
  41. } else {
  42. // 修改值,新增值,删除值
  43. // 将对应值的副作用添加至队列
  44. if (key !== void 0) {
  45. add(depsMap.get(key))
  46. }
  47. // 增删改对应需要触发的其他副作用(比如依赖于长度的副作用,依赖于迭代器的副作用)
  48. switch (type) {
  49. // 新增
  50. case TriggerOpTypes.ADD:
  51. // 新增意味着长度发生改变,触发对应迭代器和长度的副作用函数
  52. if (!isArray(target)) {
  53. add(depsMap.get(ITERATE_KEY))
  54. if (isMap(target)) {
  55. add(depsMap.get(MAP_KEY_ITERATE_KEY))
  56. }
  57. } else if (isIntegerKey(key)) {
  58. add(depsMap.get('length'))
  59. }
  60. break
  61. case TriggerOpTypes.DELETE:
  62. // 同上,由于数组的删除操作比较特殊所以没有出现
  63. if (!isArray(target)) {
  64. add(depsMap.get(ITERATE_KEY))
  65. if (isMap(target)) {
  66. add(depsMap.get(MAP_KEY_ITERATE_KEY))
  67. }
  68. }
  69. break
  70. case TriggerOpTypes.SET:
  71. // 依赖于迭代器(比如调用了 new Map().forEach() 等于变相依赖了 set)的函数
  72. if (isMap(target)) {
  73. add(depsMap.get(ITERATE_KEY))
  74. }
  75. break
  76. }
  77. }
  78. // 优先调用调度器否则调用副作用自身
  79. const run = (effect: ReactiveEffect) => {
  80. if (effect.options.scheduler) {
  81. effect.options.scheduler(effect)
  82. } else {
  83. effect()
  84. }
  85. }
  86. effects.forEach(run)
  87. }