ECMAScript 变量

100 阅读5分钟

ECMAScript 变量是松散类型的,意思是变量可以用于保存任何类型的数据。

每个变量只不过是一个用于保存任意值的命名占位符。

有3个关键字可以声明变量:var、const 和 let。

其中 var 在 ECMAScript 所有版本中都可以使用,而 const 和 let 只能在 ECMAScript6 及更晚的版本中使用。

1. var 关键字

var + 变量名,定义一个变量,可以用它保存任何类型的值。

可以同时定义变量并设置它的值,不初始化的情况下,变量会保存一个特殊值 undefined。

var message = 'hi'

像上面这样初始化变量不会将它标识为字符串类型,只是一个简单的赋值而已。随后,不仅可以改变保存的值,也可以改变值的类型。

var message = 'hi'; 
message = 100;  // 合法,但不推荐

1.1 var 声明作用域

使用 var 操作符定义的变量会成为包含它的函数的局部变量,该变量将在函数退出时被销毁。

function test() {
  var message = 'hi'  // 局部变量
}
test()
console.log(message)  // 出错

不过,在函数内定义变量时省略 var 操作符,可以创建一个全局变量,但不推荐这么做。

function test() {
  message = 'hi'  
  // 全局变量(不推荐),且在严格模式下会抛出 ReferenceError
}
test()
console.log(message)  // 'hi'

如果要定义多个变量,可以在一条语句中用逗号分隔每个变量(及可选的初始化):

var message = 'hi',
    found = false,
    age = 29;

在严格模式下,不能定义名为 eval 和 arguments 的变量,否则会导致语法错误。

1.2 var 声明提升

使用 var 声明的变量会自动提升到函数作用域顶部:

function foo () {
  console.log(age)
  var age = 26
}
foo()  // undefined

// ECMAScript 运行时把它看成等价于如下代码:
function foo () {
  var age;
  console.log(age);
  age = 26;
}
foo()  // undefined

2. let 声明

let 和 var 最明显的区别是:let 声明的范围是块级作用域,而 var 声明的是函数作用域。

if (true) {
  var name = 'Matt';
  console.log(name);  // Matt
}
console.log(name);  // Matt
if (true) {
  let age = 26;
  console.log(age);  // 26
}
console.log(age);  // ReferenceError: age 没有定义

块级作用域是函数作用域的子集,因此适用于 var 的作用域限制同样也适用于 let。

let 也不允许同一个块作用域中出现冗余声明(重复声明)。

JavaScript 引擎会记录用于变量声明的标识符及其所在的块级作用域,因此嵌套使用相同的标识符不会报错。

let age = 30
console.log(age)  // 30
if (true) {
  let age = 26
  console.log(age)  // 26
}

对声明冗余报错不会因混用 let 和 var 而受影响。

这两个关键字声明的并不是不同类型的变量,它们只是指出变量在相关作用域如何存在。

var name;
let name;   // SyntaxError

let age;
var age;   // SyntaxError

2.1 暂时性死区

let 与 var 的另一个重要区别,就是 let 声明的变量不会在作用域中被提升。

// name 会被提升
console.log(name)   // undefined
var name = 'Matt'

// age 不会被提升
console.log(age)  // ReferenceError: age 没有定义
let age = 26

在 let 声明之前的执行瞬间被称为 “暂时性死区”,在此阶段引用任何后面才声明的变量都会抛出 ReferenceError。

2.2 全局声明

与 var 关键字不同,使用 let 在全局作用域中声明的变量不会成为 window 对象的属性(var 声明的变量则会)。

var name = 'Matt'
console.log(window.name)  // Matt

let age = 26
console.log(window.age)   // undefined

不过,let 声明仍然是在全局作用域中发生的,相应变量会在页面的生命周期内存续。

因此,为了避免 SyntaxError,必须确保页面不会重复声明同一个变量。

2.3 条件声明

let 的作用域是块,所以不可能检查前面是否已经使用 let 声明过同名变量,同时也就不可能在没有声明的情况下声明它。

// 假设脚本不确定页面中是否已经声明了同名变量
// 那它可以假设还没有声明过

if (typeof name === 'undefined') {
  let name;
}
// name 被限制在 if {} 块的作用域内
// 因此这个赋值形同全局赋值
name = 'Matt'

try {
  console.log(age)  // 如果 age 没有声明过,则会报错
}
catch (error) {
  let age;
}
// age 被限制在 catch {} 块的作用域内
// 因此这个赋值形同全局赋值
age = 26

为此,对于 let 这个新的 ES6 声明关键字,不能依赖条件声明模式。

2.4 for 循环中的 let 声明

JavaScript 引擎会为 for 循环中的 let 声明分别创建独立的变量实例。

在 let 出现之前,for 循环定义的迭代变量会渗透到循环体外部;

for (var i = 0; i < 5; i++) {
  // 循环逻辑
}
console.log(i)  // 5

使用 let 后,迭代变量的作用域仅限于 for 循环块内部。

for (let i = 0; i < 5; i++) {
  // 循环逻辑
}
console.log(i)  // ReferenceError: i 没有定义

在使用 var 时,最常见的问题就是对迭代变量的奇特声明和修改:

for (var i = 0; i < 5; i++) {
  setTimeout( () => console.log(i), 0 )
}
  // 55

解释:因为在退出循环时,迭代变量保存的是导致循环退出的值:5。在之后执行超时逻辑时,所有的 i 都是同一个变量,因而输出的都是同一个最终值。

for (let i = 0; i < 5; i++) {
  setTimeout( () => console.log(i), 0 )
}
  // 0、1、2、3、4

使用 let 声明迭代变量时,JavaScript 引擎在后台会为每个迭代循环声明一个新的迭代变量。每个 setTimeout 引用的都是不同的变量实例,也就是循环执行过程中每个迭代变量的值。

for-in 和 for-of 循环使用 let 也可以实现上面的效果。

3. const 声明

const 声明变量时,必须同时初始化变量。

const 也不允许重复声明。

const 声明的作用域也是块。

修改 const 声明的变量会导致运行时错误。

如果 const 变量引用的是一个对象,可以修改对象内部的属性,但是不可以重新赋为另一个对象。

不能用 const 来声明迭代变量,因为迭代变量会自增。

for (const i = 0; i < 10; i++) {}
// TypeError: 给常量赋值

不过,如果你只想要用 const 声明一个不会被修改的 for 循环变量,那也是可以的。也就是说,每次迭代只是创建一个新变量。这对 for-of 和 for-in 循环特别有意义:

let i = 0
for (const j = 7; i < 5; i++) {
  console.log(j)
}
// 7个7

for (const key in {a: 1, b: 2}) {
  console.log(key)
}
// a,b

for (const value of [1, 2, 3, 4, 5]) {
  console.log(value)
}
// 1, 2, 3, 4, 5

4. 声明风格及最佳实践

不使用 var,const 优先,let 次之。