1、let与const
ES2015(ES6) 新增加了两个重要的 JavaScript 关键字: let 和 const。
let 声明的变量只在 let 命令所在的代码块内有效,const 声明一个只读的常量,一旦声明,常量的值就不能改变。
1.1、let命令
let命令有以下特点:
(1)代码块内有效
ES2015(ES6) 新增加了两个重要的 JavaScript 关键字: let 和 const。let 声明的变量只在 let 命令所在的代码块内有效,const 声明一个只读的常量,一旦声明,常量的值就不能改变。
1 { 2 let a = 1; 3 var b = 2; 4 console.log(a);//输出1 5 console.log(b);//输出2 6 } 7 console.log(a);//报错 ReferenceError: a is not defined 8 console.log(b);//输出2
(2)不能重复声明
let 只能声明一次 var 可以声明多次:
1 let a = 1; 2 let a = 2;//报错 Identifier 'a' has already been declared 3 var b = 3; 4 var b = 4; 5 console.log(a); 6 console.log(b);//输出4
for 循环计数器很适合用 let
1 for (var i = 0; i < 10; i++) { 2 setTimeout(function(){ 3 console.log(i); 4 }) 5 } 6 // 输出十个 10 7 for (let j = 0; j < 10; j++) { 8 setTimeout(function(){ 9 console.log(j); 10 }) 11 } 12 // 输出 0123456789
变量 i 是用 var 声明的,在全局范围内有效,所以全局中只有一个变量 i, 每次循环时,setTimeout 定时器里面的 i 指的是全局变量 i ,而循环里的十个 setTimeout 是在循环结束后才执行,所以此时的 i 都是 10。
变量 j 是用 let 声明的,当前的 j 只在本轮循环中有效,每次循环的 j 其实都是一个新的变量,所以 setTimeout 定时器里面的 j 其实是不同的变量,即最后输出 12345。(若每次循环的变量 j 都是重新声明的,如何知道前一个循环的值?这是因为 JavaScript 引擎内部会记住前一个循环的值)。
(3)不存在变量提升
let 不存在变量提升,var 会变量提升:
1 console.log(a); //ReferenceError: a is not defined 2 let a = "apple"; 3 4 console.log(b); //undefined 5 var b = "banana";
变量 b 用 var 声明存在变量提升,所以当脚本开始运行的时候,b 已经存在了,但是还没有赋值,所以会输出 undefined。变量 a 用 let 声明不存在变量提升,在声明变量 a 之前,a 不存在,所以会报错。
(4)暂时性死区
只要块级作用域内存在let命令,它所声明的变量就“绑定”(binding)这个区域,不再受外部的影响。
1 var tmp = 123; 2 3 if (true) { 4 tmp = 'abc'; // ReferenceError 5 let tmp; 6 }
上面代码中,存在全局变量tmp,但是块级作用域内let又声明了一个局部变量tmp,导致后者绑定这个块级作用域,所以在let声明变量前,对tmp赋值会报错。
ES6 明确规定,如果区块中存在let和const命令,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量,就会报错。
总之,在代码块内,使用let命令声明变量之前,该变量都是不可用的。这在语法上,称为“暂时性死区”(temporal dead zone,简称 TDZ)。
1 if (true) { 2 // TDZ开始 3 tmp = 'abc'; // ReferenceError 4 console.log(tmp); // ReferenceError 5 6 let tmp; // TDZ结束 7 console.log(tmp); // undefined 8 9 tmp = 123; 10 console.log(tmp); // 123 11 }
上面代码中,在let命令声明变量tmp之前,都属于变量tmp的“死区”。
“暂时性死区”也意味着typeof不再是一个百分之百安全的操作。
1 typeof x; // ReferenceError 2 let x;
另外,下面的代码也会报错,与var的行为不同。
1 // 不报错 2 var x = x; 3 4 // 报错 5 let x = x; 6 // ReferenceError: x is not defined
上面代码报错,也是因为暂时性死区。使用let声明变量时,只要变量在还没有声明完成前使用,就会报错。上面这行就属于这个情况,在变量x的声明语句还没有执行完成前,就去取x的值,导致报错”x 未定义“。
ES6 规定暂时性死区和let、const语句不出现变量提升,主要是为了减少运行时错误,防止在变量声明前就使用这个变量,从而导致意料之外的行为。这样的错误在 ES5 是很常见的,现在有了这种规定,避免此类错误就很容易了。
总之,暂时性死区的本质就是,只要一进入当前作用域,所要使用的变量就已经存在了,但是不可获取,只有等到声明变量的那一行代码出现,才可以获取和使用该变量。
1.2、const命令
const 声明一个只读变量,声明之后不允许改变。意味着,一旦声明必须初始化,否则会报错。
基本用法:
1 const PI = "3.1415926"; 2 PI // 3.1415926 3 4 const MY_AGE; // 报错 SyntaxError: Missing initializer in const declaration
const声明的变量不得改变值,这意味着,const一旦声明变量,就必须立即初始化,不能留到以后赋值。
1 const foo; 2 // 报错 SyntaxError: Missing initializer in const declaration
上面代码表示,对于const来说,只声明不赋值,就会报错。const的作用域与let命令相同:只在声明所在的块级作用域内有效。
1 if (true) { 2 const MAX = 5; 3 } 4 5 MAX // Uncaught ReferenceError: MAX is not defined
const命令声明的常量也是不提升,同样存在暂时性死区,只能在声明的位置后面使用。
1 if (true) { 2 console.log(MAX); // ReferenceError 3 const MAX = 5; 4 }
上面代码在常量MAX声明之前就调用,结果报错。const声明的常量,也与let一样不可重复声明。
1 var message = "Hello!"; 2 let age = 25; 3 4 // 以下两行都会报错 5 const message = "Goodbye!"; 6 const age = 30;
暂时性死区:
1 var PI = "a"; 2 if(true){ 3 console.log(PI); //报错 ReferenceError: PI is not defined 4 const PI = "3.1415926"; 5 }
ES6 明确规定,代码块内如果存在 let 或者 const,代码块会对这些命令声明的变量从块的开始就形成一个封闭作用域。代码块内,在声明变量 PI 之前使用它会报错。
注意要点
const 如何做到变量在声明初始化之后不允许改变的?其实 const 其实保证的不是变量的值不变,而是保证变量指向的内存地址所保存的数据不允许改动。此时,你可能已经想到,简单类型和复合类型保存值的方式是不同的。是的,对于简单类型(数值 number、字符串 string 、布尔值 boolean),值就保存在变量指向的那个内存地址,因此 const 声明的简单类型变量等同于常量。而复杂类型(对象 object,数组 array,函数 function),变量指向的内存地址其实是保存了一个指向实际数据的指针,所以 const 只能保证指针是固定的,至于指针指向的数据结构变不变就无法控制了,所以使用 const 声明复杂类型对象时要慎重。