精读《proposal-extractors》
proposal-extractors 是一个关于解构能力增强的提案，支持在直接解构时执行自定义逻辑。
概述
const [first, second] = arr;
const { name, age } = obj;
以上就是解构带来的便利，如果没有解构语法，相同的实现我们需要这么做：
const first = arr[0];
const second = arr[1];
const name = obj.name;
const age = obj.age;
但上面较为原始的方法可以在对象赋值时进行一些加工，比如：
const first = someLogic(arr[0]);
const second = someLogic(arr[1]);
const name = someLogic(obj.name);
const age = someLogic(obj.age);
解构语法就没那么简单了，想要实现类似的效果，需要退化到多行代码实现，冗余度甚至超过非解构语法：
const [first: firstTemp, second: secondTemp] = arr
const {name: nameTemp, age: ageTemp} = obj
const first = someLogic(firstTemp)
const second = someLogic(secondTemp)
const name = someLogic(nameTemp)
const age = someLogic(ageTemp)
proposal-extractors 提案就是用来解决这个问题，希望保持解构语法优雅的同时，加一些额外逻辑：
const SomeLogic(first, second) = arr // 解构数组
const SomeLogic{name, age} = obj // 解构对象
稍稍有点别扭，使用 () 解构数组，使用 {} 解构对象。我们再看 SomeLogic 的定义：
const SomeLogic = {
[Symbol.matcher]: (value) => {
return { matched: true, value: value.toString() + "特殊处理" };
},
};
这样我们拿到的 first、second、name、age 变量就都变成字符串了，且后缀增加了 '特殊处理' 这四个字符。
为什么用 () 表示数组解构呢？主要是防止出现赋值歧义：
// 只有一项时，[] 到底是下标含义还是解构含义呢？
const SomeLogic[first] = arr
精读
proposal-extractors 提案提到了 BindingPattern 与 AssignmentPattern：
// binding patterns
const Foo(y) = x; // instance-array destructuring
const Foo{y} = x; // instance-object destructuring
const [Foo(y)] = x; // nesting
const [Foo{y}] = x; // ..
const { z: Foo(y) } = x; // ..
const { z: Foo{y} } = x; // ..
const Foo(Bar(y)) = x; // ..
const X.Foo(y) = x; // qualified names (i.e., a.b.c)
// assignment patterns
Foo(y) = x; // instance-array destructuring
Foo{y} = x; // instance-object destructuring
[Foo(y)] = x; // nesting
[Foo{y}] = x; // ..
({ z: Foo(y) } = x); // ..
({ z: Foo{y} } = x); // ..
Foo(Bar(y)) = x; // ..
X.Foo(y) = x; // qualified names (i.e., a.b.c)
从例子来看，BindingPattern 相比 AssignmentPattern 只是前面多了一个 const 标记。那么 BindingPattern 与 AssignmentPattern 分别表示什么含义呢？
BindingPattern 与 AssignmentPattern 是解构模式下的特有概念。
BindingPattern 需要用 const let 等变量定义符描述。比如下面的例子，生成了 a、d 两个新对象，我们称这两个对象被绑定了（binding）。
const obj = { a: 1, b: { c: 2 } };
const {
a,
b: { c: d },
} = obj;
// Two variables are bound: `a` and `d`
AssignmentPattern 无需用变量定义符描述，只能用已经定义好的变量，所以可以理解为对这些已经存在的变量赋值。比如下面的例子，将对象的 a b 分别绑定到数组 numbers 的每一项。
const numbers = [];
const obj = { a: 1, b: 2 };
({ a: numbers[0], b: numbers[1] } = obj);
proposal-extractors 是针对解构的增强提案，自然也要支持 BindingPattern 与 AssignmentPattern 这两种模式。
总结
proposal-extractors 提案维持了解构的优雅（自定义解构仍仅需一行代码），但引入了新语法（自定义处理函数、对数组使用 () 号解构的奇怪记忆），在过程式代码中并没有太大的优势，但结合其他特性可能有意想不到的便利，比如结合 Declarations-in-Conditionals 后可以快速判断是否是某个类的实例并同时解构 if / while let bindings。
讨论地址是：精读《proposal-extractors》· Issue #443 · dt-fe/weekly
如果你想参与讨论，请 点击这里，每周都有新的主题，周末或周一发布。前端精读 - 帮你筛选靠谱的内容。
版权声明：自由转载-非商用-非衍生-保持署名（创意共享 3.0 许可证）