ES6+ const

1. 前言

上一节我们学习了使用 let 取代 var 声明变量，但是很多情况下，我们希望我们声明的变量不能被修改。在 ES5 中不能直接声明一个常量，如果想声明一个不可修改的变量需要借助 defineProperty 方法。ES6 为了弥补这方面的缺失，新增了 const 语句用于声明一个常量。本节我们还将学习到 let、 const 、 var 的区别。

2. 语句使用

2.1 基本使用

const 的使用类似于 let，不同的是 const 在声明时必须初始化一个值，而且这个值不能被改变。

const PI = ;  // 定义一个圆周率常量 PI

上面的代码声明了一个常量 PI，如果声明时没有初始化值时，则会抛出异常。

const PI;
// Uncaught SyntaxError: Missing initializer in const declaration

const 语句声明的是一个常量，并且这个常量是不能被更改的：

const PI = ;  // 定义一个圆周率常量 PI
PI =              // Uncaught TypeError: Assignment to constant variable.

这里声明了一个圆周率常量，我们知道圆周率是固定的不会被改变的，如果对 PI 重新赋值，则会抛出不能给常量分配变量的错误。

但如果使用 const 声明的变量是一个对象类型的话，我们可以改变对象里的值，这是因为 const 存的变量只是一个地址的引用，所以只要不改变引用的值，就不会报错。如下面的例子：

const obj = {};
obj.a =           // 12
const arr = [];
arr.@H_502_141@push();       // 12
arr = {};           // Uncaught TypeError: Assignment to constant variable.

使用 const 声明了一个对象和一个数组，然后增加对象的属性和增加数组的值都不会报错，这是因为我们没有改变 obj 和 arr 的引用。如果对 arr 进行重赋值，则会报不能给常量分配变量的错误。

2.2 const 和 let 共有特性

由于 const 和 let 都是声明变量使用的，所以他们的使用方法基本相同，下面总结一下它们共有的内容，详情参考上一节的 let 的使用：

不能进行变量提升，在声明前不能被使用，否则会抛出异常；
存在暂时性死区，在块中不能被重复声明。

3. ES5 模拟实现 const

在 ES6 之前是不能定义常量的，如果想定义常量的话，需要借助 ES5 中的 defineProperty 方法，这里我们写个示例：

function @H_502_141@setConst(key, value, obj) {
  Object.@H_502_141@defineProperty(window, key, {
    get: function(){
      return value;
    },
    set: function(){
      console.@H_502_141@error('Uncaught TypeError: Assignment to constant variable');
    },
  });
}
@H_502_141@setConst('PI', );
console.@H_502_141@log(PI)     // 3.1415
PI = ;             // Uncaught TypeError: Assignment to constant variable.

上面的代码是一个定义常量的函数，使用了 ES5 的 Object.defineProperty 方法，这个方法允许在一个对象上定义一个新的属性，具体使用详情可以参考 ES5 的相关文档说明。这里我们会在 window 对象上添加属性，也可以自己定义一个对象进行添加，可以实现局部作用域的效果。通过向 setConst 方法中传入指定的变量和值来声明一个常量，这样我们就在 ES5 中实现了常量的概念。由此可见，ES6 的 const 带来的好处。

4. 场景实例

4.1 let 及 const 常见问题

在工作中经常会遇到 var、let 及 const 以下几个问题：

什么是变量提升？
什么是暂时性死区？
var、let 及 const 区别？

这些问题在上面的讲解中都有提到过，这里我们总结一下：

4.2 什么是变量提升？

变量还没有被声明，但是我们却可以使用这个未被声明的变量，这种情况就叫做提升，并且提升的是声明。

console.@H_502_141@log(a); // undefined
var a =

这个代码其实可以写出下面这样的方式：

var a;
console.@H_502_141@log(a);  // undefined
a =

其实变量提升就是，把变量名统一地提升到作用域的顶部进行率先定义，这也就是变量提升。不仅变量可以被提升，函数也可以被提升，并且函数的提升要优于变量的提升，函数提升会把整个函数挪到作用域顶部。

4.3 什么是暂时性死区？

暂时性死区主要是针对 let 和 const 而言的，因为它们不存在变量提升，所以在它们声明变量之前是不能使用的，这个时候如果使用了就会报错，这时候就形成了暂时性的死区，也就是不能被引用。

{
  console.@H_502_141@log(name);  // ReferenceError: name is not defined. 
  let num = ;
}

定义前被引用则会抛出异常。

4.4 var、let 及 const 区别？

上面两个问题解决了，再看它们的区别其实就是显而易见的，主要从以下几个方面来分析它们之间的区别：

var 声明的变量是全局作用域下的，会污染全局变量；let、const 可以和 {} 连用，产生块作用域不会污染全局；
var 存在提升，我们能在声明之前使用。let、const 因为暂时性死区的原因，不能在声明前使用；
var 在同一作用域下，可以重复声明变量；let、const 不能重复声明变量，否则会报错；
let 和 const 的用法基本一致，但是 const 声明的变量不能再次赋值。

4.5 实例

下面的实例主要考察作用域的问题，下面的代码输出的结果是什么？

for (var i = ; i < ; i++) {
  @H_502_141@setTimeout(() => {
    console.@H_502_141@log(i);
  }, *i);
}
// 3
// 3
// 3

代码分析： 这里由于 setTimeout 是异步回调函数，所以 for 循环运行完后才会执行 setTimeout 内的调用栈。使用 var 声明的变量是全局作用域的，循环完后 i 的值是 3，所以会间隔 1s 打印一个 3。想要 i 的值不被覆盖，这时可以借助 let 的块级作用域的特性，来解决这个问题：

for (let i = ; i < ; i++) {
  @H_502_141@setTimeout(() => {
    console.@H_502_141@log(i);
  },  * i);
}
// 0
// 1
// 2

代码分析： 这里循环的变量 i 是 let 声明的，当前的 i 只在本轮循环有效，所以每一次循环的 i 其实都是一个新的变量。你可能会问，如果每一轮循环的变量 i 都是重新声明的，那它怎么知道上一轮循环的值，从而计算出本轮循环的值？这是因为在 JavaScript 引擎内部会记住上一轮循环的值，初始化本轮的变量 i 时，就在上一轮循环的基础上进行计算。

另外，for 循环还有一个特别之处，就是设置循环变量的那部分是一个父作用域，而循环体内部是一个单独的子作用域。这样每次定义的 i 都是局部作用域下的变量，所以在异步之后，i 的值是不会变的，所以依次打印 0 到 3 的结果。

5. 小结

本节我们学习了使用 const 来声明一个常量，这里需要注意以下几点：

对于不可变的变量，尽可能地使用 const 来声明变量，如果需要更改值的时候再用 let 声明；
let 和 const 都只作用于块级作用域内；
let 和 const 声明的变量，都不能变量提升，都存在暂存死区；
let 和 const 声明的变量不允许重复声明，无论重复用 var 或者其他声明都不行。