let命令

1、let命令

1.1 基本用法

let命令用于声明变量，其用法类似于var，和var不同的是，所声明的变量只在let命令所在的代码快内有效。且在let的代码块中不能重复声明一个变量

{
	let a = 10;
	var b = 1;
}
console.log(a) // ReferenceError: a is not defined.
console.log(b) // 1

上面的代码在代码块中分别用let和var声明了两个变量。然后在代码块之外调用这两个变量，结果let声明的变量报错，var声明的变量返回了正确的值。这表明let声明的变量只在其所在的代码块内有效。

// for 循环的计数器就很适合使用let命令
for(let i=0; i< 10; i++) {...}
console.log(i) // ReferenceError: i is not defined

以上的代码中的计数器 i 只在for循环体内有效，在循环体外使用就报错；
下面的代码如果使用var，则会输出10。

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

上面的代码中，变量 i 是 var 声明的，在全局范围内都有效，所以全局只有一个变量 i。每一次循环，变量 i 的值都会发生改变，而循环内，被赋给数组 a 的函数内部的console.log(i)中的 i 指向全局的 i。也就是说，所有数组 a 的成员中的 i 指向的都是同一个 i ，导致运行时输出的是最后一轮的 i 值，也就是10。
如果使用 let ，声明的变量仅在块级作用域内有效，最后将输出 6。

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

上面的代码中，变量 i 是 let 声明的，当前的 i 只在本轮循环有效。所以每一次循环的 i 其实都是一个新的变量，所以输出的结果是 6 。大家会很好奇，如果每一轮循环的变量 i 都是重新声明的，那它怎么知道上一轮循环的值从而计算出本轮的循环的值呢 ？这是因为JavaScript引擎内部会记住上一轮循环的值，初始化本轮的变量 i 时，就在上一轮循环的基础上进行计算。
另外，for循环还有一个特别之处，就是设置循环变量的那部分是一个父作用域，而循环体内部是一个单独的子作用域。

for(let i=0; i<3; i++) {
	let i = 'abc'
	console.log(i)
}
// abc
// abc
// abc

正确运行以上代码将输出 3 次abc。这表明函数内部的变量 i 与循环变量 i 不在同一作用域，而是有各自单独的作用域。

1.2 不存在变量提升

var命令会发生“变量提升”现象，即变量可以在声明之前使用，值为
undefined。（变量提升，但值不提升）。

这种现象多少是有些奇怪的，按照一般的逻辑，变量应该在声明语句之后才可以使用。为了纠正这种现象，let 命令改变了语法行为，它所声明的变量一定要在声明后使用，否则会报错。

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

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

在以上的代码中，变量foo用var命令声明会发生变量提升，即脚本开始运行时，变量foo变已经存在，但是没有值，所以会输出undefined。变量bar用let命令声明则不会发生变量提升。这表示在声明它之前，变量bar是不存在的，这时如果使用它，就会抛出错误。

1.3 暂时性死区

只要块级作用域内存在let命令，它所声明的变量就“绑定”（binding）这个区域，不再受外部影响。

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

上面的代码中存在全局变量tmp，但是块级作用域内let又声明了一个局部变量tmp，导致后者绑定这个块级作用域，所以在let声明变量前，对tmp赋值会报错。
ES6明确规定，如果区块中存在let 和 const 命令，则这个区块对这些命令声明的变量从一开始就形成封闭作用域。只要在声明之前就使用这些变量，就会报错。
总之，在代码块内，使用let命令声明变量之前，该变量都是不可用的。这在语法上称为“暂时性死区”（temporal dead zone，简称 TDZ）

if(true) {
	// TDZ 开始
	tmp = 'abc' // ReferenceError
	console.log(tmp) // ReferenceError
	let tmp // TDZ 结束
	console.log(tmp) // undefined
	tmp = 123
	console.log(tmp) // 123
}

上面的代码中，在let命令声明变量tmp之前，都属于变量tmp的“死区”。
“暂时性死区”也意味着typeof不再是一个百分之百安全的操作。

typeof x; // ReferenceError
let x;

作为比较，如果一个变量根本没有被声明，使用typeof反而不会报错。

typeof undeclared_variable // "undefined"

1.4 不允许重复声明

let 不允许在相同作用域内重复声明同一个变量。

// 报错
function() {
	let a = 10;
	var a = 1;
}
// 报错
function() {
	let a = 10;
	let a = 1;
}
// 因此，不能在函数内部重新声明参数
function func(arg) {
	let arg; // 报错
}
function func(arg) {
	{
		let arg; // 不报错
	}
}

本文摘抄于《ES6标准入门》（第3版）