let和const----你所不知道的JavaScript系列(2)

时间:2022-02-16 01:12:18

let

众所周知,在ES6之前,声明变量的关键字就只有var。var 声明变量要么是全局的,要么是函数级的,而无法是块级的。

var a=1;
console.log(a); //
console.log(window.a); //

function test(){
  var b=2;
  function print(){
    console.log(a,b);
  }
print();
}
test(); //1 2
console.log(b); //Uncaught ReferenceError: b is not defined

for(var i=0;i<=10;i++){
var sum=0;
sum+=i;
}
console.log(i); //
console.log(sum); //10 声明在for循环内部的i和sum,跳出for循环一样可以使用。

再来看看下面这个栗子:

HTML:
<ul>
<li>0</li>
<li>1</li>
<li>2</li>
<li>3</li>
</ul>
JS:
window.onload = function(){
var aLi = document.getElementsByTagName('li');
for (var i=0;i<aLi.length;i++){
aLi[i].onclick = function(){
alert(i);
};
}

这是一道很经典的笔试题,也是很多初学者经常犯错而且找不到原因的一段代码。想要实现的效果是点击不同的<li>标签,alert出其对应的索引值,但是实际上代码运行之后,我们会发现不管点击哪一个<li>标签,alert出的i都为4。因为在执行for循环之后,i的值已经变成了4,等到点击<li>标签时,alert的i值是4。在ES6之前,大部分人会选择使用闭包来解决这个问题,今天我们使用ES6提供的let来解决这个问题。接下来就看看let的神奇吧。

window.onload = function(){
var aLi = document.getElementsByTagName('li');
for (let i=0;i<aLi.length;i++){
aLi[i].onclick = function(){
alert(i);
}
};
}

有看出什么区别吗?奥秘就在for循环中var i=0变成了let i=0,我们仅仅只改了一个关键字就解决了这个问题,还避免了使用闭包可能造成的内存泄漏等问题。

上述代码中的for 循环头部的 let 不仅将 i 绑定到了 for 循环的块中, 事实上它将其重新绑定到了循环的每一个迭代中, 确保使用上一个循环迭代结束时的值重新进行赋值。

后面就让我们好好来了解一下let这个神奇的关键字吧。

let 关键字可以将变量绑定到所在的任意作用域中(通常是 { .. } 内部)。换句话说,let为其声明的变量隐式地了所在的块作用域。  ----《你所不知道的JavaScript(上)》P32

上述代码,可以通过另一种方式来说明每次迭代时进行重新绑定的行为:

window.onload = function(){
var aLi = document.getElementsByTagName('li');
for (let i=0;i<aLi.length;i++){
let j = i;
aLi[j].onclick = function(){
alert(j);
}
};
}

在这里还有个点要说明的,就是 for循环还有一个特别之处,就是循环语句部分是一个父作用域,而循环体内部是一个单独的子作用域。

这就很好理解上面这段代码的意思了。每次循环体执行的时候,let声明的变量 j 会从父作用域(循环语句块)取值保存到自己的块级作用域内,由于块级作用域内的变量不受外部干扰,所以每次循环体生成的块级作用域相互独立,各自保存着各自的 j 值。


来看一下 let 和 var 的一些异同吧。

1、函数作用域 vs 块级作用域

function varTest() {
var x = 31;
if (true) {
var x = 71; // same variable!
console.log(x); //
}
console.log(x); //
} function letTest() {
let x = 31;
if (true) {
let x = 71; // different variable
console.log(x); //
}
console.log(x); //
}

可以看出在letTest函数的 if 判断中重新声明的x并不会影响到 if 代码块之外的代码,而varTest函数中用var声明的却会。这是因为let声明的变量只在代码块(通常是{ }所形成的代码块)中有效。

2、变量提升 vs 暂时性死区

我们都知道,var声明的变量会有变量提升的作用,如下

console.log(a);  //
var a=1; console.log(b); //undefined
var b;

可以看出,虽然代码中console调用a在前,声明a在后,但是由于在js中,函数及变量的声明都将被提升到函数的最顶部,也就是说(var声明的)变量可以先使用再声明。

然后,使用let,const(后面会提及)声明的变量却不存在变量提升。

console.log(foo); // Uncaught ReferenceError: foo is not defined
let foo = 2; console.log(foo1); // Uncaught ReferenceError: foo1 is not defined
let foo1;

ES6明确规定,如果区块中存在let命令,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量,就会报错。所以在代码块内,使用let命令声明变量之前,该变量都是不可用的。这在语法上,称为“暂时性死区”(temporal dead zone,简称 TDZ)。

总之,暂时性死区的本质就是,只要一进入当前作用域,所要使用的变量就已经存在了,但是不可获取,只有等到声明变量的那一行代码出现,才可以获取和使用该变量。

注:“暂时性死区”也意味着typeof不再是一个百分之百安全的操作,因为会使typeof报错。

3、let不允许重复声明

if (true) {
let aa;
let aa; // Uncaught SyntaxError: Identifier 'aa' has already been declared
} if (true) {
var _aa;
let _aa; // Uncaught SyntaxError: Identifier '_aa' has already been declared
} if (true) {
let aa_;
var aa_; // Uncaught SyntaxError: Identifier 'aa_' has already been declared
}

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

4、全局变量 vs 全局对象的属性

ES5中全局对象的属性与全局变量基本是等价的,但是也有区别,比如通过var声明的全局变量不能使用delete从 window/global ( global是针对与node环境)上删除,不过在变量的访问上基本等价。

ES6 中做了严格的区分,使用 var 和 function 声明的全局变量依旧作为全局对象的属性,使用 letconst 命令声明的全局变量不属于全局对象的属性。

let let_test = 'test';
console.log(window.let_test); // undefined
console.log(this.let_test); // undefined var var_test = 'test';
console.log(window.var_test); // test
console.log(this.var_test); // test

const

除了let以外,ES6还引入了const,同样可以用来创建块作用域变量,但其值是固定的(常量)。使用const声明变量的时候,必须同时赋值,否则会报错。并且之后任何试图修改值的操作都会引起错误.

const data;  //Uncaught SyntaxError: Missing initializer in const declaration
if (true) {
var a = 2;
const b = 3; // 包含在 if 中的块作用域常量
a = 3; // 正常 !
b = 4; // Uncaught TypeError: Assignment to constant variable.
}
console.log( a ); //
console.log( b ); // Uncaught ReferenceError: b is not defined

注:复合类型const变量保存的是引用。因为复合类型的常量不指向数据,而是指向数据(heap)所在的地址(stack),所以通过 const 声明的复合类型只能保证其地址引用不变,但不能保证其数据不变。

const arr= [1, 2];

// 修改数据而不修改引用地址,正确执行
arr.push(3); // [1, 2, 3] // 修改 arr 常量所保存的地址的值,报错
arr = []; // Uncaught TypeError: Assignment to constant variable.

简单的使用const无法完成对象的冻结。可以通过Object.freeze()方法实现对对象的冻结。使用Object.freeze()方法返回的对象将不能对其属性进行配置(definedProperty()不可用)同时不能添加新的属性和移除(remove)已有属性。彻底冻结对象时需要递归的对它的对象属性进行冻结。

let obj = {
a: 1,
b: {
b1: 2
}
}; obj.b.b1 = 3;
console.log(obj.b.b1 ); // function freeze(obj){
Object.freeze(obj);
Object.values(obj).forEach(function (value,index) {
if(typeof value === 'object'){
freeze(value);
}
})
} freeze(obj); obj.b.b1 = 4;
console.log(obj.b.b1); //

总结:

块级作用域的出现,让广泛使用的 IIFE (立即执行匿名函数)不再必要。

// 匿名函数写法
(function () {
var jQuery = function() {};
// ...
window.$ = jQuery
})(); // 块级作用域写法
{
let jQuery = function() {};
// ...
window.$ = jQuery;
}

附:在ES6之前,关键字with和关键字try/catch都会创建相关的块级作用域。关键字with已经不推荐使用了,我们在这里就不多描述。在ES3规范中规定try/catch的catch分句会创建一个块作用域,其中声明的变量仅在catch内部有效。

try {
undefined(); // 执行一个非法操作来强制制造一个异常
}
catch (err) {
console.log( err ); // 能够正常执行!
}
console.log( err ); // Uncaught ReferenceError: err is not defined