为什么 `append(x[:0:0], x...)` 将切片复制到 Go 中的新支持数组中？

Question

在 Go 的 slice 技巧 wiki 和 Go 库（例如，这个示例）中，您有时会看到类似以下的代码，将切片复制到新的支持数组中。

// In a library at the end of a function perhaps...
return append(whateverSlice[:0:0], whateverSlice...)

// In an assignment, as in the wiki example...
b = append(a[:0:0], a...)

这是我认为我理解的：

• 作为

  append

  的第二个参数的切片中的所有项目都被复制到新的支持数组中。
• 在

  append

  的第一个参数中，代码使用完整切片表达式。 （我们可以将第一个参数重写为

  a[0:0:0]

  ，但如果省略，将提供第一个

  0

  。我认为这与这里的更大含义无关。）
• 根据规范，生成的切片应具有与原始切片相同的类型，并且长度和容量应为零。
• （同样，不直接相关，但我知道你可以使用

  copy

  代替

  append

  ，而且读起来更清晰。）

但是，我仍然无法完全理解为什么语法

append(someSlice[:0:0], someSlice...)

创建一个新的支持数组。我最初也很困惑为什么

append

操作没有弄乱（或截断）原始切片。

现在来说说我的猜测：

• 我假设所有这些都是必要且有用的，因为如果您只分配

  newSlice := oldSlice

  ，那么对一个的更改将反映在另一个中。通常，您不会想要这样。
• 因为我们没有将

  append

  的结果分配给原始切片（这在 Go 中是正常的），所以原始切片不会发生任何事情。它没有以任何方式被截断或改变。
• 由于

  anySlice[:0:0]

  的长度和容量均为零，因此如果 Go 要将

  anySlice

  的元素分配给结果，则必须创建一个新的后备数组。这就是为什么创建了一个新的后备数组吗？
• 如果

  anySlice...

  没有元素会发生什么？ Go Playground 上的一个片段表明，如果您在空切片上使用此附加技巧，则副本和原始副本最初具有相同的支持数组。 （编辑：正如评论者解释的那样，我误解了这个片段。该片段显示这两个项目最初是相同的，但是都没有支持数组。它们最初都指向通用零值。）由于两个切片的长度和容量都为零，因此当您向其中一个切片添加任何内容时，那个切片会获得一个新的支持数组。所以我猜，效果还是一样的。即append复制后两个切片不能互相影响。这个
other Playground 片段
• 表明，如果切片的元素超过零个，则 append 复制方法会立即生成一个新的后备数组。在这种情况下，可以说，所得的两个切片立即分开。
我可能对此过于担心，但我希望能更全面地解释

为什么

append(a[:0:0], a...)技巧会这样起作用。

Answer 1

由于anySlice[:0:0]的长度和容量均为零，因此如果Go要将anySlice的元素分配给结果，则必须创建一个新的后备数组。这就是创建新后备阵列的原因吗？

因为容量是

0

，是的。

---

https://pkg.go.dev/[email protected]#append

如果有足够的容量，则会对目的地进行重新切片以容纳新元素。如果没有，将分配一个新的底层数组。

cap=0
• 对于非空切片来说是不够的，需要分配一个新数组。