引子
先看一个题目，下面两个代码片断会输出什么？
// Snippet 1
a = 2;
var a;
console.log(a);
// Snippet 2
console.log(a);
var a = 2;假如相识过 JavaScript 变量提拔相干语法的话，答案是不言而喻的。本文作为《你不晓得的 JavaScript》第一部份的浏览笔记，顺便来总结一下对作用域与闭包的明白。
一、先有蛋照样先有鸡
上面题目的答案是：
-> 2
-> undefined
我们从编译器的角度思索：
引擎会在诠释 JavaScript 代码之前起首对其举行编译（没错，JavaScript 也是要举行编译的！），而编译阶段中的一部份事变就是找到一切声明，并用适宜的作用域将他们关联起来，即 包含变量和函数在内的一切声明都邑在任何代码被实行前起首被处置惩罚。
当你看到
var a = 2;时可能会以为这是一个声明，但 JavaScript 现实上会将其算作两个声明：var a和a = 2，第一个定义声明是在编译阶段举行的，第二个赋值声明会被留在原地守候实行阶段处置惩罚。打个比方，这个历程就好像变量和函数声明从它们的代码中涌现的位置被“挪动”到了最上面，这个历程就叫做 提拔。
所以，编译以后上面两个代码片断是如许的：
// Snippet 1 编译后
var a;
a = 2;
console.log(a); // -> 2
// Snippet 2 编译后
var a;
console.log(a); // -> undefined
a = 2;所以结论就是：先有蛋（声明），后有鸡（赋值）。
二、编译
现实上，JavaScript 也是一门编译语言。与传统编译语言的历程一样，顺序中的一段源代码在实行之前会经由是三个步骤，统称为“编译”：
分词/词法剖析（Tokenizing/Lexing）
剖析/语法剖析（Parsing）
代码天生
简朴来讲，任何 JavaScript 代码片断在实行前都要举行编译（一般就在实行前）。
三、作用域
为了明白作用域，可以设想出有以下三种角色：
引擎：从头至尾担任全部 JavaScript 顺序的编译及实行历程。
编译器：引擎的好朋友之一，担任语法剖析及代码天生等脏活累活。
作用域：引擎的另一位好朋友，担任网络并保护一切声明的标识符（变量）构成的一系列查询，并实行一套非常严厉的划定规矩，肯定当前实行的代码对这些标识符的接见权限。
以 var a = 2; 为例，历程以下：
起首碰到
var a，编译器会讯问作用域是不是已有一个名为a的变量存在于同一个作用域的鸠合中。假如是，编译器会疏忽该声明，继承举行编译；不然就会要求作用域在当前作用域的鸠合中声明一个新的变量，并定名为a.然后，编译器会为引擎天生运转时所需的代码，这些代码被用来处置惩罚
a=2这个赋值操纵。引擎运转时会首选讯问作用域，在当前的作用域鸠合中是不是存在一个叫做a的变量。假如是，引擎就会运用这个变量；假如否，引擎就会继承查找该变量（一层一层向上查找）。末了，假如引擎终究找到了
a变量，就会将2赋值给它，不然引擎就会举手示意并抛出一个非常（ReferenceError）！
当一个块或函数嵌套在另一个块或函数中时，就发作了作用域的嵌套。遍历嵌套作用域链的划定规矩很简朴：引擎从当前的实行作用域开始查找变量，假如找不到，就向上一级查找。当到达最外层的全局作用域时，不管找到照样没找到，查找历程都邑住手。
四、函数声明式 & 函数表达式
JavaScript 中建立函数有两种体式格局：
// 函数声明式
function funcDeclaration() {
return 'A function declaration';
}
// 函数表达式
var funcExpression = function () {
return 'A function expression';
}
声明式与表达式的差别：
类似于
var声明，函数声明可以 提拔 到别的代码之前，但函数表达式不能，不过许可保留在当地变量范围内；函数表达式可以匿名，而函数声明不可以。
怎样推断是函数声明式照样函数表达式？
一个最简朴的要领是看
function关键字涌如今声明的位置，假如是在第一个词，那末就是函数声明式，不然就是函数表达式。
函数表达式比函数声明式越发有效的处所：
是一个闭包
可以作为其他函数的参数
可以作为马上挪用函数表达式（
IIFE）可以作为回调函数
五、匿名函数 & 马上挪用函数
“在恣意代码片断外部增加包装函数，可以将内部的变量和函数定义“隐蔽起来”，外部作用域就无法接见包装函数内部的任何内容。那末，可否更完全一些？假如必需声明一个有详细名字的函数，这个名字本身就会“污染”地点作用域；其次，必需显式经由过程函数名挪用这个函数才运转个中的代码。假如函数不须要函数名（或许最少函数名可以不污染地点作用域），而且可以自动运转，这就完美了！”——论匿名函数和明白挪用函数的降生。
匿名函数表达式最熟习的场景就是回调函数：
setTimeout(function(){
console.log("I waited 1 second!");
}, 1000);匿名函数表达式誊写起来简朴快速，许多库和东西也偏向勉励运用这类作风的代码。然则，它也有几个瑕玷须要斟酌：
匿名函数在栈追踪中不会显现出有意义的函数名，使得调试很难题。
假如没有函数名，当函数须要援用本身时只能运用已由期的
arguments.callee援用，比方在递归中。另一个函数须要援用本身的例子，是在事宜触发后事宜监听器须要解绑本身。匿名函数省略了关于代码可读性、可明白性很重要的函数名。一个描述性的称号可以让代码不言自明。
所以，一向给函数表达式定名是一个最好实践：
setTimeout(function timeoutHandler(){
console.log("I waited 1 second!");
});由于函数被包含在一对()括号内部，因而成为了一个表达式，经由过程在末端加上别的一个()括号就可以马上实行这个函数，比方:
(function foo(){
// ...
})()第一个
()将函数变成了表达式，第二个()实行了这个函数。
它有个术语：IIFE，示意：马上实行函数表达式（Immediately Invoked Function Expression）。
它有别的一个革新情势：
(function foo(){
// ...
}()) 差别点就是把末了的括号挪进去了，现实上 这两种情势在功能上是一致的，挑选哪一个全凭个人喜欢。
至于 IIFE 的另一个非常广泛的进阶用法是 把它们当作函数挪用并通报参数进去：
var a = 2;
(function foo(global){
var a = 3;
console.log(a); // -> 3
console.log(global.a); // -> 2
})(window); // 传入window对象的援用
console.log(a); // -> 2六、再谈提拔
如今我们再来谈一谈提拔。
// Snippet 3
foo(); // -> TypeError
bar(); // -> ReferenceError
var foo = function bar(){
console.log(1);
};为何会输出上面这两个非常？我们可以从编译器的角度把代码看出如许子：
var foo; // 声明提拔
foo(); // 声明但未定义为 undefined，然后这里举行了函数挪用，所以返回 TypeError
bar(); // 无声明抛出援用非常，所以返回 ReferenceError
foo = function bar(){
console.log(1);
};然后再变化一下，同名的函数声明和变量声明在提拔阶段会怎样处置惩罚：
foo(); // 到底会输出什么？
var foo;
function foo(){
console.log(1);
}
foo = function(){
console.log(2);
}上面代码会被引擎明白为以下情势：
function foo(){
console.log(1);
}
foo(); // -> 1
foo = function(){
console.log(2);
}诠释：var foo 只管涌如今 function foo() 的声明之前，但它是反复的声明（因而被疏忽了），由于函数声明会被提拔到一般变量之前。即：函数声明和变量声明都邑被提拔，但函数会起首被提拔，然后才是变量（这也从正面说清楚明了在 JavaScript 中“函数是一等国民”）。
再来：
foo(); // -> 3
function foo(){
console.log(1);
}
var foo = function(){
console.log(2);
}
function foo(){
console.log(3);
}诠释：只管反复的 var 声明会被疏忽掉，但涌现背面的函数声明照样可以掩盖前面的。
七、闭包
闭包是基于词法作用域誊写代码时所发作的天然结果，你以至不须要为了运用它们而有认识地建立闭包。闭包的建立和运用在你的代码中随处可见。你缺乏的是依据你本身的志愿来辨认、拥抱和影响闭包的头脑环境。
当函数可以记着并接见地点的词法作用域时，就发作了 闭包，纵然函数是在当前词法作用域之外实行。
function foo(){
var a = 2;
function bar(){
console.log(a);
}
return bar;
}
var baz = foo();
baz(); // -> 2，闭包的结果！以下是诠释申明：
函数
bar()的词法作用域可以接见foo()的内部作用域，然后我们将bar()函数本身当作一个值范例紧通报。在这个例子中，我们将bar()所援用的函数对象本身当作返回值。在
foo()实行后，其返回值（也就是内部的bar()函数）赋值给变量baz并挪用baz()，现实上只是经由过程差别的标识符援用挪用了内部的函数bar()。bar()显现是可以被一般实行，然则在这个例子中，它在本身定义的词法作用域之外的处所实行。在
foo()实行后，一般会期待foo()的全部内部作用域都被烧毁，由于我们晓得引擎有渣滓接纳器用来开释不再运用的内存空间。由于看上去foo()的内容不会再被运用，所以很天然地会斟酌对其举行接纳。而闭包的奇异的地方恰是可以阻挠事变的发作。事实上，内部作用域依旧存在，因而没有被接纳。谁在运用这个内部作用域？原来是
bar()本身在运用。拜
bar()所声明的位置所赐，它具有涵盖foo()内部作用域的闭包，使得该作用域可以一向存活，以供bar()在以后任何时候举行援用。bar()依旧持有对该作用域的援用，而 这个援用就叫闭包。
本质上，不管何时何地，假如将函数（接见它们各自的词法作用域）当作第一级的值范例并随处通报，你就会看到闭包在这些函数中的运用。在定时器、事宜监听器、Ajax 要求、跨窗口通讯、Web Workers 或许任何其他的异步（或许同步）使命中，只需运用了回调函数，现实上就是在运用闭包。
再补充一个示例：
function foo() {
function bar() {
console.log('1');
}
function baz() {
console.log('2');
}
var yyy = {
bar: bar,
baz: baz
}
return yyy;
}
var kkk = foo(); // kkk经由过程foo获得了yyy的援用，也就可以挪用bar和baz
kkk.bar(); // -> 1
kkk.baz(); // -> 2九、动态作用域
事实上，JavaScript 并不具有动态作用域，它只要 词法作用域（虽然 this 机制某种程度上很像动态作用域）。词法作用域和动态作用域的重要区别为：
词法作用域是在写代码或许定义时肯定的，而动态作用域是在运转时肯定的；
词法作用域关注函数在那边声明，而动态作用域关注函数从那边挪用。
像下面的代码片断，假如是动态作用域输出的就是3而不是2了：
function foo(){
console.log(a); // -> 2
}
function bar(){
var a = 3;
foo();
}
var a = 2;
bar();