词法分析，按顺序分析 3 样：
第 1 步：先分析参数
第 2 步：再分析变量声明
第 3 步：再分析函数声明
一个函数能使用的局部变量，就从上面 3 步分析而来。
具体步骤：
0：函数运行前的瞬间，生成 Active Object（活动对象）
1： 1.1 把函数声明的参数，形成 AO （Active Object）的属性，值全是 undefined，
1.2 接受实参形成 AO 相应属性的值
2：分析变量声明，如 var age，如果 AO 上已经有 age 属性，则不作任何影响；如果 AO 上还没有 age 属性，则添加 AO 属性，但此时没赋值，值是 undefined
3：分析函数声明，如 function foo(){}，则把函数赋给 AO.foo 属性
注：如果此前 foo 属性已经存在，则会被覆盖成函数
例1
<script>
function a(b){
alert(b);
function b(){
alert(b);
}
b();
}
a(1);
</script>
【答案】：两次弹出
function b(){
alert(b);
}
【分析】
分析期：
0. AO = {}
1.
1.1 分析参数 AO = {b:undefined}
1.2 接收参数 AO = {b:1}
2. 分析 var 声明，此处函数没有 var
3. 分析函数声明，AO = {b:function(){alert(b);}}
执行期：
alert(b); // function
b(); // 由作用域寻找到 a 函数中的 b，即 function，alert() 出来
例2
<script>
function t(age){
alert(age);
}
t(5); //
t(); //undefined
</script>
【分析】
词法分析过程：
AO{ age = undefined }
运行过程：
t(5); → AO.age = 5; alert(AO.age); //5
t(); → AO.age = undefined; //AO.age 没有得到赋值，还是 undefined
例3
<script>
function t(age){
var age = 10;
alert(age);
}
t(5);
</script>
弹出 10。
【分析】
词法分析过程：
0. 形成AO = {}
1.
1.1 分析形参 AO = {age:undefined}
1.2 接收形参：AO = {age:5}
2. 分析 var age，发现 AO 已有 age 属性，不做任何影响
执行过程：
AO.age = 10
alert(age); //10
例4（和例1 做对比）：
<script>
function t(greet){
var greet = 'hello';
alert(greet);
function greet(){
}
alert(greet);
}
t(null);
</script>
弹出两次 'hello'
【分析】
词法分析过程：
0. AO = {}
1.
1.1 分析形参：AO = {greet = undefined}
1.2 接收形参：AO = {greet:null}
2. 分析 greet 变量声明，AO 已经有 greet 属性，因此不做任何影响
3. 分析 greet 函数声明，AO.greet = function(){}，被覆盖成函数
执行过程：
greet = 'hello';
alert(greet);
alert(greet);
【再分析】
var greet = 'hello';
这一句要当成两句看（两次执行）：① 分析期的 var 声明过程 ② 运行期的 赋值 过程
由于在运行期被赋值成了 'hello'，因此两次 alert 弹出的都是 'hello'
如果去掉该句（则和例 1 一样）或者改为 var greet; ，则弹出两次
function greet(){}
例5
<script>
function a(b){
alert(b);
b = function (){
alert(b);
}
b();
}
a(1);
</script>
分别弹出 1 和 function (){alert(b)}
【词法分析过程】：
0：AO = {}
1.分析参数 AO = {b:undefined} → {b:1}
2.分析 var 声明，没有
3.分析函数声明，没有
注：b = function(){alert(b)} ，是一个赋值过程，在执行器才起作用
【执行过程】：
alert(b); //b = 1
b = function(){
alert(b); //往上找，找到b = function(){}
}
b(); // funtion
【函数声明 与 函数表达式】：
函数可以赋值给变量，可以作为参数来传递
function t1(){
}
和
t2 = function(){
}
t1 是函数声明，虽然全局内也得到一个 t1 变量，值是 function；
t2 只是一个赋值过程，值是右侧的表达式的返回结果，即函数
因此 t1 和 t2 两种方式在词法分析时，有着本质区别：前者在词法分析阶段就发挥作用，后者在函数运行阶段才发挥作用
例如：
(function(window,undefined){
})(window)
这是 jQuery 的最外层代码
【分析】
(function(window,undefined){})
这是内层表达式，返回值是函数，包在小括号里，当成表达式来执行
(function(window,undefined){})(window)
立即调用
而内层函数又没有起名字，成为匿名函数
这种手法，匿名函数，立即执行，不污染全局，称为 立即执行匿名函数表达式
传 window 是为了速度，不传 undefined 是为了防止外界对 undefined 的污染（在 IE 、FF 低版本中，undefined 可以重新赋值，例如 undefined = 3;）
【作用域链】
指函数由内到外，产生的 AO 链
词法分析时由外至内，分析 AO 链；执行时由内到外，寻找 AO 链
更多词法作用域文章：JavaScript的词法作用域