为何Go中`append(x[:0:0], x...)`会将切片复制到新底层数组？

在Go的切片技巧文档以及部分类库代码中，常会看到用以下语法将切片复制到全新的底层数组：

// 类库函数返回时的用法
return append(whateverSlice[:0:0], whateverSlice...)

// 变量赋值场景
b = append(a[:0:0], a...)

已知理解点 #

• append的第二个参数（原切片展开后）的所有元素都会被复制到新的底层数组中。
• 第一个参数用了完整切片表达式，可显式写为a[0:0:0]，省略起始索引0不影响核心逻辑，生成的切片和原切片类型一致，且长度、容量均为0。
• 也知道可以用copy函数替代，可读性更强。

核心疑问与完整解释 #

你困惑的点主要是：为什么这个写法会创建新底层数组，以及为什么不会修改原切片。下面逐一拆解：

1. 为什么不会修改原切片？

Go里的切片是引用类型，但append函数的返回值是一个新的切片（可能复用原底层数组，也可能创建新的）。这里我们并没有把append的结果赋值给原切片，原切片的长度、容量和底层数组指针都不会被改变，自然不会被修改或截断。

2. 为什么一定会创建新的底层数组？

关键点就在a[:0:0]这个切片：它的容量是0。根据append的行为规则，当要追加的元素数量超过当前切片的剩余容量时，Go会分配一块新的内存作为底层数组，把原有元素（这里a[:0:0]没有元素）和要追加的元素都复制进去。

因为a[:0:0]的容量是0，不管原切片a有多少元素，追加操作必然会触发新数组的分配，最终得到的新切片会拥有独立的底层数组，和原切片完全解耦——后续修改任何一个切片的元素，都不会影响另一个。

3. 原切片为空时的特殊情况

如果原切片a是空的，append(a[:0:0], a...)返回的切片同样是长度和容量都为0的空切片。此时两个切片都没有指向实际的底层数组（都是切片的零值状态），但后续只要向其中任意一个切片追加元素，就会触发新数组分配，两者依然不会互相影响。

4. 这个技巧的实用价值

直接赋值newSlice := oldSlice只是复制了切片的引用，两个切片共享同一个底层数组，修改其中一个会影响另一个。而这个技巧能快速创建一个完全独立的切片副本，在需要避免共享底层数组的场景（比如返回切片给外部调用者，防止内部修改影响外部）非常实用。

内容的提问来源于stack exchange，提问作者Telemachus