关于letvar和const

前言

let和 const 命令是 ES6 新增的命令，用来声明变量，这两个变量跟 ES5 中的 var 有许多不同，同时 let 和const也有不一样的地方。并且在 ES6 中也添加了块级作用域来解决 ES5 中作用域存在的问题。

作用域

官方解释是：“一段程序代码中所用到的名字并不总是有效 / 可用的，而限定这个名字的可用性的代码范围就是这个名字的作用域。”

举个例子来形象的解析下上面的定义：

function fn () {
   // 声明变量
   var name = 'marry'
   
   // 定义内部函数
   function innerFn () {console.log(name) // 可以访问到 name 变量
   }
}
console.log(name) // undefined

ES5 作用域分为全局作用域和函数作用域。

1. 全局作用域

var a = 0;

if (true) {var b = 1;}

console.log(b); // 输出 1 

上面代码中，在全局中定义变量 a，称为全局变量，在任何一个地方都可以访问到变量 a。

1. 局部作用域

局部作用域也可以称之为函数作用域。

function fn () {var c = 2;}

console.log(c); // c is not defined

1. 作用域链

Function 对象有一个仅供 JavaScript 引擎存取的内部属性。

这个属性就是 [[Scope]]。[[Scope]] 包含了一个函数被创建的作用域中对象的集合。这个集合被称为函数的作用域链，它决定了哪些数据能被函数访问。
关于作用域链，局部作用域可以访问到全局作用域中的变量和方法，而全局作用域不能访问局部作用域的变量和方法。

var a = 0;

function fn () {
  var b = 1;
  console.log(a); // 输出 1
}

// 全局作用域并不能访问 fn 函数中定义的 b 变量
console.log(b); // b is not defined

fn();

块级作用域

ES6新增块级作用域，块作用域由 {}包括，函数内部，if语句和 for语句里面的 {} 也属于块作用域。

块级作用域的出现是为了解决 ES5 中作用域的问题：

1. 内层变量可能覆盖外层变量
2. 用来计数的循环变量泄露为全局变量。

var tmp = new Date();
function f() {console.log(tmp); // 想打印外层的时间作用域
  if (false) {var tmp = 'hello world'; // 这里声明的作用域为整个函数}
}
f(); // undefined

var s = 'hello';
for (var i = 0; i < s.length; i++) {console.log(s[i]); // i 应该为此次 for 循环使用的变量
}
console.log(i); // 5 全局范围都可以读到

块级作用域

通过 var 声明的变量存在变量提升的特性

// var 的情况
console.log(foo); // 输出 undefined
{var foo = 2;}
console.log(foo) // 2  

// 运行时，真正运行的是下面的代码
var = foo
console.log(foo); // 输出 undefined
{foo = 2;}
console.log(foo) // 2  

• JavaScript 引擎的工作方式是，先解析代码，获取所有被声明的变量，然后再一行一行地运行。这造成的结果，就是所有的变量的声明语句，都会被提升到代码的头部，这就叫做变量提升。
• 对于 var 命令来说，JavaScript 的单独的 {} 区块不构成单独的作用域。但是在 JavaScript 语言中，单独使用区块并不常见。

除此之外，在 for 循环中：

var a = [];
for (var i = 0; i < 10; i++) {a[i] = function () {console.log(i);
  };
}
a[6](); // 10

上面代码中，变量 i 是 var 命令声明的，在全局范围内都有效，所以全局只有一个变量 i。

let 和 const

let 和 const 命令

ES6 新增了 let 命令，用来声明变量。它的用法类似于 var，但是所声明的变量，只在 let 命令所在的代码块内有效。

1. let 在 {} 中声明的变量只在代码块中有效（形成块级作用域）

{
  let a = 10;
  var b = 1;
}

a // ReferenceError: a is not defined.
b // 1

1. 不存在变量提升（let 和 const）

let 命令所声明的变量一定要在声明后使用，否则报错。

// var 的情况
console.log(foo); // 输出 undefined
var foo = 2;

// let 的情况
console.log(bar); // 报错 ReferenceError
let bar = 2;

1. 重复声明报错（let 和 const）

let value = 2;
let value = 2; //Uncaught SyntaxError: Identifier 'value' has already been declared

1. 变量不会挂在顶层对象下面（let 和 const）

浏览器环境顶层对象是: window；
node 环境顶层对象是: global

var a = 1;
// 如果在 Node 环境，可以写成 global.a
// 或者采用通用方法，写成 this.a
window.a // 1

let b = 1;
window.b // undefined

const 命令需要注意点

1. 一旦声明，必须马上赋值

let p; var p1; // 不报错
const p3 = 'abc'
const p3; // 报错 没有赋值

1. 一旦声明值就不能改变

const p = '不能改变';
p = '报错' //  Assignment to constant variable

1. const 本质是变量指针不能变

const foo = {};

// 为 foo 添加一个属性，可以成功
foo.prop = 123;
foo.prop // 123

// 将 foo 指向另一个对象，就会报错
foo = {}; // TypeError: "foo" is read-only

const 所说的一旦声明值就不能改变，实际上指的是：变量指向的那个内存地址所保存的数据不得改动

• 对于简单类型的数据（数值、字符串、布尔值），值就保存在变量指向的那个内存地址，因此等同于常量。
• 对于复合类型的数据（主要是对象和数组），变量指向的内存地址，地址保存的是一个指针，const 只能保证指针是固定的(总是指向同一个地址), 它内部的值是可以改变的(不要以为 const 就安全了！)

暂时性死区

只要一进入当前作用域，所要使用的变量就已经存在了，但是不可获取，只有等到声明变量的那一行代码出现，才可以获取和使用该变量。

var tmp = 123;

if (true) {
  tmp = 'abc'; // ReferenceError
  let tmp;
}

总之，在代码块内，使用 let 命令声明变量之前，该变量都是不可用的。这在语法上，称为“暂时性死区”（temporal dead zone，简称 TDZ）。

暂时性死区和不能变量提升的意义在于:

为了减少运行时错误，防止在变量声明前就使用这个变量，从而导致意料之外的行为。

本章内容总结

var 和 let、const 的区别

1. 块级作用域
2. 不存在变量提升
3. 暂时性死区
4. 不可重复声明
5. let、const 声明的全局变量不会挂在顶层对象下面

const 需要注意点

1. let 可以先声明稍后再赋值, 而 const 在 声明之后必须马上赋值，否则会报错。
2. const 简单类型一旦声明就不能再更改，复杂类型 (数组、对象等) 指针指向的地址不能更改，内部数据可以更改。

参考文章

• let 和 const 命令
• var 和 let/const 的区别