为什么在 Go 中创建新切片时，循环中附加的切片会表现出意外的行为？

Go 中意外的切片追加行为

在 Go 编程领域，在将元素追加到其中的切片时遇到了异常行为一个循环，然后尝试根据循环的结果创建新的切片。有趣的是，最后一个追加操作会覆盖之前追加创建的切片。

探索问题

考虑以下代码片段：

<code class="go">func create(iterations int) []int {
    a := make([]int, 0)
    for i := 0; i < iterations; i++ {
        a = append(a, i)
    }
    return a
}</code>

当调用 create(11) 并通过向其附加元素来创建新切片时（即 j :=append(i, 100)、g :=append(i, 101)、h :=append(i, 102)），一期望这些切片（j、g 和 h）的最后一个元素分别为 100、101 和 102。然而，令人惊讶的是，在这种情况下，它们最终都是 102。

这种行为与从切片文字创建新切片时发生的情况形成鲜明对比，如下所示：

<code class="go">func sliceFromLiteral() {
    i := []int{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
    j := append(i, 100)
    g := append(i, 101)
    h := append(i, 102)
    fmt.Printf("i: %v\nj: %v\ng: %v\nh:%v\n", i, j, g, h)
}</code>

在本例中，j、g 和 h 表现出预期的行为，最后一个元素分别为 100、101 和 102。

深入探究根本原因

要揭开这种意外行为背后的秘密，了解追加操作不仅会修改底层数组，还会返回一个新切片，这一点至关重要。这意味着切片 j、g 和 h 实际上指向同一个底层数组。因此，当执行最后一个追加 (append(i, 102)) 时，它会修改底层数组的最后一个元素，有效地覆盖 j、g 和 h 中的值。

惯用语解决方案

为了避免这种意外行为，必须在尝试任何追加之前复制切片。这样做会创建一个新的底层数组，确保原始切片保持不变。以下代码举例说明了基于现有切片创建多个新切片的惯用方法：

<code class="go">func makeFromSlice(sl []int) []int {
    result := make([]int, len(sl))
    copy(result, sl)
    return result
}</code>

通过采用这种方法，人们可以轻松创建新切片，同时保留原始数据的完整性。

切片文字异常

从循环创建的切片中观察到的特殊行为不会扩展到从文字初始化的切片。这是因为如果追加操作超出了后备数组的容量，Go 就会分配一个新数组。此行为与切片是从文字还是变量创建无关，而仅仅是 Go 内部处理数组方式的结果。

以上是为什么在 Go 中创建新切片时，循环中附加的切片会表现出意外的行为？的详细内容。更多信息请关注PHP中文网其他相关文章！