js中块级作用域和函数作用域的区别

为什么需要块级作用域？

ES5只有全局作用域没和函数作用域，没有块级作用域，这带来很多不合理的场景。

第一种场景，内层变量可能覆盖外层变量：

var tmp = new Date();

function f(){
  console.log(tmp);
  if(false){
    var tmp = "hello";
  }
}

f(); // undefined

上面代码中，函数f执行后，输出结果为undefined，原因在于变量提升，导致内层的tmp变量覆盖了外层的tmp变量。

第二种场景，用来技术的循环变量泄露为全局变量：

var s = "hello";
for(var i=0;i

上面代码中，变量i只用来控制循环，但是循环结束后，它并没有消失，泄露成了全局变量。

ES6的块级作用域

let实际上为JavaScript新增了块级作用域

function f1(){
  let n = 5;
  if(true){
    let n = 10;
  }
  console.log(n); // 5
}

上面的函数有2个代码块，都声明了变量n，运行后输出5。这表示外层代码块不受内层代码块的影响。如果使用var定义变量n，最后输出的值就是10。

外层作用域无法读取内层作用域的变量：

{
    {let insane = "hello"}
    console.log(insance); // 报错
}

内层作用域可以定义外层作用域的同名变量：

{
    let a = "hello";
    {let a = "hello"}
}

块级作用域的出现，实际上使得获得广泛应用的立即执行函数表达式(IIFE)不再必要了：

// IIFE写法
(function(){
  var tmp = ...;
  ...
}());

// 块级作用域写法
{
  let tmp = ...;
  ...
}

ES6以前变量的作用域是函数范围，有时在函数内局部需要一些临时变量，因为没有块级作用域，所以就会将局部代码封装到IIEF中，这样达到了想要的效果又不引入多余的临时变量。而块作用域引入后，IIEF当然就不必要了！

function f(){
    ...
    swap(var_a,var_b);
    (function swap(a,b){
        var tmp;
        tmp = a;
        a = b;
        b=tmp;
    })(var_a,var_b);
}

如上面的代码，tmp被封装在IIFE中，就不会污染上层函数；而有块级作用域，就不用封装成IIEF，直接放到一个块级中就好。

function f(){
    let a,b;
    ...
    {
        let tmp;
        tmp = a;
        a = b;
        b=tmp;
    }
}

 更简单的说法是，立即执行匿名函数的目的是建立一个块级作用域，那么现在已经有了真正的块级作用域，所以立即执行匿名函数就不需要了。