變量的結構賦值

ES6允許按照一定模式，從數組和對象中提取值，對變量進行賦值，這被稱為解耦；

 

 

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

 

如果等號的右邊不是數組（或者嚴格地說，不是可遍歷的結構，參見《Iterator》一章），那么將會報錯。

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

上面的語句都會報錯，因為等號右邊的值，要么轉為對象以后不具備 Iterator 接口（前五個表達式），要么本身就不具備 Iterator 接口（最后一個表達式）。

對於 Set 結構，也可以使用數組的解構賦值。

let [x, y, z] = new Set(['a', 'b', 'c']);
x // "a"

事實上，只要某種數據結構具有 Iterator 接口，都可以采用數組形式的解構賦值。

 

默認值 

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

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。

如果默認值是一個表達式，那么這個表達式是惰性求值的，即只有在用到的時候，才會求值。

function f() {
  console.log('aaa');
}

let [x = f()] = [1];

 

上面代碼中，因為x能取到值，所以函數f根本不會執行。上面的代碼其實等價於下面的代碼。

let x;
if ([1][0] === undefined) {
  x = f();
} else {
  x = [1][0];
}

 

默認值可以引用解構賦值的其他變量，但該變量必須已經聲明。

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還沒有聲明。

對象的解構賦值

解構不僅可以用於數組，還可以用於對象。

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

對象的解構與數組有一個重要的不同。

數組的元素是按次序排列的，

變量的取值由它的位置決定；而對象的屬性沒有次序，變量必須與屬性同名，才能取到正確的值。

 

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

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;
({foo} = {foo: 1}); // 成功

let baz;
({bar: baz} = {bar: 1}); // 成功

 

上面代碼中，let命令下面一行的圓括號是必須的，否則會報錯。因為解析器會將起首的大括號，理解成一個代碼塊，而不是賦值語句。

 

和數組一樣，解構也可以用於嵌套結構的對象。

let obj = {
  p: [
    'Hello',
    { y: 'World' }
  ]
};

let { p: [x, { y }] } = obj;
x // "Hello"
y // "World"

注意，這時p是模式，不是變量，因此不會被賦值。

var node = {
  loc: {
    start: {
      line: 1,
      column: 5
    }
  }
};

var { loc: { start: { line }} } = node;
line // 1
loc  // error: loc is undefined
start // error: start is undefined

上面代碼中，只有line是變量，loc和start都是模式，不會被賦值。

 

由於數組本質是特殊的對象，因此可以對數組進行對象屬性的解構。

let arr = [1, 2, 3];
let {0 : first, [arr.length - 1] : last} = arr;
first // 1
last // 3

上面代碼對數組進行對象解構。數組arr的0鍵對應的值是1，[arr.length - 1]就是2鍵，對應的值是3。方括號這種寫法，屬於“屬性名表達式”，參見《對象的擴展》一章。

對象的屬性名對應數組的下標

函數參數的解構賦值

 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