在之前我们根绝对象的原型说过了 JS 的原型链, 那么同样的 JS 万物皆对象, 函数也同样存在这么一个链式的关系, 就是函数的作用域链
作用域链
首先先来回顾一下之前讲到的原型链的寻找机制, 就是实例会先从本身开始找, 没有的话会一级一级的网上翻, 直到顶端没有就会报一个 undefined
同样的 JS 的机制就是这样的, 函数在执行的时候会先函数本身的上下文的变量对象中查找, 没有的话, 也会从这个函数被创建的时候的父级的执行上下文的变量对象中去找(词法环境), 一直找到全局上下文的变量对象(比如客户端的 Windows 对象), 这个多层的执行上下文的链式关系就是函数的作用域链
盗一张图
作用域被创建的时机
大家可以看到, 我在控制台声明了一个函数, 并且打印了他, 这个 a 函数的里边有一个 [[scope]] 属性,
这是一个内部属性, 当一个函数被创建的时候, 会保存所有的父级的变量对象 (词法环境) 到这个里边, 比如说上图中 就有一个 global 属性展开后, 往下找你会发现很多我们常见的属性和方法, 比如 alert 等等
如图
函数作用域的生命周期
姑且叫他生命周期, 我是这么理解的, 当进入一个函数的上下文, 经历了创建阶段之后, 就会把函数的作用域链创建出来, 直到销毁这个上下文, 这个作用域链也是存在的
先来一个正经的例子
- function a(){
- var aaa = 'aaa';
- return aaa;
- }
- checkscope();
这个函数的生命周期是这样的
首先函数被创建, 先把函数的作用域链保存到函数的 [[scope]] 属性上边
- a.[[scope]] = [
- globalContext.VO// 这个也就是我们上边图片里边看的 golbal
- ];
globalContext 全局上下文 VO 这个之前没有介绍 是 Variable object 的简称, 也就是之前经常提到的变量对象
还有一个 AO , 这个 AO 指的是函数被激活的时候 (被执行) 得活动对象
创建完成之后, 执行到 a 函数, 创建了 a 函数得执行上下文, 并压入执行栈里边
现在执行栈里边已经有了两个执行上下文一个 globalContext 还有一个 aContext
到了 a 函数之后, 首先会做一些列得准备工作, 就是之前讲到得函数得 arguments,this 等等
首先第一步复制之前得 [[scope]] 属性, 创建作用域链
- aContext = {
- Scope: a.[[scope]],
- }
然后开始初始化活动变量 argments 对象 形参, 函数声明, 变量声明等等
最后把把活动变量也塞到作用域链中去
以上, 一个函数得准备工作就算是做完了, 然后下一步就是函数得执行阶段
之前讲过, 在之后阶段得时候函数会根据代码给之前得活动对象赋值, 然后执行里边得代码, 直到执行完毕
最后, 函数执行完毕, 函数得上下文被从上下文栈中弹出销毁
在弹出得最后时候, a 函数得结构大概长成这个样子
- aContext = {
- AO: {
- arguments: {
- length: 0
- },
- },
- Scope: [AO, [[Scope]]]
- }
接下来我们在举一个不正经得例子, 就是为了证明一下作用域链即使在函数被销毁后, 也会存在这么一个事实
闭包
首先什么是闭包, 闭包是指在一个函数内部能够访问不是函数得参数, 也不是局部变量得函数, 所以广义得讲我们用的所有得函数都是可算作是闭包, 都能访问全局变量...
不过工作中不是这样子得, 说正题, 给上边得问题举个例子
- var item = '1'
- function a(){
- var item = '2'
- function b(){
- return item
- }
- return b;
- }
- var foo = a();
- foo();
试着猜想一下这段代码得执行过程
还是来一步一步得解释一下
首先不用多想, 进入全局代码, 创建全局执行上下文, 推入执行栈, 全局上下文得一系列初始化
然后创建 a , 创建上下文, 推入执行栈, 一些列得初始化
在执行 a 得时候创建了 b 函数, 这个时候, 还记得上边之前说过得把, 作用域链是在被创建得时候确定得
这个时候得 b 函数得作用域链应该是这个样子的
- bContext = {
- Scope: [AO, aContext.AO, globalContext.VO],
- }
这个是重点, 我们先把执行过程说完
在 a 函数执行完毕之后, a 的上下文栈被弹出
然后在后边执行 b 函数, 然后一样的套路, 进上下文压入栈
进栈一些列的初始化
执行完毕 b 的上下文被弹出
上边已经把顺序说的很清楚了对吧, 执行过程是 a 进栈出栈, b 进栈出栈, 但是你打印这段代码的时候
会打印出一个 2, 就是因为虽然说 a 的上下文被销毁了, 但是 b 的作用域链里边还是有 a 的活动对象的
, 在 b 的上下文里边可以找到这个 item
这也就是我们之前所说的闭包, 也符合闭包的定义
创建他的函数的上下文被销毁, 但是他依然存在
在代码中引用了不是自身的参数或者局部变量
最后放一个网上很常见的面试题
- var data = [];
- for (var i = 0; i < 3; i++) {
- data[i] = function () {
- console.log(i);
- };
- }
- data[0]();
- data[1]();
- data[2]();
从作用域链的角度思考一下会打印出什么结果, 为什么会打印出这个结果
以上是我对 JS 的作用域链和闭包的一些认识, 有不足之处, 希望批评指正
来源: https://www.cnblogs.com/netUserAdd/p/11137469.html