JavaScript的预编译和执行

 JavaScript引擎，不是逐条解释执行javascript代码，而是按照代码块一段段解释执行。所谓代码块就是使用<script>标签分隔的代码段。

整个代码块共有两个阶段，预编译阶段和执行阶段

一、编译阶段

对于常见编译型语言（例如：Java）来说，编译步骤分为：词法分析->语法分析->语义检查->代码优化和字节生成。

对于解释型语言（例如JavaScript）来说，通过词法分析和语法分析得到语法树后，就可以开始解释执行了。

（1）词法分析是将字符流(char stream)转换为记号流(token stream)，就像英文句子一个个单词独立翻译。

（2）语法分析得到语法树，举例：

条件语句 if(typeof a == "undefined" ){ a = 0; } else { a = a; } alert(a);

当JavaScript解释器在构造语法树的时候，如果发现无法构造，就会报语法错误，并结束整个代码块的解析。

（3）“function函数”是一等公民！编译阶段，会把定义式的函数优先执行，也会把所有var变量创建，开辟内存空间，默认值为undefined，以提高程序的执行效率！(变量提升)

当JavaScript引擎解析脚本时，它会在预编译期对所有声明的变量和函数进行处理！并且是先预声明变量，再预定义函数！(变量提升是函数提升在变量提升前).

 

 JavaScript语法采用的是词法作用域（lexcical scope），也就是说JavaScript的变量和函数作用域是在定义时决定的(代码书写决定函数作用域，函数调用执行决定执行上下文和作用域链)，而不是执行时决定的，由于词法作用域取决于源代码结构，所以 JavaScript解释器只需要通过静态分析就能确定每个变量、函数的作用域，这种作用域也称为静态作用域（static scope）。

 预编译在全局上下文前？？？

二、JavaScript执行过程

声明一个概念：执行上下文。即当前代码的执行环境，js 的运行环境包括：(1)全局环境(2)函数环境(函数被调用执行时，执行上下文推入函数调用栈)(3)eval，尽量避免使用

例：var color="red";
function getColor(){
    var anColor="blue";
    function chColor(){
        anColor=color;
    }
    chColor();
}
getColor();

分析：开始函数调用栈栈底为全局上下文，当代码执行到getColor()时，将getColor()推入函数调用栈，执行到chColor()时，将chColor()推入函数调用栈。执行完后依次弹出。(return 可以直接终止代码执行，将当前上下文弹出函数调用栈)

因此，函数在被调用后，产生执行上下文。

产生执行上下文后到代码开始执行前，执行上下文会分别

 

• 创建Scope chain
• 创建VO/AO（variables, functions and arguments）
• 设置this的值

对于"创建VO/AO"这一步，JavaScript解释器主要做了下面的事情：

 

• 根据函数的参数，创建并初始化arguments object
• 扫描函数内部代码，查找函数声明（Function declaration）
  • 对于所有找到的函数声明，将函数名和函数引用存入VO/AO中
  • 如果VO/AO中已经有同名的函数，那么就进行覆盖
• 扫描函数内部代码，查找变量声明（Variable declaration）
  • 对于所有找到的变量声明，将变量名存入VO/AO中，并初始化为"undefined"
  • 如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性
  • 在函数中新建的变量，变量对象中值为undefined

  • function foo(i) {
        var a = 'hello';
        var b = function privateB() {
    
        };
        function c() {
    
        }
    }
    
    foo(22);
    

    VO

    fooExecutionContext = {
        scopeChain: { ... },
        variableObject: {
            arguments: {
                0: 22,
                length: 1
            },
            i: 22,
            c: pointer to function c()
            a: undefined,
            b: undefined
        },
        this: { ... }
    }

    AO

    fooExecutionContext = {
        scopeChain: { ... },
        variableObject: {
            arguments: {
                0: 22,
                length: 1
            },
            i: 22,
            c: pointer to function c()
            a: 'hello',
            b: pointer to function privateB()
        },
        this: { ... }
    }

 

  如果函数引用了外部变量的值，则JavaScript引擎会为该函数创建一个闭包体（closure），闭包体是一个完全封闭和独立的作用域，它不会在函数调用完毕后就被JavaScript引擎当做垃圾进行回收。闭包体可以长期存在。

代码开始执行，这个特殊的活动对象(activation object) 就被创建了。它包含普通参数(formal parameters) 与特殊参数(arguments)对象(具有索引属性的参数映射表)。活动对象在函数上下文中作为变量对象使用。完成变量赋值函数引用执行后续代码。

 

 

作用域链是一个 对象列表(list of objects) ，用以检索上下文代码中出现的 标识符(identifiers) 。