ES6 系列二之 let 和 const
1. let
ES6新增了 let
命令,用来声明块级作用域
变量,学习过其他语言的同学不会陌生,在很多语言中,声明一般都是块级声明:
块级声明指的是该声明的变量无法被代码块外部访问。块作用域,又被称为词法作用域(lexical scopes),可以在如下的条件下创建:
- 函数内部
- 在代码块(即 { 和 })内部
块级作用域是很多类C语言的工作机制,ECMAScript 6 引入块级声明的目的是增强 JavaScript 的灵活性,同时又能与其它编程语言保持一致。
而JavaScript通过 var
声明的变量是函数级作用域,即在函数的范围内起作用,如果没有在函数中声明,则是全局变量,这样就会出现很多问题,如无法重用变量名,污染全局变量等。
{
let a = 1;
var b = 1;
}
console.log(b);
console.log(a);
执行程序,会出现a is no defined
的错误,因为 a 是定义在{}
内的,在大括号外面就是没有定义的,而通过var
声明的 b 则是全局变量,可以在{}
外访问,输出结果为1
。
2. const
const
声明一个只读的常量,一旦声明,常量的值就不能改变。
const P = 1.12;
P = 1.2; // TypeError: Assignment to constant variable
const声明的变量不得改变值,这意味着,const
一旦声明变量,就必须立即初始化,不能留到以后再赋值。
const foo; // SyntaxError: Missing initializer in const declaration
const 的本质
const
实际上不能确定所声明变量的值不会改变,而是变量指向的内存地址不会改变。对于基本数据类型(数值,字符串,布尔值等),这不会出现什么问题,值就保存在变量指向的内存中。但是对于复合类型的数据(数组和对象),内存地址不变不代表它的值不会改变,比如我们向数组中增加一个值,变量所代表的内存不变,但是实际上数组的内容已经发生了改变。例如,这段代码能正常运行:
const array = [1, 2];
array.push(3);
console.log(array); // 1, 2, 3
上面的代码中,变量array
存储的是一个地址,这个地址指向一个数组。不可变的是只是这个地址,即不能给array
重新赋值,而不是地址的内容,也就是array
所代表的数组是可变的。
const array = [1, 2];
array = 1; // TypeError: Assignment to constant variable.
3. let 和 const 的注意事项
1. 不存在变量提升(No Hoisting)
首先,我们要明白变量提升
的概念:通过var
声明的变量会存在变量提升
的现象,即变量可以在声明之前使用。JavaScript 仅提升声明,而不是初始化,提升声明的变量的值为 undefined。看下面的代码:
console.log(a); // undefined
var a = 1;
console.log(a); // 1
这段代码的作用相当于:
var a;
console.log(a); // undefined
a = 1;
console.log(a); // 1
看了这两段代码,我们应该能够理解变量提升
的含义了。虽然 JavaScript 存在变量提升的行为,但是不建议使用,还是先定义后使用的行为比较符合逻辑。
变量提升的内在意义:
Hoisting 真正发生的是在编译阶段将变量和函数声明放入内存中,但仍然保留在编码中键入的位置。JavaScript 在执行任何代码段之前,将函数声明放入内存中的优点之一是,这允许你可以在你的代码中使用一个函数,在声明该函数之前。
了解了变量提升之后,我们就可以理解 let
和 const
的不存在变量提升是什么意思了:let
和const
声明的变量只能在声明后使用,在声明前使用会报错:
console.log(a); // 报错 ReferenceError
let a = 1;
2. 暂时性死区(Temporal dead zone)
咋一看这个概念似乎很难理解,其实并不难掌握。首先,我们先看看 ES5 中作用域是如何工作的:
var x = 'outer';
(function() {
console.log(x);
var x = 'inner';
}());
你觉得执行上面的代码会输出什么?根据上面提到的变量提升,不难得出正确答案是 undefined
。可能有人会比较疑惑,为什么不是输出outer
呢?因为在 JavaScript 中,每个函数都有自己的执行环境,当获取一个变量的值时,会优先在当前执行环境中查找,当找不到时,才会到更深层的执行环境中去查找。
理解了上面的代码之后,也就很容易理解暂时性死区的概念了。类比 var
的情况, let
声明的变量是块级作用域,而且不存在变量提升的情况,当出现下面这种情况时会发生什么呢:
{
console.log(a);
let a = 1;
}
没错,会出现错误,也就是说如果在一个块级作用域中用let
声明了一个变量,那么在 let 声明之前是不能访问此变量的,否则会报错。这也就是暂时性死区的概念:
指在变量的块级作用域中,只有声明并赋值后,变量才可以正常使用。
ES6 规定暂时性死区和 let
、const
语句不出现变量提升,主要是为了减少运行时错误,防止在变量声明前就使用这个变量,从而导致意料之外的行为。这样的错误在 ES5 是很常见的,现在有了这种规定,避免此类错误就很容易了。
3. 不允许重复声明
这个很好理解,let
和 const
不允许在相同的作用域内重复声明同一个变量,否则会报错。
function func() {
let a = 10;
let a = 1; // 报错
}