循环中的切片似乎保留了上一个/最后一个引用（取决于切片的长度）

Question

这看起来很奇怪，在一个循环中有一个局部变量片，为每个循环分配了新的值，我将该片附加到一个全局sliceWrapper。循环完成后，全局切片内的所有值仅包含对该局部切片变量上最后一个值集的引用。

代码：

package main

import (
    "fmt"
    "strconv"
)

func main() {
    var sliceWrappers [][]string
    initialSlice := append([]string{}, "hi")
    initialSlice = append(initialSlice, "there")
    
    // Remove this line and it works fine
    initialSlice = append(initialSlice, "I'm")
    
    for i := 0; i < 2; i++ {
        slice := append(initialSlice, strconv.Itoa(i))
        fmt.Printf("Slice Value : %+v, Initial Value : %+v\n", slice, initialSlice)
        sliceWrappers = append(sliceWrappers, slice)
    }

    for _, sliceWrapper := range sliceWrappers {
        fmt.Printf("%+v\n", sliceWrapper)
    }
}

实际产出：

Slice Value : [hi there I'm 0], Initial Value : [hi there I'm]
Slice Value : [hi there I'm 1], Initial Value : [hi there I'm]
[hi there I'm 1]
[hi there I'm 1]

预期产出：

Slice Value : [hi there I'm 0], Initial Value : [hi there I'm]
Slice Value : [hi there I'm 1], Initial Value : [hi there I'm]
[hi there I'm 0]  <------ This is not happening
[hi there I'm 1]

如果我删除initialSlice=append（initialSlice，“I'm”）行，那么它工作得很好。

Slice Value : [hi there 0], Initial Value : [hi there]
Slice Value : [hi there 1], Initial Value : [hi there]
[hi there 0]  <------ Works Perfectly
[hi there 1]

我相信这和附加物有关

append内置函数将元素追加到片段的末尾。如果目的地具有足够的容量，则会重新许可该目的地以容纳新元素。

如果上面的条件是造成它的原因，那么在循环内打印的初始切片的值不应该也与切片相同吗？

游乐场-https://play.golang.org/p/b3SDGoA2Lzv

PS：不幸的是，我为代码编写的测试用例只有3层嵌套，而且通过得很好。我现在必须负责循环内切片的复制。

Answer 1

切片基于指向数组的指针、长度和容量。您在第一次迭代中将slice放入sliceWrappers中（因此它包含一个指向数组的指针）。在第二次迭代中，append（initialSlice，strconv.Itoa（i））调用更改同一数组中的值，因为内存位置没有更改。在第一次迭代和第二次迭代中，slice都指向该数组，因此在sliceWrappers中结束的两个切片都指向相同的数据。

您可以通过在将数据添加到sliceWrapper之前将其复制到新切片来避免这种情况：

    for i := 0; i < 2; i++ {
        slice := append(initialSlice, strconv.Itoa(i))
        fmt.Printf("Slice Value : %+v, Initial Value : %+v\n", slice, initialSlice)
        copiedSlice := make([]string, len(slice))
        copy(copiedSlice, slice)
        sliceWrappers = append(sliceWrappers, copiedSlice)
    }

它给出了预期的输出：

Slice Value : [hi there I'm 0], Initial Value : [hi there I'm]
Slice Value : [hi there I'm 1], Initial Value : [hi there I'm]
[hi there I'm 0]
[hi there I'm 1]

至于删除行initialSlice=append（initialSlice，“I'm”）：当您附加到切片时，它将检查它是否能够在容量内适应新的长度。否则，它将分配一个新的数组（从而分配新的内存位置）。包含“hi there”的较短片段已达到其容量，并附加到该片段后将分配一个新数组，并创建一个具有较大容量的片段。

• 如果你的程序中有行，初始化切片=append（初始化切片，我），新数组将在循环之前分配。循环内的append（...）s不会导致新的分配。
• 如果您的程序中没有该行，循环中的append（...）s将导致新的分配，因此每个都有不同的内存位置，这就是为什么它们不会互相覆盖。

我的来源是Go Slices：用法和内部https://blog.golang.org/slices-intro#TOC_4.

Answer 2

// Remove this line and it works fine
//initialSlice = append(initialSlice, "I'm")
fmt.Printf("Slice Value : %p - %d\n", initialSlice, cap(initialSlice))
...
for i := 0; i < 2; i++ {
    slice := append(initialSlice, strconv.Itoa(i))
    fmt.Printf("Slice Value : %p - %p\n", slice, initialSlice)
    ...
}

打印的地址和容量的首字母Slice和片如上。它的输出如下：

Slice Value : 0xc00009c000 - 2
Slice Value : 0xc0000a6000 - 0xc00009c000
Slice Value : 0xc00009e040 - 0xc00009c000

如果对行进行注释，则输出如下：

Slice Value : 0xc00009e000 - 4
Slice Value : 0xc00009e000 - 0xc00009e000
Slice Value : 0xc00009e000 - 0xc00009e000

然后，为什么它输出如你所期望的评论行？
因为在这个场景中，初始切片的容量是2。当追加新元素时，将分配一个新的底层数组，因为它没有足够的空间来实现追加操作。
当你取消注释该行时，初始化切片的容量为4，它将修改该数组。

参考：追加单据

append内置函数将元素追加到片段的末尾。如果目的地具有足够的容量，则会重新许可该目的地以容纳新元素。否则，将分配一个新的底层数组。Append返回更新的切片。因此，有必要将append的结果存储在保存切片本身的变量中：slice=append（slice，elem1，elem2）slice=append（slice，anotherSlice…）作为一种特殊情况，向字节片追加字符串是合法的，如下所示：slice=append（[]字节（“hello”），“world”…）