作用域、作用域链、自由变量、变量提升

作用域及作用域链

何为作用域

任何编程语言都有作用域的概念，简单来说，作用域就是变量与函数的可访问范围，即作用域控制着变量与函数的可见性和生命周期

js的作用域是靠函数来形成的，也就是说一个函数的变量在函数外不可以访问。

作用域种类

• js中首先有一个最外层的作用域，全局作用域；
• js中可以通过函数来创建一个独立作用域称为函数作用
  域，函数可以嵌套，所以作用域也可以嵌套；
• es6中新增了块级作用域（大括号，比如：if{},for(){},while(){}…）；

全局作用域

任何地方都能访问到的对象拥有全局作用域。

1.函数外面定义的变量拥有全局作用域

2.未定义直接赋值的变量自动生命为拥有全局作用域

3.window对象的属性拥有全局作用

局部作用域

局部作用域一般只在固定的代码片段内可访问到，最常见的例如函数内部，所以在一些地方会把这种作用域成为函数作用域。

图一中，a是函数内部声明并赋值，拥有局部作用域，只能带函数fn内部使用，在fn外部使用就会报错，这就是局部作用域的特性，外部无法访问。

ES6的块级作用域

ES5只有全局作用域和函数作用域，没有块级作用域，会带来下面问题：

ES6引入了块级作用域，明确允许在块级作用域中声明函数，let和const命令都涉及块级作用域。

块级作用域允许声明函数只在使用大括号的情况下成立，如果未使用大括号，会报错。

if (true) {

function func1() {} // 不报错

}

if (true)

function func2() {} // 报错

自由变量

自由变量的概念： 当前作用域没有定义的变量

作用域链

自由变量的向上级作用域一层一层查找，直到找到为止，最高找到全局作用域，就形成了作用域链。

1.当执行函数时，总是先从函数内部找寻局部变量

2.如果内部找不到（函数的局部作用域没有），则会向创建函数的作用域（声明函数的作用域）寻找，依次向上

当执行fn1时，创建函数fn1的执行环境，并将该对象置于链表开头，然后将函数fn的调用对象放在第二位，最后是全局对象，作用域链的链表的结构是fn1->fn->window。从链表的开头寻找变量a，即fn1函数内部找变量a，找到了，结果是20。

同样，执行fn2时，作用域链的链表的结构是fn2->fn->window。从链表的开头寻找变量a，即fn2函数内部找变量a，找不到，于是从fn内部找变量a，找到了，结果是10。

最后在最外层打印出变量a，直接从变量a的作用域即全局作用域内寻找，结果为1。

变量提升（预解析）

var声明的变量，function声明的函数存在变量提升
let const 不会变量提升

1. javascript中声明并定义一个变量时，会把声明提前，以下会先打印出undefined，再打印出10

console.log(a)
var a = 10
console.log(a)

相当于

var a
console.log(a)；//undefined
a = 10
console.log(a) //10

2. 函数声明也是，以下函数相当于把整个fn提到作用域的最上面，所以调用fn时会正常打印jack

fn('jack')；//jack
function fn (name){
console.log(name)
}

3. 不过函数表达式不行，以下是一个函数表达式，JavaScript会把var fn提到作用域最上面，没有吧函数提上去，所以会报错。

fn("jack");//报错
var fn = function(name) {
console.log(name);
};