ES2015+ Nested Rest 讲解

Question

我在查看node.green，在解构、赋值 > 嵌套休息下，使用了以下示例函数：

function f() {
  var a = [1, 2, 3], first, last;
  [first, ...[a[2], last]] = a;
  return first === 1 && last === 3 && (a + "") === "1,2,2";
}

console.log(f())

现在，我了解了解构，但我不明白为什么 a 被重写为 [1, 2, 2]

同样[...[a[2], last]] = a; 返回[1, 2, 1]

Answer 1

[first, a[2], last] = a;

就像

// first == undefined,   last == undefined,   a == [1,2,3]
first = a[0];
// first == 1,           last == undefined,   a == [1,2,3]
a[2] = a[1];
// first == 1,           last == undefined,   a == [1,2,2]
last = a[2];
// first == 1,           last == 2,           a == [1,2,2]

---

[first, ...[a[2], last]] = a;

就像

// first == undefined,   last == undefined,   a == [1,2,3],   tmp == undefined
first = a[0];
// first == 1,           last == undefined,   a == [1,2,3],   tmp == undefined
tmp = [a[1], a[2]];
// first == 1,           last == undefined,   a == [1,2,3],   tmp == [2,3]
a[2] = tmp[0];
// first == 1,           last == undefined,   a == [1,2,2],   tmp == [2,3]
last = tmp[1];
// first == 1,           last == 3,           a == [1,2,2],   tmp == [2,3]

---

[...[a[2], last]] = a;

就像

// last == undefined,   a == [1,2,3],   tmp == undefined
tmp = [a[0], a[1]];
// last == undefined,   a == [1,2,3],   tmp == [1,2]
a[2] = tmp[0];
// last == undefined,   a == [1,2,1],   tmp == [1,2]
last = tmp[1];
// last == 2,           a == [1,2,1],   tmp == [1,2]

Answer 2

在第二行中，您将a[2] 设置为a 的第二个值，即a[1]，在本例中为2。

有趣的是，如果您将 [first, ...[a[2], last]] 更改为 [first, a[2], last]，last 将变为 2（first 和 a 的最终值与您的示例中的相同）：

var a = [1, 2, 3], first, last;
[first, a[2], last] = a;

console.log(first === 1);
console.log(a + '' === '1,2,2');
console.log(last === 2);

看起来a[2] 首先被分配了2 的值，然后last 被分配了a[2] 的值。在您的示例中，似乎保留了 a 的旧值。我怀疑这是因为... 创建了一个中间数组，然后将其值分配给a[2] 和last。希望了解 ES6 规范深层部分的人能够确认，但大概这就是更令人费解的[first, ...[a[2], last]] 的原因。

更新

Bergi 在 cmets 中分享了一个规范参考：

请参阅IteratorBindingInitialization，使用 BindingRestElement。然而，使用 BindingPattern 而不是简单的 BindingIdentifier 实际上在 ES7 中是新的。在 ES6 中，您需要编写 var [first, ...tmp] = a; [a[2], 最后一个]] = tmp;这让正在发生的事情更清楚。