ES6（1）-let與解構賦值

ES6入門地址

ECMAScript 6 入門-阮一峯

前言：這裏只挑選一些ES6的特性講解，並不所有講解，有興趣的能夠繼續觀看上面連接繼續學習。

1.let 與 const

首先講一下 let 和咱們以前 var 的區別

1.1 不存在變量提高

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

// let 的狀況
console.log(bar); // 報錯ReferenceError
let bar = 2;

1.2 暫時性死區

var tmp = 123;

if (true) {
  tmp = 'abc'; // ReferenceError
  let tmp;
}

上面代碼中，存在全局變量tmp，可是塊級做用域內let又聲明瞭一個局部變量tmp，致使後者綁定這個塊級做用域，因此在let聲明變量前，對tmp賦值會報錯。

ES6明確規定，若是區塊中存在let和const命令，這個區塊對這些命令聲明的變量，從一開始就造成了封閉做用域。凡是在聲明以前就使用這些變量，就會報錯。

總之，在代碼塊內，使用let命令聲明變量以前，該變量都是不可用的。這在語法上，稱爲「暫時性死區」（temporal dead zone，簡稱 TDZ）。

1.3 不可重複聲明

// 報錯
function () {
  let a = 10;
  var a = 1;
}

// 報錯
function () {
  let a = 10;
  let a = 1;
}

1.4 塊級做用域

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

題外話： 咱們常說在ES6以前沒有JavaScript沒有塊級做用域，其實這種說法並不正確。下面舉個例子

try {
    throw 2;
} catch(a) {
    console.log(a); //2
}
console.log(a);

在ES6環境以前，咱們其實能夠經過try/catch的方法來實現塊級做用域，但相信沒人會寫這麼醜陋的代碼，但咱們能夠經過工具來實現讓瀏覽器兼容ES6的代碼。

1.5 const聲明

const聲明一個只讀的常量。一旦聲明，常量的值就不能改變。同時const具備 let 的許多特性：不可重複聲明、不變量提高、暫時性死區、塊級做用域。

由於const聲明的變量不得改變值，這意味着，const一旦聲明變量，就必須當即初始化，不能留到之後賦值。

本質： const實際上保證的，並非變量的值不得改動，而是變量指向的那個內存地址不得改動。對於簡單類型的數據（數值、字符串、布爾值），值就保存在變量指向的那個內存地址，所以等同於常量。但對於複合類型的數據（主要是對象和數組），變量指向的內存地址，保存的只是一個指針，const只能保證這個指針是固定的，至於它指向的數據結構是否是可變的，就徹底不能控制了。所以，將一個對象聲明爲常量必須很是當心。

const foo = {};

// 爲 foo 添加一個屬性，能夠成功
foo.prop = 123;
foo.prop // 123

// 將 foo 指向另外一個對象，就會報錯
foo = {}; // TypeError: "foo" is read-only

2.變量的解構賦值

ES6 容許按照必定模式，從數組和對象中提取值，對變量進行賦值，這被稱爲解構（Destructuring）。
解構賦值是ES6一個亮點，和咱們以前的變量賦值有很大的不一樣。這裏能夠分爲幾個部分來介紹這部分的改動。

2.1 數組的解構賦值

之前，爲變量賦值，只能直接指定值。

let a = 1;
let b = 2;
let c = 3;

ES6 容許寫成下面這樣。

let [a, b, c] = [1, 2, 3];

上面代碼表示，能夠從數組中提取值，按照對應位置，對變量賦值。

本質上，這種寫法屬於「模式匹配」，只要等號兩邊的模式相同，左邊的變量就會被賦予對應的值。下面是一些使用嵌套數組進行解構的例子。

let [foo, [[bar], baz]] = [1, [[2], 3]];
foo // 1
bar // 2
baz // 3

let [ , , third] = ["foo", "bar", "baz"];
third // "baz"

let [x, , y] = [1, 2, 3];
x // 1
y // 3

let [head, ...tail] = [1, 2, 3, 4];
head // 1
tail // [2, 3, 4]

let [x, y, ...z] = ['a'];
x // "a"
y // undefined
z // []

若是解構不成功，變量的值就等於undefined。

let [foo] = [];
let [bar, foo] = [1];

以上兩種狀況都屬於解構不成功，foo的值都會等於`undefined。

另外一種狀況是不徹底解構，即等號左邊的模式，只匹配一部分的等號右邊的數組。這種狀況下，解構依然能夠成功。

let [x, y] = [1, 2, 3];
x // 1
y // 2

let [a, [b], d] = [1, [2, 3], 4];
a // 1
b // 2
d // 4

上面兩個例子，都屬於不徹底解構，可是能夠成功。

若是等號的右邊不是數組（或者嚴格地說，不是可遍歷的結構），那麼將會報錯。

// 報錯
let [foo] = 1;
let [foo] = false;
let [foo] = NaN;
let [foo] = undefined;
let [foo] = null;
let [foo] = {};

上面的語句都會報錯，由於等號右邊的值，不可遍歷。

---

解構賦值容許指定默認值。

let [foo = true] = [];
foo // true

let [x, y = 'b'] = ['a']; // x='a', y='b'
let [x, y = 'b'] = ['a', undefined]; // x='a', y='b'

注意，ES6 內部使用嚴格相等運算符（===），判斷一個位置是否有值。因此，若是一個數組成員不嚴格等於undefined，默認值是不會生效的。

let [x = 1] = [undefined];
x // 1

let [x = 1] = [null];
x // null

上面代碼中，若是一個數組成員是null，默認值就不會生效，由於null不嚴格等於undefined。

默認值能夠引用解構賦值的其餘變量，但該變量必須已經聲明。

let [x = 1, y = x] = [];     // x=1; y=1
let [x = 1, y = x] = [2];    // x=2; y=2
let [x = 1, y = x] = [1, 2]; // x=1; y=2
let [x = y, y = 1] = [];     // ReferenceError

上面最後一個表達式之因此會報錯，是由於x用到默認值y時，y尚未聲明。

2.2 對象的解構賦值

解構不只能夠用於數組，還能夠用於對象。

let { foo, bar } = { foo: "aaa", bar: "bbb" };
foo // "aaa"
bar // "bbb"

對象的解構與數組有一個重要的不一樣。數組的元素是按次序排列的，變量的取值由它的位置決定；而對象的屬性沒有次序，變量必須與屬性同名，才能取到正確的值。

let { bar, foo } = { foo: "aaa", bar: "bbb" };
foo // "aaa"
bar // "bbb"

let { baz } = { foo: "aaa", bar: "bbb" };
baz // undefined

上面代碼的第一個例子，等號左邊的兩個變量的次序，與等號右邊兩個同名屬性的次序不一致，可是對取值徹底沒有影響。第二個例子的變量沒有對應的同名屬性，致使取不到值，最後等於undefined。

若是變量名與屬性名不一致，必須寫成下面這樣。

var { foo: baz } = { foo: 'aaa', bar: 'bbb' };
baz // "aaa"

let obj = { first: 'hello', last: 'world' };
let { first: f, last: l } = obj;
f // 'hello'
l // 'world'

這實際上說明，對象的解構賦值是下面形式的簡寫（參見《對象的擴展》一章）。

let { foo: foo, bar: bar } = { foo: "aaa", bar: "bbb" };

也就是說，對象的解構賦值的內部機制，是先找到同名屬性，而後再賦給對應的變量。真正被賦值的是後者，而不是前者。

let { foo: baz } = { foo: "aaa", bar: "bbb" };
baz // "aaa"
foo // error: foo is not defined

上面代碼中，foo是匹配的模式，baz纔是變量。真正被賦值的是變量baz，而不是模式foo。

---

對象的解構也能夠指定默認值。

var {x = 3} = {};
x // 3

var {x, y = 5} = {x: 1};
x // 1
y // 5

var {x: y = 3} = {};
y // 3

var {x: y = 3} = {x: 5};
y // 5

var { message: msg = 'Something went wrong' } = {};
msg // "Something went wrong"

默認值生效的條件是，和上面數組的默認值條件同樣，要求對象的屬性值嚴格等於undefined。

var {x = 3} = {x: undefined};
x // 3

var {x = 3} = {x: null};
x // null

若是解構失敗，變量的值等於undefined。

let {foo} = {bar: 'baz'};
foo // undefined

若是解構模式是嵌套的對象，並且子對象所在的父屬性不存在，那麼將會報錯。

// 報錯
let {foo: {bar}} = {baz: 'baz'};

上面代碼中，等號左邊對象的foo屬性，對應一個子對象。該子對象的bar屬性，解構時會報錯。緣由很簡單，由於foo這時等於undefined，再取子屬性就會報錯，請看下面的代碼。

對象的解構賦值，能夠很方便地將現有對象的方法，賦值到某個變量。

let { log, sin, cos } = Math;

上面代碼將Math對象的對數、正弦、餘弦三個方法，賦值到對應的變量上，使用起來就會方便不少。

2.3 字符串的解構賦值

字符串也能夠解構賦值。這是由於此時，字符串被轉換成了一個相似數組的對象。

const [a, b, c, d, e] = 'hello';
a // "h"
b // "e"
c // "l"
d // "l"
e // "o"

相似數組的對象都有一個length屬性，所以還能夠對這個屬性解構賦值。

let {length : len} = 'hello';
len // 5

2.4 數值和布爾值的解構賦值

解構賦值時，若是等號右邊是數值和布爾值，則會先轉爲對象。

let {toString: s} = 123;
s === Number.prototype.toString // true

let {toString: s} = true;
s === Boolean.prototype.toString // true

上面代碼中，數值和布爾值的包裝對象都有toString屬性，所以變量s都能取到值。

解構賦值的規則是，只要等號右邊的值不是對象或數組，就先將其轉爲對象。因爲undefined和null沒法轉爲對象，因此對它們進行解構賦值，都會報錯。

let { prop: x } = undefined; // TypeError
let { prop: y } = null; // TypeError

2.5 函數參數的解構賦值

函數的參數也可使用解構賦值。

function add([x, y]){
  return x + y;
}

add([1, 2]); // 3

上面代碼中，函數add的參數表面上是一個數組，但在傳入參數的那一刻，數組參數就被解構成變量x和y。對於函數內部的代碼來講，它們能感覺到的參數就是x和y。

2.6 解構賦值的注意事項

解構賦值雖然很方便，可是解析起來並不容易。對於編譯器來講，一個式子究竟是模式，仍是表達式，沒有辦法從一開始就知道，必須解析到（或解析不到）等號才能知道。

2.7 用途

雖然對於編譯器來講解構賦值並不容易，但在一些狀況下仍是很是有用。

交換變量的值

let x = 1;
let y = 2;

[x, y] = [y, x];

從函數返回多個值

// 返回一個數組
function example() {
  return [1, 2, 3];
}
let [a, b, c] = example();

// 返回一個對象
function example() {
  return {
    foo: 1,
    bar: 2
  };
}
let { foo, bar } = example();

提取JSON數據

let jsonData = {
  id: 42,
  status: "OK",
  data: [867, 5309]
};

let { id, status, data: number } = jsonData;

console.log(id, status, number);
// 42, "OK", [867, 5309]