JS引擎
编译与执行
Javascript引擎会在词法分析和代码生成阶段对运行性能进行优化，包含对冗余元素进行优化（例如对语句在不影响结果的情况下进行重新组合）。
对于Javascript来说，大部分情况下编译发生在代码执行前的很短时间内，涉及的概念有引擎、编译器、作用域。
变量声明例如var a = 2这条表达式，编译阶段会先查询作用域是否有同名变量，如果有就忽略声明(仅仅忽略var的声明)，继续编译。如果没有，会在当前作用域的变量集合中创建一个变量，命名为a。
{
//编译阶段找不到a 执行var a
var a = 1;
//运行阶段执行 a = 1
console.log(a); //
//编译阶段找到了变量a 忽略此条语句
var a = 2;
//运行阶段执行 a = 2
console.log(a); //
}
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、外部函数内部有另外一个函数，并对外部函数的某个变量保持了引用。
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()); //
console.log(fn()); //
function fn3() {
var b = 1;
b++;
//此函数没用
function fn4() {
console.log(b);
}
return b;
}
//window.fn3 => ??? b无法被引用 消除
console.log(fn3()); //
console.log(fn3()); //2 被回收了并再次初始化
另外，可以通过eval和with语法强行修改作用域，但并不推荐使用，主要是性能方面的问题。因为引擎在编译时会对词法作用域进行分析优化，保证代码运行时能更快的找到对应的变量，但是如果有eval问题就不一样了，无法保证会传入什么代码，有可能会影响现有的作用域导致优化失败，所以引擎可能会根本不优化，