彻底搞懂JavaScript执行机制
首先我们大家都了解的是,JavaScript 是一门单线程语言,所以我们就可以得出:
JavaScript 是按照语句顺序执行的
首先看:
let a = '1'console.log(a)let b = '2'console.log(b)
这个显然大家都知道结果,依次输出1,2
然而换一种:
setTimeout(function() { console.log(1) })new Promise(function(resolve) { console.log(2) for(var i = 0;i< 10;i++){ i === 10 && resolve() } }).then(function() { console.log(3) })console.log(4)
这个时候再看代码的顺序执行,输出1,2, 3, 4。好了放到浏览器运行一下,什么?输出居然是 2, 4, 3,1。说好的按顺序执行呢?下面就需要去了解一下 JavaScript 的执行机制问题了。
单线程
首先JavaScript 是一门单线程的语言,在最新的HTML5 推出的 Web-worker,但是 JavaScript 是一个单线程的语言这一个核心还是没有改变。所以,JavaScript 的多线程都是基于单线程模拟出来的。所以牢记 JavaScript 是单线程语言。
事件循环
任务分为两类:
同步任务
异步任务
当我们打开页面时,页面的渲染就是一大堆同步任务,而像加载图片和音频资源耗时的任务,就是异步任务。时间循环的主要内容就是:
当任务进入执行栈的时候,判断是同步任务还是异步任务,如果是同步任务,进入主线程进行执行,异步进入 Event Table 进行注册函数。
当指定的事件完成后,Event Table 将这个函数移入到事件队列
主线程中的任务执行完毕后,去任务队列读取对应的函数,进入主线程执行
上述的过程不断重复,也就构成了事件循环
其中js引擎存在一个监控进程,不断检查主线程执行栈是否为空,一旦为空,就会去时间队列那检查有没有等待被调用的函数。
例如:
setTimeout( function() { console.log(1) }, 0)console.log(2)
首先 setTimeout进入Event Table
执行console.log(2)
setTimeout执行的函数进入事件队列
主线程从事件队列读取函数执行
这也就是为什么即使设置setTimeout(fn, 0)
函数也不会立即执行的原因。不过即使主线程为空,0ms也是达不到的,根据HTML标准,最低是4ms。
setInterval
还有一个与setTimeout
类似的函数,对于setInterval
来说,是循环执行。对于执行顺序来说,setInterval
会每隔指定的时间将注册的函数置入Event Queue,如果前面的任务耗时太久,那么同样需要等待。
但是需要注意的一点是,对于setInterval(fn, ms)
来说,他并不是每过ms
执行一次 ,而是每过 ms
会有fn
进入任务队列。也就是说如果setInterval
的回调函数的执行事件如果超过延迟ms
,那么就看不出来事件间隔了。
Promise 和 process.nextTick(callback)
除了广义的同步任务和异步任务之外,还有对任务更精细的划分,分为:
macro-task(宏任务):包括整体代码script、setTimeout、setInterval
micro-task(微任务):Promise、process.nextTick
事件循环的顺序,决定js代码的执行顺序。进入整体代码(宏任务)后,开始第一次循环。接着执行所有的微任务。然后再次从宏任务开始,找到其中一个任务队列执行完毕,再执行所有的微任务。
用一段代码来说明:
setTimeout(function() { console.log('1'); })new Promise(function(resolve) { console.log('2'); resolve() }).then(function() { console.log('3'); })console.log('4');
这段代码作为宏任务,开始第一次循环
先遇到
setTimeout
,那么它的回调函数进入到宏任务事件队列中遇到
Promise
,Promise
立即执行,输出2,then
任务进入到微任务事件队列中下面遇到console,输出4
第一个宏任务结束,看微任务事件队列,执行
then
,输出3第一轮循环结束,看宏任务队列中存在setTimeout的回调函数执行,输出1
所有结果为:2,4,3,1
好了了解了基本的原理之后,我们来看一个更复杂的:
console.log('1'); setTimeout(function() { console.log('2'); process.nextTick(function() { console.log('3'); }) new Promise(function(resolve) { console.log('4'); resolve(); }).then(function() { console.log('5') }) }) process.nextTick(function() { console.log('6'); })new Promise(function(resolve) { console.log('7'); resolve(); }).then(function() { console.log('8') }) setTimeout(function() { console.log('9'); process.nextTick(function() { console.log('10'); }) new Promise(function(resolve) { console.log('11'); resolve(); }).then(function() { console.log('12') }) })
不知道大家答案是什么?接下来我们来进行分析一下:
第一轮:
首先整段代码作为一个宏任务进入主线程,首先遇到
console.log()
输出1遇到第一个
setTimeout()
进入宏任务队列遇到
Process.nextTick()
进入微任务队列然后遇到
Promise
,立即执行,输出7,then
被添加到微任务队列遇到第二个
setTimeout
,进入宏任务队列然后执行两个微任务
执行
Process.nextTick()
输出6执行
then
,输出8
这样第一轮循环就彻底结束了,进行第二轮事件循环,也就是第一个setTimeout
首先遇到
console.log()
,输出2遇到
Process.nextTick()
,进入微任务队列遇到
Promise
立即执行输出4,then
进入微任务队列然后执行第一个微任务,输出3
执行then,输出5
这样第二轮事件循环就结束了,最后执行第二个setTimeout
,第二个setTimeout
和上面原理类似,也就不重复说明了。所以最终结果是:1,7,6,8,2,4,3,5,9,11,10,12
作者:宿雨jj
链接:https://www.jianshu.com/p/2757204c34f1