// ES6 系列之let和const
/**
1 块级作用域的出现
通过var 声明的变量存在变量提升
if(condition) {
var value = 1
}
console.log(value)
初学者可能会觉得只有 condition 为 true 的时候,才会创建 value,如果 condition 为 false,结果应该是报错,然而因为变量提升的原因,代码相当于:
var value
if (condition) {
value = 1
}
console.log(value)
如果 condition 为 false,结果会是 undefined。
除此之外,在 for 循环中:
for (var i = 0
...
}
console.log(i)
即便循环已经结束了,我们依然可以访问 i 的值。
为了加强对变量生命周期的控制,ECMAScript 6 引入了块级作用域。
块级作用域存在于:
函数内部
块中(字符 { 和 } 之间的区域)
2 let 和const
块级声明用于声明在指定块的作用域之外无法访问的变量
let const 都是块级声明的一种
回顾下let和const的特点
1. 不会被提升
if (false) {
let value = 1
}
console.log(value)
2. 重复声明报错
var value = 1
let value = 2
3. 不绑定全局作用域(和window不映射)
当在全局作用域中使用 var 声明的时候,会创建一个新的全局变量作为全局对象的属性。
var value = 1
console.log(window.value) // 1
然而 let 和 const 不会:
let value = 1
console.log(window.value)
再来说下 let 和 const 的区别:
const 用于声明常量,其值一旦被设定不能再被修改,否则会报错。
值得一提的是:const 声明不允许修改绑定,但允许修改值。这意味着当用 const 声明对象时:
const data = {
value: 1
}
// 没有问题
data.value = 2
data.num = 3
// 报错
data = {}
3 临时死区
临时死区(Temporal Dead Zone),简写为 TDZ。
let 和 const 声明的变量不会被提升到作用域顶部,如果在声明之前访问这些变量,会导致报错:
console.log(typeof value)
let value = 1
这是因为JavaScript引擎在扫描代码发现变量声明时,要么将他们提升到作用域顶部(遇到var声明),要么将声明放在TDZ中(遇到let和const声明)。访问TDZ中的变量会触发运行时候错误,只有执行过变量声明语句后,变量才会从TDZ中移出,然后才可以访问
var value = 'global'
// 例子1
(function() {
consoel.log(value)
}())
// 例子2
{
console.log(value)
const value = 'local'
}
两个例子中,结果并不会打印 "global",而是报错 Uncaught ReferenceError: value is not defined,就是因为 TDZ 的缘故。
4 循环中的块级作用域
var funcs = []
for (var i = 0
funcs[i] = function() {
console.log(i)
}
}
funcs[0]() // 3
一个老生常谈的面试题,解决方案如下:
var funcs = []
for(var i = 0
funcs[i] = (function(i) {
return function() {
console.log(i)
}
}(i))
}
funcs[0]() // 0
ES6 的let为这个提个新的办法
var funcs = []
for(let i = 0
funcs[i] = function() {
console.log(i)
}
}
funcs[0]() // 0
let 不提升,不能重复声明,不能绑定全局作用域等等特性,可是为什么在这里就能正确打印出 i 值呢?
如果是不重复声明,在循环第二次的时候,又用 let 声明了 i,应该报错呀,就算因为某种原因,重复声明不报错,一遍一遍迭代,i 的值最终还是应该是 3 呀,还有人说 for 循环的 设置循环变量的那部分是一个单独的作用域,就比如:
for (let i = 0
let i = 'abc'
console.log(i)
}
// abc
// abc
// abc
这个例子是对的,如果我们把 let 改成 var 呢?
for (var i = 0
var i = 'abc'
console.log(i)
}
// abc
为什么结果就不一样了呢,如果有单独的作用域,结果应该是相同的呀……
如果要追究这个问题,就要抛弃掉之前所讲的这些特性!这是因为 let 声明在循环内部的行为是标准中专门定义的,不一定就与 let 的不提升特性有关,其实,在早期的 let 实现中就不包含这一行为。
如图 'ECMA let规范'
我们会发现,在for循环中使用let和var 底层会使用不同的处理方式
let的底层到底是怎么做的
简单来说就是 for(let i = 0
for (let i = 0
let i = 'abc'
console.log(i)
}
// abc
// abc
// abc
然后每次迭代循环时候创建一个新的变量,并以执勤啊迭代中同名变量的值将其初始化,这样对于下面这样一段代码
var funcs = []
for (let i = 0
funcs[i] = function () {
console.log(i)
}
}
funcs[0]()
其实就是相当于、
(let i = 0) {
funcs[0] = function() {
console.log(i)
}
}
(let i = 1) {
funcs[0] = function() {
console.log(i)
}
}
(let i = 2) {
funcs[0] = function() {
console.log(i)
}
}
当执行函数的时候,根据词法作用域就可以找到正确的值,其实你也可以理解为 let 声明模仿了闭包的做法来简化循环过程。
5 循环中的let和const
不过到这里还没有结束,如果我们把 let 改成 const 呢?
var funcs = []
for (const i = 0
funcs[i] = function () {
console.log(i)
}
}
funcs[0]()
因为虽然我们每次都创建了一个新的变量,然而我们却在迭代中尝试修改 const 的值,所以最终会报错。
说完了普通的 for 循环,我们还有 for in 循环呢~
那下面的结果是什么呢?
var funcs = []
var object = { a: 1, b: 1, c: 1}
for(var key in object) {
funcs.push(function() {
console.log(key)
})
}
funcs[0]()
结果是 'c'
把var 改为let 或者const
使用 let,结果自然会是 'a',const 呢? 报错还是 'a'?
【结果是正确打印 'a',这是因为在 for in 循环中,每次迭代不会修改已有的绑定,而是会创建一个新的绑定。】
6 Babel
Babel 中是如何编译 let 和 const 的呢
let value1 = 1
编译为 var value = 1
if (false) {
let value = 1
}
console.log(value)
如果还是直接编译成 var,打印的结果肯定是 undefined,然而 Babel 很聪明,它编译成了:
if(false) {
var _value = 1
}
consoel.log(value)
我们再写个直观的例子:
let value = 1
{
let value = 2
}
value = 3
复制代码
var value = 1
{
var _value = 2
}
value = 3
本质是一样的,就是改变量名,使内外层的变量名称不一样
那像 const 的修改值时报错,以及重复声明报错怎么实现的呢
其实就是在编译的时候直接给你报错……
那循环中的 let 声明呢?
var funcs = []
for(let i = 0
funcs[i] = function() {
console.log(i)
}
}
funcs[0]() // 0
Babel 巧妙的编译成了:
var funcs = []
var _loop = function _loop(i) {
funcs[i] = function() {
console.log(i)
}
}
for(var i = 0
_loop(i)
}
funcs[0]() // 0
7 最佳实践
在我们开发的时候,可能认为应该默认使用 let 而不是 var,这种情况下,对于需要写保护的变量要使用 const。然而另一种做法日益普及:默认使用 const,只有当确实需要改变变量的值的时候才使用 let。这是因为大部分的变量的值在初始化后不应再改变,而预料之外的变量之的改变是很多 bug 的源头。
*/