【js基础】js的作用域链和变量对象

483 阅读4分钟

当js引擎遇到可执行代码的时候,都会创建一段执行上下文压入执行栈。

而每个执行上下文中,都会有这三个属性:

  • this

  • 变量对象 (Variable object,VO)

  • 作用域链 (Scope chain)

变量对象

变量对象是与执行上下文相关的数据作用域,存储了在上下文中定义的变量和函数声明。

因为不同执行上下文下的变量对象稍有不同,所以我们来聊聊全局上下文下的变量对象和函数上下文下的变量对象。

全局上下文

全局对象是预定义的对象,作为 JavaScript 的全局函数和全局属性的占位符。通过使用全局对象,可以访问所有其他所有预定义的对象、函数和属性。

在顶层 JavaScript 代码中,可以用关键字 this 引用全局对象。因为全局对象是作用域链的头,这意味着所有非限定性的变量和函数名都会作为该对象的属性来查询。

1.可以通过 this 引用,在客户端 JavaScript 中,全局对象就是 Window 对象。
2.全局对象是由 Object 构造函数实例化的一个对象。
3.预定义了大量函数和属性。
4.作为全局变量的宿主。
5.客户端 JavaScript 中,全局对象有 window 属性指向自身。
var a = 1;
console.log(window.a);

this.window.b = 2;
console.log(this.b);

全局上下文中的变量对象就是全局对象

函数上下文

在函数上下文中,我们用活动对象(activation object, AO)来表示变量对象。

活动对象和变量对象其实是一个东西,只是变量对象是规范上的或者说是引擎实现上的,不可在 JavaScript 环境中访问,只有到当进入一个执行上下文中,这个执行上下文的变量对象才会被激活,所以才叫 activation object 呐,而只有被激活的变量对象,也就是活动对象上的各种属性才能被访问。

活动对象是在进入函数上下文时刻被创建的,它通过函数的 arguments 属性初始化。arguments 属性值是 Arguments 对象。

执行过程

执行上下文的代码会分成两个阶段进行处理:

分析(进入执行上下文)和执行(代码执行

进入执行上下文

当进入执行上下文时,这时候还没有执行代码,只是在分析代码。

变量对象会包括(3种):

函数的所有形参 (如果是函数上下文)
由名称和对应值组成的一个变量对象的属性被创建
没有实参,属性值设为 undefined

函数声明
由名称和对应值(函数对象(function-object))组成一个变量对象的属性被创建
如果变量对象已经存在相同名称的属性,则完全替换这个属性(**函数声明大于变量声明**)

变量声明
由名称和对应值(undefined)组成一个变量对象的属性被创建;
如果变量名称跟已经声明的形式参数或函数相同,则变量声明不会干扰已经存在的这类属性
(**函数声明大于变量声明**)

代码执行

会顺序执行代码,根据代码,修改变量对象的值

例子:

image.png

image.png

变量对象分析和执行的总结

  • 全局上下文的变量对象初始化是全局对象

  • 函数上下文的变量对象初始化只包括 Arguments 对象

  • 在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值

  • 在代码执行阶段,会再次修改变量对象的属性值

image.png

image.png

作用域链

在《JavaScript深入之变量对象》中有提到,当查找变量的时候,会先从当前上下文的变量对象中查找,如果没有找到,就会从父级(词法层面上的父级)执行上下文的变量对象中查找,一直找到全局上下文的变量对象,也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。

我们以一个函数的创建和激活两个时期来讲解作用域链是如何创建和变化的:

函数创建

函数的作用域在函数定义的时候就决定了,函数有一个内部属性 [[scope]],当函数创建的时候,就会保存所有父变量对象到其中,你可以理解 [[scope]] 就是所有父变量对象的层级链,但是注意:[[scope]] 并不代表完整的作用域链!


function foo() {
    function bar() {
        ...
    }
}
函数创建时,各自的[[scope]]为====》

foo.[[scope]] = [
  globalContext.VO 
];

bar.[[scope]] = [
    fooContext.AO,  //包含了bar的父变量foo的信息
    globalContext.VO
];

函数激活

当函数激活时,进入函数上下文,创建 VO/AO 后,就会将活动对象添加到作用链的前端。

这时候执行上下文的作用域链,我们命名为 Scope:

Scope = [AO].concat([[Scope]]); 至此,作用域链创建完毕。

作用域链总结:

var scope = "global scope";
function checkscope(){
    var scope2 = 'local scope';
    return scope2;
}
checkscope();

执行函数完整过程如下:

image.png

image.png

image.png

image.png

原文链接:如有侵权请联系作者删除 github.com/mqyqingfeng… github.com/mqyqingfeng…