数组的解构赋值

基本用法

ES6 允许按照一定模式，从数组和对象中提取值，对变量进行赋值，这被称为解构（Destructuring）。

以前，为变量赋值，只能直接指定值。

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

ES6 允许写成下面这样。

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

上面代码表示，可以从数组中提取值，按照对应位置，对变量赋值。

本质上，这种写法属于“模式匹配”，只要等号两边的模式相同，左边的变量就会被赋予对应的值。下面是一些使用嵌套数组进行解构的例子。

  1. let [foo, [[bar], baz]] = [1, [[2], 3]];
  2. foo // 1
  3. bar // 2
  4. baz // 3
  6. let [ , , third] = ["foo", "bar", "baz"];
  7. third // "baz"
  9. let [x, , y] = [1, 2, 3];
  10. x // 1
  11. y // 3
  13. let [head, ...tail] = [1, 2, 3, 4];
  14. head // 1
  15. tail // [2, 3, 4]
  17. let [x, y, ...z] = ['a'];
  18. x // "a"
  19. y // undefined
  20. z // []

如果解构不成功，变量的值就等于undefined。

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

以上两种情况都属于解构不成功，foo的值都会等于undefined。

另一种情况是不完全解构，即等号左边的模式，只匹配一部分的等号右边的数组。这种情况下，解构依然可以成功。

  1. let [x, y] = [1, 2, 3];
  2. x // 1
  3. y // 2
  5. let [a, [b], d] = [1, [2, 3], 4];
  6. a // 1
  7. b // 2
  8. d // 4

上面两个例子，都属于不完全解构，但是可以成功。

如果等号的右边不是数组（或者严格地说，不是可遍历的结构，参见《Iterator》一章），那么将会报错。

  1. // 报错
  2. let [foo] = 1;
  3. let [foo] = false;
  4. let [foo] = NaN;
  5. let [foo] = undefined;
  6. let [foo] = null;
  7. let [foo] = {};

上面的语句都会报错，因为等号右边的值，要么转为对象以后不具备 Iterator 接口（前五个表达式），要么本身就不具备 Iterator 接口（最后一个表达式）。

对于 Set 结构，也可以使用数组的解构赋值。

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

事实上，只要某种数据结构具有 Iterator 接口，都可以采用数组形式的解构赋值。

  1. function* fibs() {
  2.   let a = 0;
  3.   let b = 1;
  4.   while (true) {
  5.     yield a;
  6.     [a, b] = [b, a + b];
  7.   }
  8. }
  10. let [first, second, third, fourth, fifth, sixth] = fibs();
  11. sixth // 5

上面代码中，fibs是一个 Generator 函数（参见《Generator 函数》一章），原生具有 Iterator 接口。解构赋值会依次从这个接口获取值。

默认值

解构赋值允许指定默认值。

  1. let [foo = true] = [];
  2. foo // true
  4. let [x, y = 'b'] = ['a']; // x='a', y='b'
  5. let [x, y = 'b'] = ['a', undefined]; // x='a', y='b'

注意，ES6 内部使用严格相等运算符（===），判断一个位置是否有值。所以，只有当一个数组成员严格等于undefined，默认值才会生效。

  1. let [x = 1] = [undefined];
  2. x // 1
  4. let [x = 1] = [null];
  5. x // null

上面代码中，如果一个数组成员是null，默认值就不会生效，因为null不严格等于undefined。

如果默认值是一个表达式，那么这个表达式是惰性求值的，即只有在用到的时候，才会求值。

  1. function f() {
  2.   console.log('aaa');
  3. }
  5. let [x = f()] = [1];

上面代码中，因为x能取到值，所以函数f根本不会执行。上面的代码其实等价于下面的代码。

  1. let x;
  2. if ([1][0] === undefined) {
  3.   x = f();
  4. } else {
  5.   x = [1][0];
  6. }

默认值可以引用解构赋值的其他变量，但该变量必须已经声明。

  1. let [x = 1, y = x] = [];     // x=1; y=1
  2. let [x = 1, y = x] = [2];    // x=2; y=2
  3. let [x = 1, y = x] = [1, 2]; // x=1; y=2
  4. let [x = y, y = 1] = [];     // ReferenceError: y is not defined

上面最后一个表达式之所以会报错，是因为x用y做默认值时，y还没有声明。