php小编柚子将为大家解答一个常见的问题:为什么`append(x, x...)`会将切片复制到Go中的新支持数组中?在Go编程语言中,`append`函数用于向切片中追加元素。当我们使用`append`函数时,如果切片容量不足,Go会创建一个新的底层数组,并将原有切片中的元素复制到这个新的底层数组中。这是因为在Go中,切片是一个动态数组的引用,当切片容量不够时,必须创建一个新的数组来容纳更多的元素。这种机制确保了切片的连续性和可扩展性,同时也带来了一些性能上的损耗。
在 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
的第一个参数中,代码使用完整切片表达式。 (我们可以将第一个参数重写为 a[0:0:0]
,但如果省略,将提供第一个 copy
代替 append
(同样,不直接相关,但我知道您可以使用 copy
代替
append(someslice[:0:0], someslice...)
创建一个新的支持数组。我最初也很困惑为什么 append
但是,我仍然无法完全理解为什么语法 append(someslice[:0:0], someslice...)
创建一个新的支持数组。我最初也很困惑为什么
现在我的猜测:
newslice := oldslice
我假设所有这些都是必要且有用的,因为如果您只分配 append
因为我们没有将 anyslice[:0:0]
的长度和容量均为零,因此如果 go 要将 anyslice
由于 的元素分配给结果,则必须创建一个新的支持数组。这就是创建新后备数组的原因anyslice...
没有元素会发生什么? go playground 上的一个片段表明,如果您在空切片上使用此附加技巧,则副本和原始副本最初具有相同的支持数组。 (编辑:正如评论者所解释的,我误解了这个片段。该片段显示这两个项目最初是相同的,但是都没有支持数组。它们都指向最初为通用零值。)由于两个切片的长度和容量都为零,因此当您向其中一个切片添加任何内容时,该切片将获得一个新的后备数组。所以我猜,效果还是一样的。即append
如果 anyslice...
没有元素会发生什么? go playground 上的一个片段表明,如果您在空切片上使用此附加技巧,则副本和原始副本最初具有相同的支持数组。 (编辑:正如评论者所解释的,我误解了这个片段。该片段显示这两个项目最初是相同的,但是都没有支持数组。它们都指向最初为通用零值。)由于两个切片的长度和容量都为零,因此当您向其中一个切片添加任何内容时,该切片将获得一个新的后备数组。所以我猜,效果还是一样的。即append
这个其他游乐场片段表明,如果切片的元素超过零,则
我可能对此过于担心,但我希望能更全面地解释为什么append(a[:0:0], a...)
0
因为容量是
https://pkg.go.dev/[电子邮件受保护]#append
如果有足够的容量,则会对目标进行重新切片以容纳新元素。如果没有,将分配一个新的底层数组。
cap=0
以上是为什么 `append(x, x...)` 将切片复制到 Go 中的新支持数组中?的详细内容。更多信息请关注PHP中文网其他相关文章!