阅读 116

深入学习js之——变量对象#4

深入学习js系列是自己阶段性成长的见证,希望通过文章的形式更加严谨、客观地梳理js的相关知识,也希望能够帮助更多的前端开发的朋友解决问题,期待我们的共同进步。

如果觉得本系列不错,欢迎点赞、评论、转发,您的支持就是我坚持的最大动力。


开篇

上一篇文章重点介绍的是执行山下文栈,当javascript代码执行一段可执行的代码(executable code)时候,会创建对应的执行上下文(execution context)。

对于每一个执行上下文,都有三个重要的属性:

  • 变量对象(Variable object VO)
  • 作用域链(Scope chain)
  • this

本文重点介绍创建变量对象的过程。

变量对象

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

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

全局上下文

我们先了解一个概念,叫做全局对象。在W3CSchool中也有介绍:

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

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

例如,当JavaScript 代码引用 parseInt() 函数时,它引用的是全局对象的 parseInt 属性。全局对象是作用域链的头,还意味着在顶层 JavaScript 代码中声明的所有变量都将成为全局对象的属性。

如果感觉全局对象有些看不懂的话,容我再来介绍一下全局对象:

1.可以通过this引用,在客户端javascript中,全局对象就是window对象。

console.log(this); // window
复制代码

2.全局对象是由Object 构造函数实例化的一个对象。

console.log(this instanceof Object); // true
复制代码

3.预定义一堆,恩,一大堆的函数和属性。

// /都能生效
console.log(Math.random());
console.log(this.Math.random());
复制代码

4.作为全局变量的宿主。

var a = 1;
console.log(this.a);
复制代码

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对象。

执行过程

执行上下文的代码会分成两个阶段进行处理:分析和执行,我们也可以叫做: 1、进入执行山下文 2、代码执行

进入执行上下文

进入执行上下文的时候,这个时候还没有执行代码,

变量对象包括: 1、函数的所有形参(如何是函数上下文)

* 由名称和对应的值组成一个变量对象的属性被创建
* 没有实参,属性值设置为 undefined
复制代码

2、函数声明

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

3、变量声明

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

举个例子:

  function foo(a) {
    var b = 2;
    function c() {}
    var d = function() {};
    b = 3;
  }
  foo(1);
复制代码

在进入执行上下文后,这时候的 AO 是

  AO = {
    arguments: {
      0: 1,
      length: 1
    },
    a: 1,
    b: undefined,
    c: reference to function c(){},
    d: undefined
  }
复制代码

代码执行

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

这是上面的例子,当代码执行完后,这时的AO是:

AO = {
  arguments: {
    0: 1,
    length: 1
  },
  a: 1,
  b: 3,
  c: reference to function c(){},
  d: reference to FunctionExpression "d"
}
复制代码

到这里变量对象的创建过程就介绍完了,让我们简洁的总结我们上述所说:

  1. 全局上下文的变量对象初始化是全局对象
  2. 函数上下文的变量对象初始化只包括 Arguments 对象
  3. 在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值
  4. 在代码执行阶段,会再次修改变量对象的属性值

思考题

最后我们看几个例子:

第一题:

 function foo(){
   console.log(a);
   a = 1;
 }

 foo(); // ??

 function bar(){
  a = 1;
  console.log(a);
 }

 bar(); // ??
复制代码

第一段会报错:Uncaught ReferenceError: a is not defined。 第二段会打印:1

这是因为函数中的 "a" 并没有通过 var 关键字声明,所有不会被存放在 AO 中。

第一段执行 console 的时候, AO 的值是:

AO = {
    arguments: {
        length: 0
    }
}
复制代码

没有 a 的值,然后就会到全局去找,全局也没有,所以会报错。

当第二段执行 console 的时候,全局对象已经被赋予了 a 属性,这时候就可以从全局找到 a 的值,所以会打印 1。

第二题:

console.log(foo);

function foo(){
  console.log("foo");
}

var foo = 1;
复制代码

会打印函数,而不是 undefined 。

这是因为在进入执行上下文时,首先会处理函数声明,其次会处理变量声明,如果如果变量名称跟已经声明的形式参数或函数相同,则变量声明不会干扰已经存在的这类属性。

深入学习JavaScript系列目录

欢迎添加我的个人微信讨论技术和个体成长。

欢迎关注我的个人微信公众号——指尖的宇宙,更多优质思考干货