全局作用域：

不在任何函数内声明的变量称作全局变量，它在js程序中的任何地方都是可见的。
代码在程序的任何地方都能被访问，window 对象的内置属性都拥有全局作用域。

函数作用域：

在函数内声明的变量具有函数作用域，并且只在函数内可见。
在固定的代码片段才能被访问

块级作用域

而ES6新增了一个 块级作用域
块级作用域可以简单理解为是: 包在大括号{}里面的内容, 它可以自成一个作用域, 但ES5中也有大括号, 可ES5中并没有块级作用域, 这时该怎样判断 {} 是否具有块级作用域的特点?
这时就得用到 let 和 const

因此, 可以将块级作用域理解为: 使用let和const声明的变量, 只在当前大阔号内生效, 由此构建出了块级作用域这么个东西.
这里的 “大括号内” 主要指的下面几种情况:

// 条件语句 if  else   else if
if () {}
// switch语句
switch () {}
// for / while循环语句
for () {}
while () {}
// try...catch语句
try () catch (err) {}
// 单大括号
{}

对象的大括号内不是一个块级作用域, 因为它里面不能直接声明变量;

通过var定义的变量可以跨块作用域访问到（就相当于块级作用域中的var是定义到上级作用域中的（函数作用域或者全局作用域）），但是不能跨函数作用域访问到
通过下面的代码也可知：if语句和for语句属于块作用域，不属于函数作用域。

{
  var a = 1;
  console.log(a); // 1
}
console.log(a); // 1
// 可见，通过var定义的变量可以跨块作用域访问到。
(function A() {
var b = 2;
console.log(b); // 2
})();
// console.log(b); // 报错，
// 可见，通过var定义的变量不能跨函数作用域访问到
if(true) {
    var c = 3;
}
console.log(c); // 3
for(var i = 0; i < 4; i++) {
    var d = 5;
};
console.log(i); // 4   (循环结束i已经是4，所以此处i为4)
console.log(d); // 5
// if语句和for语句中用var定义的变量可以在外面访问到，
// 可见，if语句和for语句属于块作用域，不属于函数作用域。

var定义的变量，没有块的概念，可以跨块访问, 不能跨函数访问。可声明提升
let定义的变量，只能在块作用域里访问，不能跨块访问，也不能跨函数访问。不可声明提升
const用来定义常量，使用时必须初始化(即必须赋值)，只能在块作用域里访问，而且不能修改。不可声明提升

// 块作用域
    {
        var a = 1;
        let b = 2;
        const c = 3;
        // c = 4; // 报错
        var aa;
        let bb;
        // const cc; // 报错
        console.log(a); // 1
        console.log(b); // 2
        console.log(c); // 3
        console.log(aa); // undefined
        console.log(bb); // undefined
    }
    console.log(a); // 1
    // console.log(b); // 报错
    // console.log(c); // 报错
    // 函数作用域
    (function A() {
        var d = 5;
        let e = 6;
        const f = 7;
        console.log(d); // 5
        console.log(e); // 6  (在同一个{ }中,也属于同一个块，可以正常访问到)
        console.log(f); // 7  (在同一个{ }中,也属于同一个块，可以正常访问到)
    })();
    // console.log(d); // 报错
    // console.log(e); // 报错
    // console.log(f); // 报错

自由变量

在A作用域中使用的变量x，却没有在A作用域中声明（即在其他作用域中声明的），对于A作用域来说，x就是一个自由变量。如下图

作用域链

作用域有上下级关系，上下级关系的确定就看函数是在哪个作用域下创建的。如上，fn作用域下创建了bar函数，那么“fn作用域”就是“bar作用域”的上级。

变量取值：到创建这个变量的函数的作用域中取值，切记是创建的作用域中取值，而不是调用的作用域中取值！其实这就是所谓的“静态作用域”。

但是如果在当前作用域中没有查到值，就会向上级作用域去查，直到查到全局作用域，这么一个查找过程形成的链条就叫做作用域链。

所以下面的结果是10

var x = 10;

function fn(){
    console.log(x);
}

function show(f){
    var x = 20;
    (function(){
       f();    // 10
    })()  
}

show(fn); // 10

对于本文第一段代码，在fn函数中，取自由变量x的值时，要到哪个作用域中取？——要到创建fn函数的那个作用域中取——无论fn函数将在哪里调用。

上面描述的只是跨一步作用域去寻找。
如果跨了一步，还没找到呢？——接着跨！——一直跨到全局作用域为止。要是在全局作用域中都没有找到，那就是真的没有了。
这个一步一步“跨”的路线，我们称之为——作用域链。

以上代码中：第13行，fn()返回的是bar函数，赋值给x。执行x()，即执行bar函数代码。取b的值时，直接在fn作用域取出。取a的值时，试图在fn作用域取，但是取不到，只能转向创建fn的那个作用域中去查找，结果找到了。

https://www.cnblogs.com/wangfupeng1988/p/3992795.html
https://www.cnblogs.com/gaosirs/p/10579059.html