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

Posted 李某龙

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了let和const----你所不知道的JavaScript系列相关的知识,希望对你有一定的参考价值。

let

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

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

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); //11 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);  // 71
  }
  console.log(x);  // 71
}

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

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

 

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

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

console.log(a);  //1
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命令声明变量之前,该变量都是不可用的。这在语法上,称为“暂时性死区”(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 ); // 3
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 ); //3

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); //3

 

 

总结:

块级作用域的出现,让广泛使用的 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

以上是关于let和const----你所不知道的JavaScript系列的主要内容,如果未能解决你的问题,请参考以下文章

c++师傅领进门,修行靠个人第四篇:你所不知道的那些默认成员函数

你所不知道的C和C++运行库

你所不知道的 ChaosBlade 那些事

LHS 和 RHS----你所不知道的JavaScript系列

你所不知道的C和C++运行库

你所不知道的良心网站第二弹