JS引擎

 

编译与执行

　　Javascript引擎会在词法分析和代码生成阶段对运行性能进行优化，包含对冗余元素进行优化（例如对语句在不影响结果的情况下进行重新组合）。

　　对于Javascript来说，大部分情况下编译发生在代码执行前的很短时间内，涉及的概念有引擎、编译器、作用域。

　　变量声明例如var a = 2这条表达式，编译阶段会先查询作用域是否有同名变量，如果有就忽略声明(仅仅忽略var的声明)，继续编译。如果没有，会在当前作用域的变量集合中创建一个变量，命名为a。

{        //编译阶段找不到a 执行var a        var a = 1;        //运行阶段执行 a = 1        console.log(a); //1        //编译阶段找到了变量a 忽略此条语句        var a = 2;        //运行阶段执行 a = 2        console.log(a); //2    }

 

LHS查询与RHS查询

　　当变量被使用时，会进行查询操作，例如赋值操作a = 1是LHS查询，另外一种称为RHS查询。

　　简单理解就是，对于赋值操作（包括隐性的）为LHS，作为变量进行引用时时RHS查询。

{        //赋值操作 LHS查询        var a = 1;        function fn(a) {            //进入函数体存在一个隐性的a = 2操作            //log使用RHS查询            console.log(a);        }        //函数调用发生RHS查询 2作为引用传入        fn(2);    }

 

作用域嵌套　　

　　一个块或函数嵌套在另一个块或函数中时，就会形成作用域嵌套，在当前作用域无法找到某个变量时，就会在外层作用域继续查找，直到找到该变量；或者没找到，抛出一个错误，查询停止。

 

 

词法作用域

 

　　作用域有两个工作模型，一种是词法作用域，另一种叫动态作用域。

//全局作用域    //包含f1    function f1(a) {        var b = a * 2;        //f1的作用域        //包含a,b,f2,        function f2(c) {            //f2的作用域            //包含c            console.log(a, b, c); // 2,4,4        }        f2(b)    }    f1(2)

　　变量查找会先从最内部的作用域开始查找，找不到会去上一级嵌套的作用域。

　　无论函数在哪里被调用，也无论如何被调用，词法作用域都只由函数被声明时所处的位置决定。（闭包）

function outer() {        //找到后返回a        var a = 1;        //保留对outer作用域中a的引用        function inner() {            //被调用时开始查询变量a            return a;        }        return inner();    }    function f1() {        //outer作用域决定于声明处        //所以不会查找到f1的a        var a = 2;        //在这里调用词法作用域依然不会变        outer();    }    f1(); //1

　　顺便讲一下闭包为什么会改变变量的生命周期，闭包需要两个条件。

　　1、外部函数内部有另外一个函数，并对外部函数的某个变量保持了引用。

　　2、外部函数提供一个内部函数的访问接口。

　　而内部函数对外部作用域的引用保持就叫闭包。

　　生命周期的问题还要提到GC回收问题，一般常见的回收算法有两种：引用计数算法、标记算法，由于引用计数会出现循环引用问题，这里以标记算法举例简单讲一下。标记算法会将代码构建成类似于DOM树之类的结构，根节点为window，第一轮先开始向下遍历，可以被根节点引用的变量上一个标记（假设为false）。遍历完后，第二轮开始清除操作，所有标记为true将会被垃圾回收。看不懂的话，还是看代码注释吧。

function fn1() {        var a = 1;        //闭包条件1        function fn2() {            a = a + 1;            return a;        }        //闭包条件2        return fn2;    }    var fn = fn1();    // a变量并没有被回收    // window.fn => fn2 => a 可以获取到a 保留    console.log(fn()); //2    console.log(fn()); //3    function fn3() {        var b = 1;        b++;        //此函数没用        function fn4() {            console.log(b);        }        return b;    }    //window.fn3 => ??? b无法被引用 消除    console.log(fn3()); //2    console.log(fn3()); //2 被回收了并再次初始化

 

 　　另外，可以通过eval和with语法强行修改作用域，但并不推荐使用，主要是性能方面的问题。因为引擎在编译时会对词法作用域进行分析优化，保证代码运行时能更快的找到对应的变量，但是如果有eval问题就不一样了，无法保证会传入什么代码，有可能会影响现有的作用域导致优化失败，所以引擎可能会根本不优化，