由块级作用域引出的一场变革

块级作用域又称词法作用域，存在于：

• 函数内部（函数作用域）

• 块中（字符 { 和 } 之间的区域）

注意：ES6允许块级作用域任意嵌套

{{{{{{let text = 'Hello World!'}}}}}}

因为有了块级作用域，然后我们才有继续往下聊的可能。

1、 块级声明

块级声明是用于声明在指定块的作用域之外无法访问的变量。

2、 let声明：用来声明一个块级作用域变量

1. 声明的变量具有块级作用域的特性

// 例子
function getValue (condition) {
    if (condition) {
        let value = 'blue';
        return value;
    }
    console.log(value)
    // 报错 value is not defined
}
getValue()

1. 在同一个作用域内不能使用let声明同名的变量

// 不管是var,const或者let,新的let声明之前同名的变量，都会报错
var count = 30;
let count = 40;
// 报错 Identifier 'count' has already been declared

// 函数形参和函数内部的let声明变量重名，报错
function test(value) {
    let value = 3;
}
test()
// 报错 Identifier 'value' has already been declared

// 在不同的作用域声明的变量重名是没问题的
let count = 30;
if(true) {
  let count = 40;
  // 不同的作用域，不会报错
}

1. 声明没有预解析，不存在变量提升，有“临时死区”(TDZ)

从块的开始到变量声明这段的区域被称为临时死区，ES6明确规定，如果区块中存在let和const命令，则这个区块对这些命令声明的变量从一开始就形成封闭作用域，只要在声明之前就使用这些变量（赋值，引用等等），就会报错。

if(true) {
    console.log(typeof value);
    // 报错 value is not defined

    let value = 'blue';
}

注意：TDZ是区域是“块开始”到“变量声明”，下面的例子不报错

// typeof 说是相对安全，确实是，永远拿不到想要的结果
console.log(typeof value); // 打印 undefined，没有报错
if(true) {
    let value = 'red';
}

3、 const声明：声明常量（如PI），值一旦被设定后不可更改

1. 常量声明的值是不可变的

注意：const声明的对象不允许修改绑定，但可以修改该对象的属性值。

const number = 6;
number = 5;
// 报错 Assignment to constant variable

const obj = {number: 1};
obj.number = 2; // 不报错

obj = {number: 3};
// 报错 Assignment to constant variable

1. 因为常量声明后值就不可更改了，所以声明时必须赋值

// 有效的常量
const count = 30;

// 报错 Missing initializer in const declaration
const name;

1. 声明的常量具有块级作用域的特性

if(true) {
    const number = 5;
}
console.log(number)
// 报错 number is not defined

1. 在同一个作用域内不能使用const声明同名的变量

var message = 'Hello';
let age = 25;

// 这两条语句都会报错
const message = 'Good';
const age = 30;

1. 声明没有预解析，不存在变量提升，有“临时死区”(TDZ)

总结：一张表格

声明方式	变量提升	作用域	是否需要初始值	重复定义
var	是	函数级	不需要	允许
let	否	块级	不需要	不允许
const	否	块级	需要	不允许

扩展：再提一下变量命名，不管是var、let、const声明的变量名，可以由数字，字母，下划线及美元符号组成，但是不能以数字开头。美元符号可以放到任何一个位置，甚至单独一个美元符号。

4、 循环中的块作用域绑定

循环中的let声明

// 第一个对比
// before
for(var i = 0; i < 5; i++) {
    // ... 省略一些代码
}
console.log(i)  // 5

//after
for(let i = 0; i < 5; i++) {
    // ... 省略一些代码
}
console.log(i) // 报错 i is not defined


// 第二个对比
// before
var funcs = [];
for(var i = 0; i < 10; i++) {
    funcs.push(() => {console.log(i)})
}
funcs.forEach((ele) => {
    ele()
})
// 打印 10次 10

// after
var funcs = [];
for(let i = 0; i < 10; i++) {
    funcs.push(() => {console.log(i)})
}
funcs.forEach((ele) => {
    ele()
})
// 打印 0 1 2 3 4 5 6 7 8 9

注意：有一点很重要，let 声明在循环内部的行为是标准中专门定义的，它不一定与 let 不提升特性有关。

循环中的const声明

// for 循环会报错
for (const i = 0; i < 1; i++) {
    console.log(i)
}
// 打印 0 ，然后报错 Assignment to constant variable.

// for-in 和 for-of 不会报错
var object = {
    a: true,
    b: true,
    c: true
};
for (const key in object) {
    // 不要在循环体内更改key的值，会报错
    console.log(key)
}
// 打印 a b c

注意：const可以应用在 for-in 和 for-of 循环中，是因为每次迭代不会修改已有绑定，而是会创建一个新绑定。

5、 块级绑定最佳实践的进化

ES6 早期

普遍认为默认使用let来替代var,对于写保护的变量使用const

ES6 使用中

普遍默认使用const，只有确实需要改变变量的值时使用let。因为大部分变量的值在初始化后不应再改变，而预料之外的变量值的改变是许多bug的源头。这样就可以在某种程度上实现代码的不可变，从而防止某些错误的发生。

6、 全局变量将逐步与顶层对象的属性脱钩

顶层对象，在浏览器环境指的是window对象，在Node指的是global对象。

为了保持兼容性，var命令和function命令声明的全局变量，依旧是顶层对象的属性；

var a = 1;
window.a // 1

var 声明的a，在右侧 global 里面

另一方面规定，let命令、const命令、class命令声明的全局变量，不属于顶层对象的属性。

上图可见let 声明的变量，并没有在Window对象里，而是一个新的Script对象。

扩展：如果需要在浏览器中跨frame或window访问代码，仍然可以用var在全局对象下定义变量。

7、 块级函数

从ECMAScript 6开始，在严格模式下，块里的函数作用域为这个块。ECMAScript 6之前不建议块级函数在严格模式下使用。

'use strict';

function f() {
  return 1;
}

{
  function f() {
    return 2;
  }
}

f() === 1; // true

// f() === 2 在非严格模式下相等

注意：在非严格模式下不要用块级函数，因为在非严格模式下，块中函数的声明表现奇怪，有兼容性风险

if (shouldDefineZero) {
   function zero() {     // DANGER: 兼容性风险
      console.log("This is zero.");
   }
}

ECMAScript 6中，如果shouldDefineZero是false，则永远不会定义zero,因为这个块不执行。这是新标准定义的。然而，这里存在历史遗留问题，无论这个块是否执行，一些浏览器会定义zero。

在严格模式下，所有支持ECMAScript 6的浏览器以相同的方式处理：只有在shouldDefineZero为true的情况下定义zero，并且作用域只是这个块内。