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
复制方法会立即生成一个新的后备数组。在这种情况下,可以说,生成的两个切片立即分开。,我可能对此过于担心,但我希望能更全面地解释为什么 append(a[:0:0], a...)
技巧起作用就是这样。,由于anySlice[:0:0]的长度和容量均为零,因此如果Go要将anySlice的元素分配给结果,则必须创建一个新的后备数组。这就是创建新支持数组的原因吗?,因为容量是0
,是的。,https://pkg.go.dev/[电子邮件受保护]#append,如果有足够的容量,则会对目标进行重新切片以容纳新元素。如果没有,将分配一个新的底层数组。,cap=0
对于非空切片来说是不够的,需要分配一个新数组。,