当前位置：首页 > 文章列表 > Golang > Go问答 > 为何在 Go 中 `append(x, x...)` 会将切片复制到新的数组中？

为何在 Go 中 `append(x, x...)` 会将切片复制到新的数组中？

来源：stackoverflow 2024-02-17 13:00:25 0浏览收藏

从现在开始，努力学习吧！本文《为何在 Go 中 `append(x, x...)` 会将切片复制到新的数组中？》主要讲解了等等相关知识点，我会在golang学习网中持续更新相关的系列文章，欢迎大家关注并积极留言建议。下面就先一起来看一下本篇正文内容吧，希望能帮到你！

问题内容

在 go 的切片技巧 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复制后两个切片不能互相影响。
这个其他游乐场片段表明，如果切片的元素超过零，则 append 复制方法会立即生成一个新的后备数组。在这种情况下，可以说，生成的两个切片立即分开。