為什麼在 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中文網其他相關文章！