let和const

let命令

let用法類似var，但是所聲明的變涼，只在let命令所在的代碼塊內(nèi)有效

{
    let arr = 3
    var arr0 = 9
}
console.log(arr)    //ReferenceError: arr is not defined
console.log(arr0)    //9

for循環(huán)的計(jì)數(shù)器，很適合let命令

for(let i=0; i<10; i++){
    console.log(i)
}
console.log(i)   //ReferenceError: i is not defined

另外，for循環(huán)還有一個(gè)特別之處，就是設(shè)置循環(huán)變量的那部分是一個(gè)父作用域，而循環(huán)體內(nèi)部是一個(gè)單獨(dú)的子作用域。

for (let i = 0; i < 3; i++) {
  let i = 'abc';
  console.log(i);
}
// abc
// abc
// abc

不存在變量提升

var命令會(huì)發(fā)生”變量提升“現(xiàn)象，即變量可以在聲明之前使用，值為undefined。這種現(xiàn)象多多少少是有些奇怪的，按照一般的邏輯，變量應(yīng)該在聲明語(yǔ)句之后才可以使用。

為了糾正這種現(xiàn)象，let命令改變了語(yǔ)法行為，它所聲明的變量一定要在聲明后使用，否則報(bào)錯(cuò)。

// var 的情況
console.log(foo); // 輸出undefined
var foo = 2;

// let 的情況
console.log(bar); // 報(bào)錯(cuò)ReferenceError
let bar = 2;

暫時(shí)性死區(qū)

只要塊級(jí)作用域內(nèi)存在let命令，它所聲明的變量就“綁定”（binding）這個(gè)區(qū)域，不再受外部的影響。

ES6明確規(guī)定，如果區(qū)塊中存在let和const命令，這個(gè)區(qū)塊對(duì)這些命令聲明的變量，從一開(kāi)始就形成了封閉作用域。凡是在聲明之前就使用這些變量，就會(huì)報(bào)錯(cuò)。

總之，在代碼塊內(nèi)，使用let命令聲明變量之前，該變量都是不可用的。這在語(yǔ)法上，稱為“暫時(shí)性死區(qū)”（temporal dead zone，簡(jiǎn)稱 TDZ）。

if (true) {
  // TDZ開(kāi)始
  tmp = 'abc'; // ReferenceError
  console.log(tmp); // ReferenceError

  let tmp; // TDZ結(jié)束
  console.log(tmp); // undefined

  tmp = 123;
  console.log(tmp); // 123
}

上面代碼中，在let命令聲明變量tmp之前，都屬于變量tmp的“死區(qū)”。

“暫時(shí)性死區(qū)”也意味著typeof不再是一個(gè)百分之百安全的操作。

下面的代碼也會(huì)報(bào)錯(cuò)，與var的行為不同。

// 不報(bào)錯(cuò)
var x = x;

// 報(bào)錯(cuò)
let x = x;
// ReferenceError: x is not defined

上面代碼報(bào)錯(cuò)，也是因?yàn)闀簳r(shí)性死區(qū)。使用let聲明變量時(shí)，只要變量在還沒(méi)有聲明完成前使用，就會(huì)報(bào)錯(cuò)。上面這行就屬于這個(gè)情況，在變量x的聲明語(yǔ)句還沒(méi)有執(zhí)行完成前，就去取x的值，導(dǎo)致報(bào)錯(cuò)”x 未定義“。

ES6 規(guī)定暫時(shí)性死區(qū)和let、const語(yǔ)句不出現(xiàn)變量提升，主要是為了減少運(yùn)行時(shí)錯(cuò)誤，防止在變量聲明前就使用這個(gè)變量，從而導(dǎo)致意料之外的行為。這樣的錯(cuò)誤在 ES5 是很常見(jiàn)的，現(xiàn)在有了這種規(guī)定，避免此類錯(cuò)誤就很容易了。

總之，暫時(shí)性死區(qū)的本質(zhì)就是，只要一進(jìn)入當(dāng)前作用域，所要使用的變量就已經(jīng)存在了，但是不可獲取，只有等到聲明變量的那一行代碼出現(xiàn)，才可以獲取和使用該變量。

不允許重復(fù)聲明

let不允許在相同作用域內(nèi)，重復(fù)聲明同一個(gè)變量。

// 報(bào)錯(cuò)
function func() {
  let a = 10;
  var a = 1;
}

// 報(bào)錯(cuò)
function func() {
  let a = 10;
  let a = 1;
}

ES6的塊級(jí)作用域

let實(shí)際上為 JavaScript 新增了塊級(jí)作用域。

function f1() {
  let n = 5;
  if (true) {
    let n = 10;
  }
  console.log(n); // 5
}

上面的函數(shù)有兩個(gè)代碼塊，都聲明了變量n，運(yùn)行后輸出5。這表示外層代碼塊不受內(nèi)層代碼塊的影響。如果兩次都使用var定義變量n，最后輸出的值才是10。

ES6 允許塊級(jí)作用域的任意嵌套。

{{{{{let insane = 'Hello World'}}}}};

上面代碼使用了一個(gè)五層的塊級(jí)作用域。外層作用域無(wú)法讀取內(nèi)層作用域的變量。

{{{{
  {let insane = 'Hello World'}
  console.log(insane); // 報(bào)錯(cuò)
}}}};

內(nèi)層作用域可以定義外層作用域的同名變

{{{{
  let insane = 'Hello World';
  {let insane = 'Hello World'}
}}}};

塊級(jí)作用域的出現(xiàn)，實(shí)際上使得獲得廣泛應(yīng)用的立即執(zhí)行函數(shù)表達(dá)式（IIFE）不再必要了。

// IIFE 寫(xiě)法
(function () {
  var tmp = ...;
  ...
}());

// 塊級(jí)作用域?qū)懛?{
  let tmp = ...;
  ...
}

塊級(jí)作用域與函數(shù)聲明

ES6 引入了塊級(jí)作用域，明確允許在塊級(jí)作用域之中聲明函數(shù)。ES6 規(guī)定，塊級(jí)作用域之中，函數(shù)聲明語(yǔ)句的行為類似于let，在塊級(jí)作用域之外不可引用。

function f() { console.log('I am outside!'); }

(function () {
  if (false) {
    // 重復(fù)聲明一次函數(shù)f
    function f() { console.log('I am inside!'); }
  }

  f();
}());

do表達(dá)式

本質(zhì)上，塊級(jí)作用域是一個(gè)語(yǔ)句，將多個(gè)操作封裝在一起，沒(méi)有返回值。

{
  let t = f();
  t = t * t + 1;
}

上面代碼中，塊級(jí)作用域?qū)蓚€(gè)語(yǔ)句封裝在一起。但是，在塊級(jí)作用域以外，沒(méi)有辦法得到t的值，因?yàn)閴K級(jí)作用域不返回值，除非t是全局變量。

現(xiàn)在有一個(gè)提案，使得塊級(jí)作用域可以變?yōu)楸磉_(dá)式，也就是說(shuō)可以返回值，辦法就是在塊級(jí)作用域之前加上do，使它變?yōu)閐o表達(dá)式。

let x = do {
  let t = f();
  t * t + 1;
};

上面代碼中，變量x會(huì)得到整個(gè)塊級(jí)作用域的返回值。

const命令

基本用法

const聲明一個(gè)只讀的常量。一旦聲明，常量的值就不能改變。

const arr = 3.5
arr // 3.5

arr = 4
// TypeError: Assignment to constant variable.

上面代碼表明改變常量的值會(huì)報(bào)錯(cuò)。

const聲明的變量不得改變值，這意味著，const一旦聲明變量，就必須立即初始化，不能留到以后賦值。

const foo;
// SyntaxError: Missing initializer in const declaration

上面代碼表示，對(duì)于const來(lái)說(shuō)，只聲明不賦值，就會(huì)報(bào)錯(cuò)。

const的作用域與let命令相同：只在聲明所在的塊級(jí)作用域內(nèi)有效。

if (true) {
  const MAX = 5;
}

MAX // Uncaught ReferenceError: MAX is not defined

const命令聲明的常量也是不提升，同樣存在暫時(shí)性死區(qū)，只能在聲明的位置后面使用。

if (true) {
  console.log(MAX); // ReferenceError
  const MAX = 5;
}

上面代碼在常量MAX聲明之前就調(diào)用，結(jié)果報(bào)錯(cuò)。

const聲明的常量，也與let一樣不可重復(fù)聲明。

var message = "Hello!";
let age = 25;

// 以下兩行都會(huì)報(bào)錯(cuò)
const message = "Goodbye!";
const age = 30;

本質(zhì)

const實(shí)際上保證的，并不是變量的值不得改動(dòng)，而是變量指向的那個(gè)內(nèi)存地址不得改動(dòng)。對(duì)于簡(jiǎn)單類型的數(shù)據(jù)（數(shù)值、字符串、布爾值），值就保存在變量指向的那個(gè)內(nèi)存地址，因此等同于常量。但對(duì)于復(fù)合類型的數(shù)據(jù)（主要是對(duì)象和數(shù)組），變量指向的內(nèi)存地址，保存的只是一個(gè)指針，const只能保證這個(gè)指針是固定的，至于它指向的數(shù)據(jù)結(jié)構(gòu)是不是可變的，就完全不能控制了。因此，將一個(gè)對(duì)象聲明為常量必須非常小心。

const foo = {};

// 為 foo 添加一個(gè)屬性，可以成功
foo.prop = 123;
foo.prop // 123

// 將 foo 指向另一個(gè)對(duì)象，就會(huì)報(bào)錯(cuò)
foo = {}; // TypeError: "foo" is read-only

上面代碼中，常量foo儲(chǔ)存的是一個(gè)地址，這個(gè)地址指向一個(gè)對(duì)象。不可變的只是這個(gè)地址，即不能把foo指向另一個(gè)地址，但對(duì)象本身是可變的，所以依然可以為其添加新屬性。

下面是另一個(gè)例子。

const a = [];
a.push('Hello'); // 可執(zhí)行
a.length = 0;    // 可執(zhí)行
a = ['Dave'];    // 報(bào)錯(cuò)

上面代碼中，常量a是一個(gè)數(shù)組，這個(gè)數(shù)組本身是可寫(xiě)的，但是如果將另一個(gè)數(shù)組賦值給a，就會(huì)報(bào)錯(cuò)。

如果真的想將對(duì)象凍結(jié)，應(yīng)該使用Object.freeze方法。

const foo = Object.freeze({});

// 常規(guī)模式時(shí)，下面一行不起作用；
// 嚴(yán)格模式時(shí)，該行會(huì)報(bào)錯(cuò)
foo.prop = 123;

上面代碼中，常量foo指向一個(gè)凍結(jié)的對(duì)象，所以添加新屬性不起作用，嚴(yán)格模式時(shí)還會(huì)報(bào)錯(cuò)。

除了將對(duì)象本身凍結(jié)，對(duì)象的屬性也應(yīng)該凍結(jié)。下面是一個(gè)將對(duì)象徹底凍結(jié)的函數(shù)。

var constantize = (obj) => {
  Object.freeze(obj);
  Object.keys(obj).forEach( (key, i) => {
    if ( typeof obj[key] === 'object' ) {
      constantize( obj[key] );
    }
  });
};