JavaScript作用域探幽(二)

函数作用域和块作用域

Javascript有基于函数的作用域，而在ES6的版本以前，除了少数机制能创建块作用域之外，JavaScript中并不存在通过for、if等语句创建的块作用域，而这一现状在ES6中发生了改观。接下来我们会分别讨论这几种情况。

函数作用域

function foo() {
    var a= 5;
    console.log(a);
    function bar() {
        var b = 3;
        console.log(b);
    }
}
foo(); // 5,3
bar(); // ReferenceError
console.log(b); // ReferenceError
console.log(a); // ReferenceError

如上例所示，函数foo()中创建了a和bar两个标识符，这两个标识符无法在外部作用域中被访问，所以在全局作用域对它们的引用都报错了，因为全局作用域中的标识符只有foo一个。
所以函数作用域的含义是指，属于这个函数的全部变量都可以在整个函数范围内使用以及复用。
函数作用域的存在带来了下属两个积极意义

• 隐藏内部实现
  通过把代码块包装进函数里，相当于把这部分代码块隐藏了起来，这种做法满足了最小暴露原则。这个原则是指在软件设计中，应该最小限度地暴露必要内容，而将其他内容都“隐藏”起来。

• 规避冲突
  “隐藏”作用域中的变量和函数可以避免同名标识符之间的冲突(同名标识符之间的覆盖或者错误调用)。

块作用域

因为很多主流语言都支持块作用域，所以在接触JavaScript时可能会遇到一些困扰。

for(var i = 0; i < 5; i++) {
    console.log(i);
}
console.log(i); // 5
if(1) {
  var j = 5;
}
console.log(j); // 5

JavaScript中在for和if块中声明的函数和变量都会属于外层作用域，也就是说for和if语句并不能创建块作用域。
但是这并不意味着JavaScript中不存在块作用域。依然有多种方法能在JavaScript中创建块作用域。

with

with语句的作用是扩展作用域链。用with对象中创建出的作用域仅在with声明而非外部作用域中生效。
由于with会在程序运行时修改或创建新的作用域，可能会造成bug和性能损失，故在此不推荐使用，也不展开讨论。

try/catch

ES3规范中规定try/catch分句的catch分句会创建一个块作用域，其中声明的变量仅在catch内部有效。

try{
    undefined();
}
catch(err) {
    console.log(err);
}
console.log(err); // ReferenceError: err not found

let

ES6中引入了许多令人欣喜的新特性，其中之一就是关键字let，它是一种新的变量声明方式。let允许你声明一个作用域被限制在块级的变量、语句或者表达式，而var声明的变量只能是全局或者整个函数作用域的。

if(1) {
    let a = 5;
    sonsole.log(a); // 5
}
console.log(a); // ReferenceError

让let发挥优势的一个典型例子是之前讨论过的for循环。

for(let i = 0; i < 5; i++) {
    console.log(i);
}
console.log(i); // ReferenceError  

使用let创建for循环中的计数变量有效的避免了其对全局(外层)命名空间的污染。

const

ES6中还引入了关键字const，它可以创建一个常量，同样也是一个块作用域变量，任何试图修改值的操作都会报错。

if(1) {
    const a = 3.14;
    console.log(a); // 3.14
    a = 3.1415926; // 错误！
}
console.log(a)； // ReferenceError

提升

这个问题涉及到JavaScript代码的执行顺序。

a = 2;
var a;
console.log(a);

直觉上大家会觉得代码是按照顺序一行一行执行的，所以认为上述代码被重新赋值了，因此输出是undefined，但事实上输出的结果是2。

console.log(a);
var a = 2;

经过了上一个例子的教训，你也许会认为这个程序输出结果也是2，或者是抛出ReferenceError错误，但事实是这个程序的输出undefined。
为了解决上述两个疑问，我们会来探讨JavaScript代码在编译时的一个动作——提升。
在JavaScript代码的编译阶段，其中一部分工作是找到所有的声明，并用合适的作用域将它们关联起来。
这样做的结果是，包括变量和函数在内的所有声明会在所有代码执行前首先被处理。
当你看到var a = 2;时，可能会认为这是一个声明，但JavaScript实际上会将它看成两个声明: var a; 和 a = 2;。第一个定义声明是在编译时进行的，而第二个赋值声明被留在了执行阶段。
因此，这个过程就好像变量和函数声明从它们在代码中出现的位置被“移动”到了最上面。这个过程就叫做提升。
这也解释了为什么我们可以在函数定义的代码前调用该函数。

foo(); // 5
function foo() {
    var a = 5;
    console.log(a);
}

有一个值得注意的问题是，函数声明会被提升。但函数表达式不会被提升。

foo() // TypeError;
var foo = function bar() {
    console.log(5);
}

上述程序中的foo变量被提升并分配给当前作用域(全局作用域)，所以在调用foo时并不会出现ReferenceError。但此时foo并没有赋值，所以对它执行的函数调用操作会抛出TypeError异常。