Vue3組件異步更新和nextTick運行機制源碼解讀

Posted on by

組件的異步更新

我們應該都知道或者聽說過組件的更新是異步的，對於nextTick我們也知道它是利用promise將傳入的回調函數放入微任務隊列中，在函數更新完以後執行，那麼既然都是異步更新，nextTick是怎麼保證回調會在組件更新後執行，其插入隊列的時機又是什麼時候？帶著這些問題我們去源碼中尋找答案。

先回顧一下組件更新的effect：

const effect = (instance.effect = new ReactiveEffect(
  componentUpdateFn,
  () => queueJob(update), // updata: () => effect.run() 返回值 componentUpdateFn
  // 將effect添加到組件的scope.effects中
  instance.scope // track it in component's effect scope
))

在響應式數據發生改變觸發effect執行的時候會執行() => queueJob(update)調度器，所以我們要去看queueJob幹瞭什麼

queueJob

// packages/runtime-core/src/scheduler.ts
export function queueJob(job: SchedulerJob) {
  if (
    !queue.length ||
    !queue.includes( // queue中是否已經存在相同job
      job,
      isFlushing && job.allowRecurse ? flushIndex + 1 : flushIndex
    )
  ) {
    if (job.id == null) {
      // 向queue添加job queue是一個數組
      queue.push(job)
    } else {
      queue.splice(findInsertionIndex(job.id), 0, job)
    }
    // 執行queueFlush
    queueFlush()
  }
}

queueJob主要是將scheduler添加到queue隊列，然後執行queueFlush

queueFlush

function queueFlush() {
  // isFlushing和isflushPending初始值都是false
  // 說明當前沒有flush任務在執行，也沒有flush任務在等待執行
  if (!isFlushing && !isFlushPending) {
    // 初次執行queueFlush將isFlushPending設置為true 表示有flush任務在等待執行
    isFlushPending = true
    // resolvedPromise是promise.resolve()
    // flushJobs被放到微任務隊列中 等待所有同步scheduler執行完畢後執行
    // 這樣就可以保證flushJobs在一次組件更新中隻執行一次
    // 更新currentFlushPromise 以供nextTick使用
    currentFlushPromise = resolvedPromise.then(flushJobs)
  }
}

flushJobs

當所有的同步scheduler執行完畢後，就會去處理微任務隊列的任務，就會執行flushJobs回調函數

function flushJobs(seen?: CountMap) {
  // 狀態改為有flush正在執行
  isFlushPending = false
  isFlushing = true
  if (__DEV__) {
    seen = seen || new Map()
  }
  // Sort queue before flush.
  // This ensures that:
  // 1. Components are updated from parent to child. (because parent is always
  //    created before the child so its render effect will have smaller
  //    priority number)
  // 2. If a component is unmounted during a parent component's update,
  //    its update can be skipped.
  // 組件更新的順序是從父到子 因為父組件總是在子組件之前創建 所以它的渲染效果將具有更小的優先級
  // 如果一個組件在父組件更新期間被卸載 則可以跳過它的更新
  queue.sort(comparator)
  ...
  // 先執行queue中的job 然後執行pendingPostFlushCbs中的job
  // 這裡可以實現watch中的 postFlush
  try {
    for (flushIndex = 0; flushIndex < queue.length; flushIndex++) {
      const job = queue[flushIndex]
      if (job && job.active !== false) {
        if (__DEV__ && check(job)) {
          continue
        }
        // console.log(`running:`, job.id)
        // 執行job
        callWithErrorHandling(job, null, ErrorCodes.SCHEDULER)
      }
    }
  } finally {
    // job執行完畢後清空隊列
    flushIndex = 0
    queue.length = 0
    // 執行flushPostFlushCbs 此時組件已經更新完畢
    flushPostFlushCbs(seen)
    isFlushing = false
    currentFlushPromise = null
    // some postFlushCb queued jobs!
    // keep flushing until it drains.
    if (queue.length || pendingPostFlushCbs.length) {
      flushJobs(seen)
    }
  }
}

總結：

組件內當修改響應式數據後，組件更新函數會被放到queue中，然後註冊一個微任務，這個微任務負責執行queue中的所有job，所以這時就算我們同步修改多次/多個響應式數據，同一個組件的更新函數隻會被放入一次到queue中，等到同步操作結束後才會去執行註冊的微任務，組件更新函數才會被執行，組件才會被更新。

nextTick

vue3中nextTick的實現非常簡單：

export function nextTick<T = void>(
  this: T,
  fn?: (this: T) => void
): Promise<void> {
  const p = currentFlushPromise || resolvedPromise
  // nextTick回調函數放到currentFlushPromise的微任務隊列中
  return fn ? p.then(this ? fn.bind(this) : fn) : p
}

這裡的關鍵就是currentFlushPromise，如果你足夠細心就會發現currentFlushPromise其實在queueFlush中就被賦值瞭，它正是把執行組件更新函數的任務放入微隊列中的promise，所以在此我們拿到currentFlushPromise正好把nextTick接收到的函數回調放到微隊列中flushJobs的後面，等到flushJobs執行完成後組件也已經更新完畢，此時正是我們希望去執行nextTick回調的時機！！

以上就是Vue3組件異步更新和nextTick運行機制源碼解讀的詳細內容，更多關於Vue3組件異步更新nextTick的資料請關註WalkonNet其它相關文章！

推薦閱讀：