ES6 中的模式匹配和默认参数

ES6 中，引入了其他很多语言都具备的模式匹配和默认参数语法糖，使得代码简洁了不少。但是使用的时候还是有些细节需要注意。

模式匹配原理

模式匹配的种类

具体来说，有三种类型的模式匹配：

直接赋值
```
let a = 1;
```

对象模式

let {name, age: age} = {name: 'yibuyisheng', age: 25};

数组模式
```
let [a, b] = [1, 2];
```

模式匹配的过程

直接赋值：x ← value（包括 undefined 和 null）
```
x = value
```
对象模式

该种模式下，会检查匹配源是不是对象，如果不是对象，则会使用内部的 ToObject() 进行转换。
- {«properties»} ← undefined
```
throw new TypeError();
```
- {«properties»} ← null
```
throw new TypeError();
```
- {key: «pattern», «properties»} ← obj
```
«pattern» ← obj.key
{«properties»} ← obj
```
- {key: «pattern» = default_value, «properties»} ← obj
```
let tmp = obj.key;
if (tmp !== undefined) {
  «pattern» ← tmp
} else {
  «pattern» ← default_value
}
{«properties»} ← obj
```
- {} ← obj
```
// No properties left, nothing to do
```
数组模式

该种模式下，右侧必须是可迭代的，如果不可迭代，就会抛出错误。
- [«elements»] ← non_iterable
```
assert(!isIterable(non_iterable))
throw new TypeError();
```
- [«elements»] ← iterable
```
assert(isIterable(iterable))
let iterator = iterable[Symbol.iterator]();
«elements» ← iterator
```

模式匹配中需要注意的

undefined 触发默认值

如下所示：

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

右侧的 underfined 元素会触发左侧的默认值。

在需要的时候才会去计算默认值

比如：

let {prop: y = someFunc()} = someValue;

只有在右侧 someValue.prop 为 undefined 的时候才会执行 someFunc() 函数。

模式匹配中可以引用模式中前面的变量

比如：

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

这个地方要注意顺序，比如下面这个就是错误的：

let [x = y, y = 3] = [7, 2]; // ReferenceError

函数参数传递

函数传参的过程，实际上就包含了模式匹配的过程：

function func(«FORMAL_PARAMETERS») {
    «CODE»
}
func(«ACTUAL_PARAMETERS»);

// 大致是：

{
    let [«FORMAL_PARAMETERS»] = [«ACTUAL_PARAMETERS»];
    {
        «CODE»
    }
}

函数默认参数，慎用对象引用

有如下示例代码：

let list = [];
function fn(a = list) {
    console.log(a);
}

fn(); // console.log: []
list.push(1);
fn(); // console.log: [1]

默认参数使用了 list 引用，那么后续对 list 的修改，都会体现到默认参数上面去。在大型项目开发中，容易失控。如果一定要用某个变量生成默认值，建议深拷贝一份：

let list = [];
const listDefaultParam = deepClone(list); // 其它地方不要再使用这个变量了，并且在函数内部也不要修改这个变量值
function fn(a = listDefaultParam) {
    console.log(a);
}

默认参数的作用域

使用最新版的 Chrome 浏览器执行下面的代码，注意输出结果：

({
    method() {
        function innerFn(a = () => console.log(this)) {
            a();
        }
        innerFn.call(this);
    }
}).method();

({
    method() {
        function innerFn(a = () => console.log(this)) {
            a();
        }
        innerFn();
    }
}).method();

({
    method() {
        let arrowFn = () => console.log(this);
        function innerFn(a = arrowFn) {
            a();
        }
        innerFn();
    }
}).method();

({
    method() {
        let arrowFn = () => console.log(this);
        function innerFn(a = arrowFn) {
            a();
        }
        innerFn.call(this);
    }
}).method();

// output:
//
// Object({method: ()})
// Window { ... }
// Object({method: ()})
// Object({method: ()})

实际上，将上述代码用 babel 转换一下，可以发现默认参数的处理过程发生在函数开始部分。