JS进阶之---执行上下文,变量对象,变量提升

 

一、结构顺序大体介绍

  JavaScript代码的整个执行过程,分为两个阶段,代码编译阶段与代码执行阶段。

    编译阶段由编译器完成,将代码翻译成可执行代码,这个阶段作用域规则会确定。

    执行阶段由引擎完成,主要任务是执行可执行代码,执行上下文在这个阶段创建。执行上下文也分为创建阶段和执行阶段。

      1.首先进入全局环境,创建一个全局执行上下文,全局变量对象window,全局作用域Global,确定this指向,this==window。

      2.在执行阶段,会完成变量赋值,函数引用,以及执行其他代码等。浏览器的断点调试只能用于执行阶段。

      3.在执行阶段,如果遇到函数引用,会进入函数环境,创建一个执行上下文。而在这个执行上下文中,也分为创建阶段和执行阶段。接下来我们主要讨论函数环境的创建阶段和执行阶段,不考虑全局环境,因为全局环境也可以理解为在一个大的函数环境中。行为基本一致。

 

 

二、执行上下文

  每次当Js引擎转到可执行代码的时候,就会进入一个执行上下文。执行上下文可以理解为当前代码的执行环境,它会形成一个作用域。JavaScript中的运行环境大概包括三种情况。

  • 全局环境:JavaScript代码运行起来会首先进入该环境
  • 函数环境:当函数被调用执行时,会进入当前函数中执行代码
  • eval

  当代码在执行过程中,遇到以上三种情况,都会生成一个执行上下文,放入栈中,我们称其为函数调用栈(call stack)。栈底永远都是全局上下文,而栈顶就是当前正在执行的上下文。处于栈顶的上下文执行完毕之后,就会自动出栈。

  注意:函数中,遇到return能直接终止可执行代码的执行,因此会直接将当前上下文弹出栈。

  执行上下文特点:

    • 单线程
    • 同步执行,只有栈顶的上下文处于执行中,其他上下文需要等待
    • 全局上下文只有唯一的一个,它在浏览器关闭时出栈
    • 函数的执行上下文的个数没有限制
    • 每次某个函数被调用,就会有个新的执行上下文为其创建,即使是调用的自身函数,也是如此。
 

  当调用一个函数时,一个新的执行上下文就会被创建。而一个执行上下文的生命周期可以分为两个阶段。
    创建阶段
:在这个阶段中,执行上下文会分别创建变量对象,建立作用域链,以及确定this的指向。
    代码执行:阶段
创建完成之后,就会开始执行代码,这个时候,会完成变量赋值,函数引用,以及执行其他代码。

      

    

 

三、变量对象

  在执行上下文的创建阶段,会进行变量对象的创建。

    而变量对象的创建过程又分为:
      1.参数对象创建。建立arguments对象,检查当前上下文中的参数,建立该对象下的属性与属性值。

      2.函数声明。检查当前上下文的函数声明,也就是使用function关键字声明的函数。在变量对象中以函数名建立一个属性,属性值为指向该函数所在内存地址的引用。如果函数名的属性已经存在,那么该属性将会被新的引用所覆盖。
function声明会比var声明优先级更高一点。
      3.变量声明。检查当前上下文中的变量声明,每找到一个变量声明,就在变量对象中以变量名建立一个属性,属性值为undefined。如果该变量名的属性已经存在,为了防止同名的函数被修改为undefined,则会直接跳过,原属性值不会被修改。

 

  在执行上下文的执行阶段,进行变量对象的赋值,函数的引用等。

    进入执行阶段之前,变量对象中的属性都不能访问!但是进入执行阶段之后,变量对象转变为了活动对象,里面的属性都能被访问了,然后开始进行执行阶段的操作。

    变量对象和活动对象其实都是同一个对象,只是处于执行上下文的不同生命周期。

 

 

四、举个例子: 

function test() {
    var a = 1;
    function foo() {
        return 2;
    }
}

test();

  我们直接从test()的执行上下文开始理解。全局作用域中运行test()时,test()的执行上下文开始创建。为了便于理解,我们用如下的形式来表示。 

  创建阶段:

testEC = {
    // 变量对象
    VO: {},
    scopeChain: {},
    this: {}
}

// 因为本文暂时不详细解释作用域链和this,所以把变量对象专门提出来说明

// VO 为 Variable Object的缩写,即变量对象
VO = {
    arguments: {...},  //参数对象。注:在浏览器的展示中,函数的参数可能并不是放在arguments对象中,这里为了方便理解,我做了这样的处理
    foo: <foo reference>  // 表示foo的地址引用
    a: undefined
}

  执行阶段:

VO ->  AO   // Active Object 即活动对象
AO = {
    arguments: {...},
    foo: <foo reference>,
    a: 1
}

 

 

五、变量提升

  变量提升是将变量声明提升到它所在作用域的最开始的部分。如:

console.log(a);  //undefined
console.log(b); //Uncaught ReferenceError: b is not defined
var a = 1;

  代码执行分为创建和执行两个阶段,代码开始执行的时候,创建阶段已经完成,所以变量对象已经创建完成。此时a是undefined,而b是没有的。

  所以也就解释了变量提升的现象,因为在执行的时候,所有的变量对象早已创建完成,只是还没有被赋值。

 

 

posted @ 2017-03-16 13:29  我的老婆是校花  阅读(1189)  评论(0编辑  收藏  举报