资讯专栏INFORMATION COLUMN

一段代码,带你理解js执行上下文的工作流程

developerworks / 3376人阅读

摘要:由于函数被调用了,线程会从刚刚保存的变量中取出内容,去解析执行它。最后,当线程遇到离开上下文的标识,便离开上下文,并把的结果一并返回出去。

原文链接,欢迎关注我的博客

我相信很多前端初学者一开始都会被执行上下文这个概念弄晕,或者说似懂非懂。对于工作两年的我来说,说来实在惭愧,虽然知道它大概是什么,但总觉得没有一个更为清晰的认识(无法把它的工作过程描述清楚),因此最近特意温习了一遍,写下了这篇文章

执行上下文

要说清它的大体工作流程,需要提前说明三个基本概念,分别是thread of exection(线程)variable envirnoment(变量环境)call Stack(调用栈),这些概念我们或多或少接触过,接下来我会通过一段示例代码,和一系列图片,进一步解释这三个概念在执行上下文的运作流程。

一段代码
const num = 2;

function addOne(input) {
  const output = input + 1;
  return output;
}

const result = addOne(2);
这段代码做了什么

在运行上面这些代码前,js 引擎做的第一件是就是创建一个global execution context,也就是全局执行上下文:


先看图中的黑色箭头,它表示线程thread的执行顺序,众所周知 js 是单线程的,它会一行行、从上往下去执行代码;而右边的global memory,它用于存储当前上下文中的数据,由于线程目前处于全局上下文环境,故加了个global的前缀。

在这段代码中,第一行我们声明了一个名为num的不可变变量,并赋值为4, 因此global memory中就会分配内存,存储这个变量:


接着继续,当线程执行到第二行时,问题就来了:我们创建了一个addOne的变量,并把一个函数赋值于它,那在global memory里,到底存的是个啥?为了解答这个问题,我特意打印了一下:

function addOne(input) {
  const output = input + 1;
  return output;
}
console.log(addOne);


看,我们竟然把函数里的内容完完整整打印出来了,很明显,它存的是一个函数内部的“文本信息”。

其实很容易理解,当执行第二行的时候,该函数并没有被调用,因此线程不会立刻解析里面的内容,而是把它内部的信息以“文本内容”的形式保存下来,当需要执行的时候,才去解析变量里的函数内容,这也很好地解析了为什么函数内的异常仅会在函数被调用时才抛出来。

因此这时global execution context长这样:


由于addOne里保存的是函数内容,目前对于线程而言它是未知的,因此我们这里特意用一个带有输入输出箭头的函数图标,代表它是一个未被解析的函数。

我们继续执行第三步:还是创建了一个变量result,但此时它被赋予undefined,因为线程暂时无法从addOne这个函数里获知它的返回值。


由于addOne函数被调用了,线程会从刚刚保存的addOne变量中取出内容,去解析、执行它。这时 js 就创建了一个新的执行上下文——local execution context,即当前的执行上下文,这是一个船新的上下文,因此我特意用一个新图片去描述它:


首先这个memory我加了个local前缀,表面当前存储的都是此上下文中的变量数据。无论是上述的global memory,亦或是现在、或未来的local memory,我们可以用一个更为专业的术语variable envirnoment去描述这种存储环境。

此外,这个黑箭头我特意画了个拐角,意味它是从全局上下文进来的,local memory首先会分配内存给变量input,它在调用时就被2赋值了,紧接着又创建了一个output标签并把计算结果3赋值给它。最后,当线程遇到离开上下文的标识——return,便离开上下文,并把ouput的结果一并返回出去。

此时,这个上下文就没用了(被执行完了),于是乎垃圾回收便盯上了它,选择一个恰当的时机把里面的local memory删光光。

这时候有同学会问道:你这个只是普通场景,那闭包怎么解释呢?

其实闭包是个比较大的话题,这里也可以简单描述下:return的是一个函数的话,它返回的不仅是函数本身,还会把local memory中被引用的变量作为此函数的附加属性一并返回出去,这就好比印鱼喜欢吸附在鲨鱼身上一般,鳝鱼无论去哪都带着它,因此,无论这个函数在哪里被调用,它都能在它本身附带的local memory中找到那个变量。如果你把返回的函数console.log出来,也是能够找到它的,这里就不详说,关于闭包的更多概念(包括在函数式编程中的使用),有兴趣的童鞋可以看看这篇文章:Partial & Curry - 函数式编程

go on,回到了global execution contextresult不再孤零零地undefined,而是拿到了可爱的3:

到这里,我们的线程就完成了所有工作,可以歇息了,等等.....好像漏了什么没讲.....对,就是Call Stack

刚刚我们全篇在讲解thread of exection多么努力地一行行解析执行代码,variable envirnoment多么勤快地存储变量,那call stack干了什么?是在偷懒吗?

其实并不是,call stack起到了非常关键的作用:有了它,线程随时可以知道自己目前处于哪个上下文。

试想一下,我们在写代码的过程中往往喜欢在各种函数内穿插着各种子函数,比如递归,因此勤劳的线程就得不断地进入上下文、退出上下文、再进入、再进入、再退出、再进入,久而久之线程根本就不知道自己处于哪个上下文中,也不知道应该在哪个memory中取数据,全都乱套了,因此必须通过一种方式去跟踪、记录目前线程所处的环境。

call stack就是一种数据结构,用于“存储”上下文,通过不断推入push、推出pop上下文的方式,跟踪线程目前所处的环境——线程无需刻意记住自己身处何方,只要永远处于最顶层执行上下文,就是当前函数执行的正确位置

程序一开始运行的时候,call stack先会pushglobal execution context:

接着我们在上述代码第三行调用了addOnecall stack立刻将addOne的上下文push进去,待执行到return标识后,再pop出来:


同样的,即使在复杂的情况,只要遵循pushpop以及时刻处于最顶层上下文的原则,线程就可以一直保持在正确的位置上:


值得一提的是,call stack层数是有上限的,因此稍加不注意,你写的递归可能会造成栈溢出了。

总结

简单来说,上下文就是个可以用于执行代码的环境,与它相关的有三个重要的概念:

thread of exection(执行线程) 它的主要职责是,从上到下,一行一行地解析和执行代码,不会同时多处执行,也就是我们常挂在嘴边的“js 是单线程的啦”

variable envirnoment(变量环境) 活跃的用于存储数据的内存

call stack(调用栈) 一种用于存储上下文,跟踪当前线程所属的上下文位置的数据结构

文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/105623.html

相关文章

  • 【进阶1-4期】JavaScript深入之带你走进内存机制

    摘要:引擎对堆内存中的对象进行分代管理新生代存活周期较短的对象,如临时变量字符串等。内存泄漏对于持续运行的服务进程,必须及时释放不再用到的内存。 (关注福利,关注本公众号回复[资料]领取优质前端视频,包括Vue、React、Node源码和实战、面试指导) 本周正式开始前端进阶的第一期,本周的主题是调用堆栈,今天是第4天。 本计划一共28期,每期重点攻克一个面试重难点,如果你还不了解本进阶计划...

    不知名网友 评论0 收藏0
  • 【进阶1-2期】JavaScript深入之执行下文栈和变量对象

    摘要:本计划一共期,每期重点攻克一个面试重难点,如果你还不了解本进阶计划,点击查看前端进阶的破冰之旅本期推荐文章深入之执行上下文栈和深入之变量对象,由于微信不能访问外链,点击阅读原文就可以啦。 (关注福利,关注本公众号回复[资料]领取优质前端视频,包括Vue、React、Node源码和实战、面试指导) 本周正式开始前端进阶的第一期,本周的主题是调用堆栈,今天是第二天。 本计划一共28期,每期...

    Richard_Gao 评论0 收藏0
  • 一篇文章带你理解闭包

    摘要:通过例子再来回顾一下闭包的理解所谓的闭包就是可以创建一个独立的环境,每个闭包里面的环境都是独立的,互不干扰。此时就是一个闭包,这样写有些麻烦,我们对此改进一下。参考文章初识中的闭包从闭 走在前端的大道上 本篇将自己读过的相关 javascript闭包 文章中,对自己有启发的章节片段总结在这(会对原文进行删改),会不断丰富提炼总结更新。 首先着重回顾一下 全局变量 和 局部变量 全局变...

    bluesky 评论0 收藏0
  • 带你玩转prefetch, preload, dns-prefetch,defer和async

    摘要:紧接着发现,于是又停了,浏览器下载并执行完,继续。,发现,遂将中文字展示了出来。的执行时间是在所有元素解析完成之后,事件触发之前。的执行时间是在当前脚本下载完成后,所以多个是执行顺序是不固定的。至此,完美的结构出炉了。 现代浏览器性能优化-JS篇 众所周知,JS的加载和执行会阻塞浏览器渲染,所以目前业界普遍推荐把script放到之前,以解决js执行时找不到dom等问题。但随着现代浏览器...

    godiscoder 评论0 收藏0
  • 带你玩转prefetch, preload, dns-prefetch,defer和async

    摘要:紧接着发现,于是又停了,浏览器下载并执行完,继续。,发现,遂将中文字展示了出来。的执行时间是在所有元素解析完成之后,事件触发之前。的执行时间是在当前脚本下载完成后,所以多个是执行顺序是不固定的。至此,完美的结构出炉了。 现代浏览器性能优化-JS篇 众所周知,JS的加载和执行会阻塞浏览器渲染,所以目前业界普遍推荐把script放到之前,以解决js执行时找不到dom等问题。但随着现代浏览器...

    lewif 评论0 收藏0

发表评论

0条评论

最新活动
阅读需要支付1元查看
<