浅谈JavaScript做用域

咱们在面试时，总会碰到一些奇奇怪怪的关于 做用域 的面试题，其实弄清楚原理，万变不离其宗，大部分的面试题均可以得 ‘姐’。

因此，今天咱们来谈谈 JavaScript 的 做用域(javascript scope) ，这是老生常谈的话题，这里咱们会从 做用域 开始，会延伸到 预解析规则（预编译） 、 表达式 、 变量提高 、 函数提高 、 匿名函数表达式 、 具名函数表达式 等，完全搞明白做用域这些事 ?

详情，可查看个人博客 lishaoy.net

---

变量提高和函数提高

在开始阐述以前，咱们来看一段代码，看看结果是什么？

alert(a);
function a(){ alter(2); }
alert(a);
var a = 1
alert(a);
var a = 3;
alert(a);
function a(){ alter(4); }
alert(a);
a();

这里先揭晓答案：

• 第一个 alert(a) 弹出 function a(){ alter(4); } 函数体
• 第二个 alter(a) 弹出 function a(){ alter(4); } 函数体
• 第三个 alter(a) 弹出 1
• 第四个 alter(a) 弹出 3
• 第五个 alter(a) 弹出 3
• 最后一行报错 a is not a function

下面来分析一下这段代码：
其实在 javascript 开始执行代码以前，有一个 预解析（预编译） 的过程，这个过程会产生 变量提高 和 函数提高 ，其实整个执行过程能够分为两部分，方便理解：

• 预解析

这个过程，会把 关键字 var 、 function 、 参数 提取出来

上面这段代码 预解析 的过程是：

// 第1行，没有关键字 ， 不解析
// 第2行，遇到 function 关键字，解析到全局的头部
a = function a(){ alter(2); }
// 第3行，没有关键字 ， 不解析
// 第4行，遇到关键字 var ， 解析到全局的头部
a = undefined
// 第5行，没有关键字 ， 不解析
// 第6行，遇到关键字 var ， 解析到全局的头部
a = undefined
// 第8行，遇到 function 关键字，解析到全局的头部
a = function a(){ alter(4); }
// 第9行，没有关键字 ， 不解析
// 第10行，a() 函数调用

此时这里有4个同名变量 a ，依循规则是：function 优先与 var, 同名的后面覆盖前面的
所以，a = function a(){ alter(2); } 替换掉下面的2个 a = undefined ，a = function a(){ alter(4); } 又替换掉 a = function a(){ alter(2); } ,最终只剩下 a = function a(){ alter(4); }

预解析（预编译） 后的代码样子是这样的

var a = function a(){ alter(4); }
alert(a);
alert(a);
a = 1
alert(a);
a = 3;
alert(a);
alert(a);
a();

• 执行代码

就是执行的这段代码，依次从上到下执行，最后的 a() 函数调用，这时的 a 已被 表达式 赋值成 3 ，而报错 a is not a function

全局做用域和局部做用域

再看这段代码

var a = 1;
function fn1(){
    alert(a);
    var a = 2;
}
fn1();
alert(a);

这里先揭晓答案：

• 第一个 alert(a) 弹出 undefined
• 第二个 alert(a) 弹出 1

JavaScript 的做用域只用两种，一个是全局的，一个是函数的，也称为 全局做用域 和 局部做用域 ；局部做用域 能够访问 全局做用域 。可是 全局做用域 不能访问 局部做用域

一样用 预解析（预编译） 的方法来分析这段代码

• 预解析（预编译） 全局做用域

// 第1行，遇到 var 关键字，解析到全局的头部
a = undefined
// 第2行，遇到 function 关键字，解析到全局的头部
fn1 = function fn1(){
    alert(a);
    var a = 2;
}
// 第3行，没有遇到关键字，不解析
// 第4行，没有遇到关键字，不解析

• 开始执行代码

第1行，遇到表达式 a = 1, a 被赋值成 1
第6行，遇到函数调用 fn1() ,开始 预解析（预编译） 局部

• 预解析（预编译） 局部做用域

// 第3行，没有遇到关键字，不解析
// 第4行，遇到 var 关键字，解析到局部
a = undefined

• 开始执行 局部 代码

第3行，弹出 undefined
第4行，遇到表达式，把局部 a 改为 2

• 局部执行完成，继续执行全局

第7行，弹出 1 ，由于全局和局部是两个独立的做用域

做用域链

若是，把上面?代码，稍做修改

var a = 1;
function fn1(){
    alert(a);
    a = 2;
}
fn1();
alert(a);

去掉了 function 里的 var ，结果就会不同
此次，输出的是：

• 第一个 alert 弹出 1
• 第二个 alert 弹出 2

由于在解析局部是没有发现 var a ，如是在执行时，就会去全局查找，找到了全局的 a = 1 ，因此 第一个 alert 弹出 1 ，而不是 undefined ,这个就是 做用域连

匿名函数表达式、具名函数表达式

在来看看这段代码?

var a = 3;
function fn() {
    foo();
    function foo() {
        console.log(1);
    }
    foo();
    var foo = function() {
        console.log(2);
    };
    foo();
    var bar = function foo() {
        if(a > 3) return;
        console.log(++a);
        foo();
    };
    foo();
    bar();
}
fn();

先揭晓答案：

• 第1个 foo() 输出的是 1
• 第2个 foo() 输出的是 1
• 第3个 foo() 输出的是 2
• 第4个 foo() 输出的是 2
• 最后的 bar() 输出的是 4

以上代码包含了 函数声明 、 匿名函数表达式 、 具名函数表达式 ，匿名函数表达式 、 具名函数表达式 是把函数体赋值给一个变量，所以拥有和变量相同的特性 变量提高 ，而 具名函数表达式 的函数名只能在函数内部使用。

了解了这些，再来分析段代码

• 全局预解析

a = undefined
fn = function fn(){
    ...
}

• 执行代码

第1行，遇到表达式,把 a 的值改变成3
最后行，遇到函数调用，从新 预解析 局部

• 局部预解析

// 第4行，遇到 function 关键字，解析到局部的头部
foo = function(){
    console.log(1);
}
// 第8行，遇到 var 关键字，解析到局部的头部
foo = undefined
// 第12行，遇到 var 关键字，解析到局部的头部
bar = undefined

因为有两个同名变量 foo ，遵循 function 优先 var 所以， foo = undefined 被干掉

局部预解析 完以后的代码应该是这个样子?

var a = 3
function fn() {
    var foo = function foo() {
        console.log(1);
    }
    var bar;
    foo();
    foo();
    foo = function foo() {
        console.log(2);
    };
    foo();
    bar = function foo() {
        if(a > 3) return;
        console.log(++a);
        foo();
    };
    foo();
    bar();
}
fn();

• 执行局部代码

第1个 foo() 输出的是 1
第2个 foo() 输出的是 1
第3个 foo() 输出的是 2
第4个 foo() 输出的是 2

注意 这个 foo() 输出的是上面 foo = function foo() {console.log(2);} 的内容，由于 具名函数表达式 的函数名只能在函数内部使用，在外部没法访问。

最后的 bar() 输出的是 4

这里才是输出 function foo() {if(a > 3) return;console.log(++a);foo();} 里的内容，并且，这个函数体内也有自身的调用，结果 a 变量 +1 ，说明能够调用，其实，能够用 bar.name 输出的就是 foo

因此，注意：

• bar = function foo() , 不要用这种写法

• 不推荐使用 匿名函数表达式 ，有如下 ? 几个缺点

  • 在追踪栈中没函数名，调试困难
  • 若是须要引用自身，只能用非标准的 arguments.callee（ES5严格模式禁用）