原文地址:https://hkc452.github.io/slamdunk-the-vue3/

作者:KC

effect 是響應(yīng)式系統(tǒng)的核心，而響應(yīng)式系統(tǒng)又是 vue3 中的核心，所以從 effect 開(kāi)始講起。

首先看下面 effect 的傳參，fn 是回調(diào)函數(shù)，options 是傳入的參數(shù)。

export function effect(
  fn: () => T,
  options: ReactiveEffectOptions = EMPTY_OBJ
): ReactiveEffect {
  if (isEffect(fn)) {
    fn = fn.raw
  }
  const effect = createReactiveEffect(fn, options)
  if (!options.lazy) {
    effect()
  }
  return effect
}

• 其中 option 的參數(shù)如下，都是屬于可選的。

參數(shù) & 含義

• lazy 是否延遲觸發(fā) effect
• computed 是否為計(jì)算屬性
• scheduler 調(diào)度函數(shù)
• onTrack 追蹤時(shí)觸發(fā)
• onTrigger 觸發(fā)回調(diào)時(shí)觸發(fā)
• onStop 停止監(jiān)聽(tīng)時(shí)觸發(fā)

export interface ReactiveEffectOptions {
  lazy?: boolean
  computed?: boolean
  scheduler?: (job: ReactiveEffect) => void
  onTrack?: (event: DebuggerEvent) => void
  onTrigger?: (event: DebuggerEvent) => void
  onStop?: () => void
}

• 分析完參數(shù)之后，繼續(xù)我們一開(kāi)始的分析。當(dāng)我們調(diào)用 effect 時(shí)，首先判斷傳入的 fn 是否是 effect，如果是，取出原始值，然后調(diào)用 createReactiveEffect 創(chuàng)建 新的effect， 如果傳入的 option 中的 lazy 不為為 true，則立即調(diào)用我們剛剛創(chuàng)建的 effect, 最后返回剛剛創(chuàng)建的 effect。

• 那么createReactiveEffect是怎樣是創(chuàng)建 effect的呢？

function createReactiveEffect(
  fn: (...args: any[]) => T,
  options: ReactiveEffectOptions
): ReactiveEffect {
  const effect = function reactiveEffect(...args: unknown[]): unknown {
    if (!effect.active) {
      return options.scheduler ? undefined : fn(...args)
    }
    if (!effectStack.includes(effect)) {
      cleanup(effect)
      try {
        enableTracking()
        effectStack.push(effect)
        activeEffect = effect
        return fn(...args)
      } finally {
        effectStack.pop()
        resetTracking()
        activeEffect = effectStack[effectStack.length - 1]
      }
    }
  } as ReactiveEffect
  effect.id = uid++
  effect._isEffect = true
  effect.active = true
  effect.raw = fn
  effect.deps = []
  effect.options = options
  return effect
}

我們先忽略 reactiveEffect，繼續(xù)看下面的掛載的屬性。

effect 掛載屬性 含義

• id 自增id， 唯一標(biāo)識(shí)effect

• _isEffect 用于標(biāo)識(shí)方法是否是effect

• active effect 是否激活

• raw 創(chuàng)建effect是傳入的fn

• deps 持有當(dāng)前 effect 的dep 數(shù)組

• options 創(chuàng)建effect是傳入的options

• 回到 reactiveEffect，如果 effect 不是激活狀態(tài)，這種情況發(fā)生在我們調(diào)用了 effect 中的 stop 方法之后，那么先前沒(méi)有傳入調(diào)用 scheduler 函數(shù)的話(huà)，直接調(diào)用原始方法fn，否則直接返回。

• 那么處于激活狀態(tài)的 effect 要怎么進(jìn)行處理呢？首先判斷是否當(dāng)前 effect 是否在 effectStack 當(dāng)中，如果在，則不進(jìn)行調(diào)用，這個(gè)主要是為了避免死循環(huán)。拿下面測(cè)試用例來(lái)看

it('should avoid infinite loops with other effects', () => {
    const nums = reactive({ num1: 0, num2: 1 })

    const spy1 = jest.fn(() => (nums.num1 = nums.num2))
    const spy2 = jest.fn(() => (nums.num2 = nums.num1))
    effect(spy1)
    effect(spy2)
    expect(nums.num1).toBe(1)
    expect(nums.num2).toBe(1)
    expect(spy1).toHaveBeenCalledTimes(1)
    expect(spy2).toHaveBeenCalledTimes(1)
    nums.num2 = 4
    expect(nums.num1).toBe(4)
    expect(nums.num2).toBe(4)
    expect(spy1).toHaveBeenCalledTimes(2)
    expect(spy2).toHaveBeenCalledTimes(2)
    nums.num1 = 10
    expect(nums.num1).toBe(10)
    expect(nums.num2).toBe(10)
    expect(spy1).toHaveBeenCalledTimes(3)
    expect(spy2).toHaveBeenCalledTimes(3)
})

• 如果不加 effectStack，會(huì)導(dǎo)致 num2 改變，觸發(fā)了 spy1, spy1 里面 num1 改變又觸發(fā)了 spy2, spy2 又會(huì)改變 num2，從而觸發(fā)了死循環(huán)。

• 接著是清除依賴(lài)，每次 effect 運(yùn)行都會(huì)重新收集依賴(lài), deps 是持有 effect 的依賴(lài)數(shù)組，其中里面的每個(gè) dep 是對(duì)應(yīng)對(duì)象某個(gè) key 的 全部依賴(lài)，我們?cè)谶@里需要做的就是首先把 effect 從 dep 中刪除，最后把 deps 數(shù)組清空。

function cleanup(effect: ReactiveEffect) {
  const { deps } = effect
  if (deps.length) {
    for (let i = 0; i < deps.length; i++) {
      deps[i].delete(effect)
    }
    deps.length = 0
  }
}

• 清除完依賴(lài)，就開(kāi)始重新收集依賴(lài)。首先開(kāi)啟依賴(lài)收集，把當(dāng)前 effect 放入 effectStack 中，然后講 activeEffect 設(shè)置為當(dāng)前的 effect，activeEffect 主要為了在收集依賴(lài)的時(shí)候使用（在下面會(huì)很快講到），然后調(diào)用 fn 并且返回值，當(dāng)這一切完成的時(shí)候，finally 階段，會(huì)把當(dāng)前 effect 彈出，恢復(fù)原來(lái)的收集依賴(lài)的狀態(tài)，還有恢復(fù)原來(lái)的 activeEffect。

 try {
    enableTracking()
    effectStack.push(effect)
    activeEffect = effect
    return fn(...args)
  } finally {
    effectStack.pop()
    resetTracking()
    activeEffect = effectStack[effectStack.length - 1]
  }

• 那 effect 是怎么收集依賴(lài)的呢？vue3 利用 proxy 劫持對(duì)象，在上面運(yùn)行 effect 中讀取對(duì)象的時(shí)候，當(dāng)前對(duì)象的 key 的依賴(lài) set集合 會(huì)把 effect 收集進(jìn)去。

export function track(target: object, type: TrackOpTypes, key: unknown) {
  ...
}

• vue3 在 reactive 中觸發(fā) track 函數(shù)，reactive 會(huì)在單獨(dú)的章節(jié)講。觸發(fā) track 的參數(shù)中，object 表示觸發(fā) track 的對(duì)象， type 代表觸發(fā) track 類(lèi)型，而 key 則是 觸發(fā) track 的 object 的 key。在下面可以看到三種類(lèi)型的讀取對(duì)象會(huì)觸發(fā) track，分別是 get、 has、 iterate。

export const enum TrackOpTypes {
  GET = 'get',
  HAS = 'has',
  ITERATE = 'iterate'
}

• 回到 track 內(nèi)部，如果 shouldTrack 為 false 或者 activeEffect 為空，則不進(jìn)行依賴(lài)收集。接著 targetMap 里面有沒(méi)有該對(duì)象，沒(méi)有新建 map，然后再看這個(gè) map 有沒(méi)有這個(gè)對(duì)象的對(duì)應(yīng) key 的 依賴(lài) set 集合，沒(méi)有則新建一個(gè)。 如果對(duì)象對(duì)應(yīng)的 key 的 依賴(lài) set 集合也沒(méi)有當(dāng)前 activeEffect， 則把 activeEffect 加到 set 里面，同時(shí)把 當(dāng)前 set 塞到 activeEffect 的 deps 數(shù)組。最后如果是開(kāi)發(fā)環(huán)境而且傳入了 onTrack 函數(shù)，則觸發(fā) onTrack。 所以 deps 就是 effect 中所依賴(lài)的 key 對(duì)應(yīng)的 set 集合數(shù)組， 畢竟一般來(lái)說(shuō)，effect 中不止依賴(lài)一個(gè)對(duì)象或者不止依賴(lài)一個(gè)對(duì)象的一個(gè)key，而且 一個(gè)對(duì)象可以能不止被一個(gè) effect 使用，所以是 set 集合數(shù)組。

if (!shouldTrack || activeEffect === undefined) {
    return
  }
  let depsMap = targetMap.get(target)
  if (!depsMap) {
    targetMap.set(target, (depsMap = new Map()))
  }
  let dep = depsMap.get(key)
  if (!dep) {
    depsMap.set(key, (dep = new Set()))
  }
  if (!dep.has(activeEffect)) {
    dep.add(activeEffect)
    activeEffect.deps.push(dep)
    if (__DEV__ && activeEffect.options.onTrack) {
      activeEffect.options.onTrack({
        effect: activeEffect,
        target,
        type,
        key
      })
    }
  }

• 依賴(lài)都收集完畢了，接下來(lái)就是觸發(fā)依賴(lài)。如果 targetMap 為空，說(shuō)明這個(gè)對(duì)象沒(méi)有被追蹤，直接return。

export function trigger(
  target: object,
  type: TriggerOpTypes,
  key?: unknown,
  newValue?: unknown,
  oldValue?: unknown,
  oldTarget?: Map | Set
) {
  const depsMap = targetMap.get(target)
  if (!depsMap) {
    // never been tracked
    return
  }
  ...
}

• 其中觸發(fā)的 type, 包括了 set、add、delete 和 clear。

export const enum TriggerOpTypes {
  SET = 'set',
  ADD = 'add',
  DELETE = 'delete',
  CLEAR = 'clear'
}

• 接下來(lái)對(duì) key 收集的依賴(lài)進(jìn)行分組，computedRunners 具有更高的優(yōu)先級(jí)，會(huì)觸發(fā)下游的 effects 重新收集依賴(lài)，

const effects = new Set() const computedRunners = new Set() add 方法是將 effect 添加進(jìn)不同分組的函數(shù)，其中 effect !== activeEffect 這個(gè)是為了避免死循環(huán)，在下面的注釋也寫(xiě)的很清楚，避免出現(xiàn) foo.value++ 這種情況。至于為什么是 set 呢，要避免 effect 多次運(yùn)行。就好像循環(huán)中，set 觸發(fā)了 trigger ，那么 ITERATE 和 當(dāng)前 key 可能都屬于同個(gè) effect，這樣就可以避免多次運(yùn)行了。

const add = (effectsToAdd: Set | undefined) => {
if (effectsToAdd) {
  effectsToAdd.forEach(effect => {
    if (effect !== activeEffect || !shouldTrack) {
      if (effect.options.computed) {
        computedRunners.add(effect)
      } else {
        effects.add(effect)
      }
    } else {
      // the effect mutated its own dependency during its execution.
      // this can be caused by operations like foo.value++
      // do not trigger or we end in an infinite loop
    }
  })
}
}

• 下面根據(jù)觸發(fā) key 類(lèi)型的不同進(jìn)行 effect 的處理。如果是 clear 類(lèi)型，則觸發(fā)這個(gè)對(duì)象所有的 effect。如果 key 是 length , 而且 target 是數(shù)組，則會(huì)觸發(fā) key 為 length 的 effects ，以及 key 大于等于新 length的 effects， 因?yàn)檫@些此時(shí)數(shù)組長(zhǎng)度變化了。

if (type === TriggerOpTypes.CLEAR) {
    // collection being cleared
    // trigger all effects for target
    depsMap.forEach(add)
} else if (key === 'length' && isArray(target)) {
    depsMap.forEach((dep, key) => {
      if (key === 'length' || key >= (newValue as number)) {
        add(dep)
      }
    })
} 

• 下面則是對(duì)正常的新增、修改、刪除進(jìn)行 effect 的分組, isAddOrDelete 表示新增 或者不是數(shù)組的刪除，這為了對(duì)迭代 key的 effect 進(jìn)行觸發(fā)，如果 isAddOrDelete 為 true 或者是 map 對(duì)象的設(shè)值，則觸發(fā) isArray(target) ? 'length' : ITERATE_KEY 的 effect ，如果 isAddOrDelete 為 true 且 對(duì)象為 map， 則觸發(fā) MAP_KEY_ITERATE_KEY 的 effect

else {
    // schedule runs for SET | ADD | DELETE
    if (key !== void 0) {
      add(depsMap.get(key))
    }
    // also run for iteration key on ADD | DELETE | Map.SET
    const isAddOrDelete =
      type === TriggerOpTypes.ADD ||
      (type === TriggerOpTypes.DELETE && !isArray(target))
    if (
      isAddOrDelete ||
      (type === TriggerOpTypes.SET && target instanceof Map)
    ) {
      add(depsMap.get(isArray(target) ? 'length' : ITERATE_KEY))
    }
    if (isAddOrDelete && target instanceof Map) {
      add(depsMap.get(MAP_KEY_ITERATE_KEY))
    }
}

• 最后是運(yùn)行 effect， 像上面所說(shuō)的，computed effects 會(huì)優(yōu)先運(yùn)行，因?yàn)?computed effects 在運(yùn)行過(guò)程中，第一次會(huì)觸發(fā)上游把cumputed effect收集進(jìn)去，再把下游 effect 收集起來(lái)。

• 還有一點(diǎn)，就是 effect.options.scheduler，如果傳入了調(diào)度函數(shù)，則通過(guò) scheduler 函數(shù)去運(yùn)行 effect， 但是 scheduler 里面可能不一定使用了 effect，例如 computed 里面，因?yàn)?computed 是延遲運(yùn)行 effect， 這個(gè)會(huì)在講 computed 的時(shí)候再講。

const run = (effect: ReactiveEffect) => {
    if (__DEV__ && effect.options.onTrigger) {
      effect.options.onTrigger({
        effect,
        target,
        key,
        type,
        newValue,
        oldValue,
        oldTarget
      })
    }
    if (effect.options.scheduler) {
      effect.options.scheduler(effect)
    } else {
      effect()
    }
}

// Important: computed effects must be run first so that computed getters
// can be invalidated before any normal effects that depend on them are run.
computedRunners.forEach(run)
effects.forEach(run)

• 可以發(fā)現(xiàn)，不管是 track 還是 trigger， 都會(huì)導(dǎo)致 effect 重新運(yùn)行去收集依賴(lài)。

• 最后再講一個(gè) stop 方法，當(dāng)我們調(diào)用 stop 方法后，會(huì)清空其他對(duì)象對(duì) effect 的依賴(lài)，同時(shí)調(diào)用 onStop 回調(diào)，最后將 effect 的激活狀態(tài)設(shè)置為 false

export function stop(effect: ReactiveEffect) {
  if (effect.active) {
    cleanup(effect)
    if (effect.options.onStop) {
      effect.options.onStop()
    }
    effect.active = false
  }
}

• 這樣當(dāng)再一次調(diào)用 effect 的時(shí)候，不會(huì)進(jìn)行依賴(lài)的重新收集，而且沒(méi)有調(diào)度函數(shù)，就直接返回原始的 fn 的運(yùn)行結(jié)果，否則直接返回 undefined。

if (!effect.active) {
  return options.scheduler ? undefined : fn(...args)
}

reactive 是 vue3 中對(duì)數(shù)據(jù)進(jìn)行劫持的核心，主要是利用了 Proxy 進(jìn)行劫持，相比于 Object.defineproperty 能夠劫持的類(lèi)型和范圍都更好，再也不用像 vue2 中那樣對(duì)數(shù)組進(jìn)行類(lèi)似 hack 方式的劫持了。

• 下面快速看看 vue3 是怎么劫持。首先看看這個(gè)對(duì)象是是不是 __v_isReadonly 只讀的，這個(gè)枚舉在后面進(jìn)行講述，如果是，直接返回，否者調(diào)用 createReactiveObject 進(jìn)行創(chuàng)建。

export function reactive(target: object) {
  // if trying to observe a readonly proxy, return the readonly version.
  if (target && (target as Target).__v_isReadonly) {
    return target
  }
  return createReactiveObject(
    target,
    false,
    mutableHandlers,
    mutableCollectionHandlers
  )
}

• createReactiveObject 中，有個(gè)四個(gè)參數(shù)，target 就是我們需要傳入的對(duì)象，isReadonly 表示要?jiǎng)?chuàng)建的代理是不是只可讀的，baseHandlers 是對(duì)進(jìn)行基本類(lèi)型的劫持，即 [Object,Array] ，collectionHandlers 是對(duì)集合類(lèi)型的劫持, 即 [Set, Map, WeakMap, WeakSet]。

function createReactiveObject(
  target: Target,
  isReadonly: boolean,
  baseHandlers: ProxyHandler,
  collectionHandlers: ProxyHandler
) {
  if (!isObject(target)) {
    if (__DEV__) {
      console.warn(`value cannot be made reactive: ${String(target)}`)
    }
    return target
  }
  // target is already a Proxy, return it.
  // exception: calling readonly() on a reactive object
  if (target.__v_raw && !(isReadonly && target.__v_isReactive)) {
    return target
  }
  // target already has corresponding Proxy
  if (
    hasOwn(target, isReadonly ? ReactiveFlags.readonly : ReactiveFlags.reactive)
  ) {
    return isReadonly ? target.__v_readonly : target.__v_reactive
  }
  // only a whitelist of value types can be observed.
  if (!canObserve(target)) {
    return target
  }
  const observed = new Proxy(
    target,
    collectionTypes.has(target.constructor) ? collectionHandlers : baseHandlers
  )
  def(
    target,
    isReadonly ? ReactiveFlags.readonly : ReactiveFlags.reactive,
    observed
  )
  return observed
}

• 如果我們傳入是 target 不是object，直接返回。 而如果 target 已經(jīng)是個(gè) proxy ，而且不是要求這個(gè)proxy 是已讀的，但這個(gè) proxy 是個(gè)響應(yīng)式的，則直接返回這個(gè) target。什么意思呢？我們創(chuàng)建的 proxy 有兩種類(lèi)型，一種是響應(yīng)式的，另外一種是只讀的。

• 而如果我們傳入的 target 上面有掛載了響應(yīng)式的 proxy，則直接返回上面掛載的 proxy 。

• 如果上面都不滿(mǎn)足，則需要檢查一下我們傳進(jìn)去的 target 是否可以進(jìn)行劫持觀察，如果 target 上面掛載了 __v_skip 屬性 為 true 或者 不是我們?cè)僭谏厦嬷v參數(shù)時(shí)候講的六種類(lèi)型，或者 對(duì)象被freeze 了，還是不能進(jìn)行劫持。

const canObserve = (value: Target): boolean => {
  return (
    !value.__v_skip &&
    isObservableType(toRawType(value)) &&
    !Object.isFrozen(value)
  )
}

• 如果上面條件滿(mǎn)足，則進(jìn)行劫持，可以看到我們會(huì)根據(jù) target 類(lèi)型的不同進(jìn)行不同的 handler，最后根據(jù)把 observed 掛載到原對(duì)象上，同時(shí)返回 observed。

 const observed = new Proxy(
    target,
    collectionTypes.has(target.constructor) ? collectionHandlers : baseHandlers
  )
  def(
    target,
    isReadonly ? ReactiveFlags.readonly : ReactiveFlags.reactive,
    observed
  )
  return observed

• 現(xiàn)在繼續(xù)講講上面 ReactiveFlags 枚舉，skip 用于標(biāo)記對(duì)象不可以進(jìn)行代理，可以用于 創(chuàng)建 component 的時(shí)候，把options 進(jìn)行 markRaw，isReactive 和 isReadonly 都是由 proxy 劫持返回值，表示 proxy 的屬性，raw 是 proxy 上面的 原始target ，reactive 和 readonly 是掛載在 target 上面的 proxy

export const enum ReactiveFlags {
  skip = '__v_skip',
  isReactive = '__v_isReactive',
  isReadonly = '__v_isReadonly',
  raw = '__v_raw',
  reactive = '__v_reactive',
  readonly = '__v_readonly'
}

• 再講講可以創(chuàng)建的四種 proxy， 分別是reactive、 shallowReactive 、readonly 和 shallowReadonly。其實(shí)從字面意思就可以看出他們的區(qū)別了。具體細(xì)節(jié)會(huì)在 collectionHandlers 和 baseHandlers 進(jìn)行講解

baseHandlers 中主要包含四種 handler, mutableHandlers、readonlyHandlers、shallowReactiveHandlers、 shallowReadonlyHandlers。 這里先介紹 mutableHandlers， 因?yàn)槠渌N handler 也算是 mutableHandlers 的變形版本。

export const mutableHandlers: ProxyHandler