变量的结构赋值

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

1、以前，

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

 ES6

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

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

本质上，这种写法属于“模式匹配”,只要等号两边的模式相同，左边的变量就会被赋予对应的值。

2、下面是一些使用嵌套数组进行解构的例子。

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

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

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

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

4、并不是所有情况都可以解构，

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

 上边的语句都会报错，因为等号右边的值，转为以后不具备Iterator接口。事实上，只要某种数据结构具有Iterator接口，都可以采用数组形式的解构赋值。

function* fibs() {
   let a = 0;
   let b =1;
   while(true){
      yield a;
      [a, b] = [b,a+b];
   }
}

let [first ,  second, thiird, fourth, fifth, sixth ] = fibs();

 上边代码中，fibs是一个Generator函数，原生具有Iterator接口，解构赋值会依次这个接口获取值。

6、解构赋值允许指定默认值

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

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

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

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

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

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

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

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: y is not defined

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

 9、解构不仅可以用于数组，还可以用于对象、

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

 10、对象的解构与数组有一个重要的不同，数组的元素是按次序排列的，变量的取值由它的位置而决定；而对象的属性没有次序，变量必须与属性同名，才能取到正确的值。

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

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

上边代码的第一个例子中，等号左边的两个变量的次序，与等号右边两个同名属性的次序不一致，但是对取值完全没有影响。第二个例子的变量没有对应的同名属性，导致取值取不到，最后等于undefined。

如果解构失败，变量的值等于undefined。

11、对象的解构赋值，可以很方便地将现有对象的方法，赋值到某个变量。

// 例一
let { log, sin, cos } = Math;

// 例二
const { log } = console;
log('hello') // hello

12、

let { 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' };

也就是说，对象的解构赋值的内部机制，是先找到同名属性，然后再赋值给对应的变量，真正被赋值的是后者，而不是前者。foo是匹配的模式，baz才是变量，真正被赋值的是变量baz， 而不是模式foo。

13、与数组一样，解构也可以用于嵌套结构的对象。

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

let { p: [x, { y }] } = obj;

x // "Hello"
y // "World"

 注意：这时 p 是模式， 不是变量， 因此不会被赋值。 如果p也要作为变量赋值，可以写成下面这样

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

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

 下面代码有三次解构赋值，分别是对loc、start、line三个属性的解构赋值。注意，最后一次对line属性的解构赋值之中，只有line是变量， loc 和 start都是模式，不是变量。 

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

let { loc, loc: { start }, loc: { start: { line }} } = node;
line // 1
loc  // Object {start: Object}
start // Object {line: 1, column: 5}

体会下对象的模式匹配的概念

let obj = {};
let arr = [];

({ foo: obj.prop, bar: arr[0] } = { foo: 123, bar: true });

obj // {prop:123}
arr // [true]

14、由于数组本质是特殊的对象，因此可以对数组进行对象属性的解构

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，方括号这种写法属于“属性名表达式”

与数组一样，解构也可以用于嵌套结构的对象。

15、解构赋值时，如果等号右边是数值和布尔值，则会先转为对象。

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

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

上边代码中，数值和布尔值的包装对象都有toString属性，因此变量s都能取到值。解构赋值的规则是，只要等号右边的值不是对象或数组，就先将其转为对象。由于undefined 和 null 无法转化为对象，所以对它们进行解构赋值，都会报错。

16、函数参数的解构赋值

function move({x = 0, y = 0} = {}) {
  return [x, y];
}

move({x: 3, y: 8}); // [3, 8]
move({x: 3}); // [3, 0]
move({});  // [0, 0]
move();  // [0, 0]

上边代码中，函数move的参数是一个对象，通过对这个对象进行解构，得到变量 x和y的值，如果解构失败，x 和 y 等于默认值。