1. 作用域 词法分析，解析（抽象语法树），代码生成
摘自YDKJS
引擎：负责从始至终的编译和执行我们的 JavaScript 程序。
编译器：引擎 的朋友之一；处理所有的解析和代码生成的重活儿（见前一节）。
作用域：引擎 的另一个朋友；收集并维护一张所有被声明的标识符（变量）的列表，并对当前执行中的代码如何访问这些变量强制实施一组严格的规则。
LHS 和 RHS 意味着“赋值的左/右手边”未必像字面上那样意味着“ = 赋值操作符的左/右边”。赋值有几种其他的发生形式，所以最好在概念上将它考虑为：“赋值的目标（LHS）”和“赋值的源（RHS）”。
ReferenceError 是关于 作用域 解析失败的，而 TypeError 暗示着 作用域 解析成功了，但是试图对这个结果进行了一个非法/不可能的动作。
欺骗词法作用域的行为：Eval(), With(),不要使用。
如果 eval(..) 函数接收一个含有一个或多个声明的代码字符串，它就会修改现存的词法作用域，而 with 语句实际上是从你传递给它的对象中凭空制造了一个 全新的词法作用域。
functionfoo(obj) {
with(obj) {a=2;}}
varo1={a:3};
varo2={b:3};
foo( o1 );
console.log(o1.a);//2
foo( o2 );
console.log(o2.a);//undefined
console.log( a );//2 -- 哦，全局作用域被泄漏了！
IIFE，它表示“立即被调用的函数表达式”（Immediately Invoked Function Expression）
块作用域：for循环并没有块作用域，with, try catch有块作用域
let 关键字将变量声明附着在它所在的任何块儿（通常是一个 { .. }）的作用域中。换句话说，let 为它的变量声明隐含地劫持了任意块儿的作用域。
实践：
for (let i=0; i<10; i++) {
console.log( i );
}
console.log(i);// 1 2 3 4 5 6 7 8 9 10什么时候是reference error?
{
let j;
for(j=0; j<10; j++)
{
let i=j;//每次迭代都重新绑定
console.log( i );
}
}
for (var i=0; i<10; i++) {
console.log( i );
}
console.log(i);
很重要的一个规则：先声明再执行。
函数声明会被提升，但是函数表达式不会。
函数声明和变量声明都会被提升。但一个微妙的细节（可以 在拥有多个“重复的”声明的代码中出现）是，函数会首先被提升，然后才是变量。
虽然多个/重复的 var 声明实质上是被忽略的，但是后续的函数声明确实会覆盖前一个。
重点：闭包
闭包就是函数能够记住并访问它的词法作用域，即使当这个函数在它的词法作用域之外执行时。
无论我们使用什么方法将内部函数 传送 到它的词法作用域之外，它都将维护一个指向它最开始被声明时的作用域的引用，而且无论我们什么时候执行它，这个闭包就会被行使。
循环+闭包
for(var i=1; i<=5; i++)
{
setTimeout(
function timer()
{console.log( i );}, i*1000);
}// 6 6 6 6 6 超时的回调函数都将在循环的完成之后立即运行。
for(vari=1; i<=5; i++) {
(function() {
setTimeout(function timer()
{
console.log( i );
}, i*1000);
})();
}
for(vari=1; i<=5; i++) {
(function(){
var j=i;
setTimeout(function timer(){
console.log( j );
}, j*1000);
})();
}
for(var i=1; i<=5; i++) {
let j=i;//呀，给闭包的块儿作用域！
setTimeout(function timer(){console.log( j );}, j*1000);
}
for(let i=1; i<=5; i++) {
setTimeout(function timer(){console.log( i );}, i*1000);
}// let 声明，它劫持一个块儿并且就在这个块儿中声明一个变量
闭包的实际使用无处不在，模块的使用就是闭包的一个实例。