JS运行机制 及 Vue 2.× nextTick实现原理

一、JS运行机制

众所周知，JS执行 是单线程的，它是基于事件循环。事件循环大致分为以下几个步骤：

1. 所有同步任务都在主线程上执行，形成一个执行栈；
2. 主线程之外，还存在一个”任务队列“（task queue）。任务队列是先进先出的数据结构。只要异步任务有了运行结果，就会将注册的回调函数添加到任务队列(消息队列)中；
3. 一旦”执行栈“中的所有同步任务执行完成，系统就会读取”任务队列“，看看里面有哪些事件。那些对应的异步任务，于是结束等待状态，进入执行栈，开始执行。
4. 主线程不断重复上面的第三步。
   
   
   主线程的执行过程就是一个tick，所有的异步结果都是通过”任务队列“来调度被调度。任务队列（消息队列）中存放的是一个个的任务（task)。规范中规定 task 分为两大类，分别是宏任务（macro task) 和 微任务（micro task）。在每个宏任务结束后，先清空所有的微任务。关于宏任务和微任务，感兴趣的可以在网上找资料看看。
   在浏览器环境中常见的宏任务有 setTimeout、MessageChannel、postMessage、setImmeditate； 常见的微任务有 MutationObsever 和 Promise.then。

二、nextTick 实现原理

源码如下：

const callbacks = []
let pending = false

function flushCallbacks () {
  pending = false
  const copies = callbacks.slice(0)
  rf.length = 0
  for (let i = 0; i < copies.length; i++) {
    copies[i]()
  }
}

if (typeof Promise !== 'undefined' && isNative(Promise)) {
  const p = Promise.resolve()
  timerFunc = () => {
    p.then(flushCallbacks)
    if (isIOS) setTimeout(noop)
  }
  isUsingMicroTask = true
} else if (!isIE && typeof MutationObserver !== 'undefined' && (
  isNative(MutationObserver) ||
  // PhantomJS and iOS 7.x
  MutationObserver.toString() === '[object MutationObserverConstructor]'
)) {
  // Use MutationObserver where native Promise is not available,
  // e.g. PhantomJS, iOS7, Android 4.4
  // (#6466 MutationObserver is unreliable in IE11)
  let counter = 1
  const observer = new MutationObserver(flushCallbacks)
  const textNode = document.createTextNode(String(counter))
  observer.observe(textNode, {
    characterData: true
  })
  timerFunc = () => {
    counter = (counter + 1) % 2
    textNode.data = String(counter)
  }
  isUsingMicroTask = true
} else if (typeof setImmediate !== 'undefined' && isNative(setImmediate)) {
  // Fallback to setImmediate.
  // Technically it leverages the (macro) task queue,
  // but it is still a better choice than setTimeout.
  timerFunc = () => {
    setImmediate(flushCallbacks)
  }
} else {
  // Fallback to setTimeout.
  timerFunc = () => {
    setTimeout(flushCallbacks, 0)
  }
}

export function nextTick (cb?: Function, ctx?: Object) {
  let _resolve
  // callbacks 是维护 微任务 的数组
  callbacks.push(() => {
    if (cb) {
      try {
        cb.call(ctx)
      } catch (e) {
        handleError(e, ctx, 'nextTick')
      }
    } else if (_resolve) {
      _resolve(ctx)
    }
  })
  if (!pending) {
    pending = true
    timerFunc()
  }
  // $flow-disable-line
  if (!cb && typeof Promise !== 'undefined') {
    return new Promise(resolve => {
      _resolve = resolve
    })
  }
}

从代码看，nextTick 维护了一个 callbacks 的任务数组，然后会执行timerFunc方法；
在 vue@2.6版本里，首先会判断typeof Promise !== 'undefined' && isNative(Promise) , 如果不支持，接着会判断typeof MutationObserver !== 'undefined' && (isNative(MutationObserver) , 后面还有其他的一些判断，大家可以看上面的源码。从代码看，nextTick 的实现首先想的是创建一个微任务，如果不能创建微任务，最终会去创建一个宏任务。当这个任务被推入执行栈后，会依次执行 callbacks 中的匿名函数，按照先进先出的顺序。