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

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循环一样可以使用。

再来看看下面这个栗子：

<ul>
    <li>0</li>
    <li>1</li>
    <li>2</li>
    <li>3</li>
</ul>

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命令，这个区块对这些命令声明的变量，从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量，就会报错。所以在代码块内，使用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 声明的全局变量依旧作为全局对象的属性，使用 let, const 命令声明的全局变量不属于全局对象的属性。

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