為什麼追加到 Go 切片的副本也會修改原始切片？

了解切片追加及其對原始切片的影響

在Go 中使用切片時，append 函數通常用於追加新元素到現有切片。然而，許多開發人員可能會驚訝地發現這個附加操作也可以修改原始切片。

正在檢查的程式碼

考慮以下程式碼片段：

func someFunc(A []int) int {
    for i := 0; i < len(A); i++ {
        tempA := A // copy the slice by value

        fmt.Println("A: ", A)
        fmt.Println("tempA: ", A)
        fmt.Println()

        newArr = remove(tempA, i)

        if isAesthetic(newArr) {
            ways++
        }
    }
}

func remove(slice []int, s int) []int {
    return append(slice[:s], slice[s+1:]...)
}

這裡，someFunc 函數將切片A 作為輸入，然後建立A 的一個名為tempA 的副本，然後呼叫刪除函數從tempA 中刪除元素。檢查運行中的函數後，您可能會注意到以下控制台輸出：

A:  [3 4 5 3 7]
tempA:  [3 4 5 3 7]

A:  [4 5 3 7 7]
tempA:  [4 5 3 7 7]

A:  [4 3 7 7 7]
tempA:  [4 3 7 7 7]

A:  [4 3 7 7 7]
tempA:  [4 3 7 7 7]

令人驚訝的副作用

當程式碼運行時，它會列印下列內容A 和tempA，表示在tempA 上呼叫append 後原始切片A 也被修改。乍一看，這種行為似乎違反直覺，因為您希望 A 的按值副本獨立於對 tempA 所做的任何更改。

但是，這種現像是切片實現方式的直接結果在圍棋中。切片本質上是一種輕量級資料結構，由標頭和指向底層數組的指標組成。標頭包含有關切片長度和容量的信息，而指標則指向切片中的第一個元素。

將 A 的值指派給 tempA 時，實際上是在建立一個新的切片標頭，該標頭指向與 A 相同的底層陣列。因此，對 tempA 所做的任何更改也將反映在 A 中，因為兩個切片都引用相同的資料。

理解切片頭和數組

為了進一步掌握這種行為，它有助於理解切片頭和數組在 Go 中如何交互。陣列包含相同類型的連續元素塊。另一方面，切片提供了數組的一部分的動態視圖。它描述數組中的一組連續元素，但它不擁有底層數組資料。

當您使用語法 []T{e1, e2, ..., en}，您實際上是在建立一個指向數組中第一個元素的新切片頭。切片的長度設定為 n，容量設定為切片後陣列的剩餘長度。

同樣，當您使用語法 []T(arr) 建立切片頭時，您正在建立一個指向與 arr 相同的底層數組的切片。切片的長度設定為arr的長度，容量設定為arr的容量。

影響和最佳實踐

理解切片和陣列之間的關係可以幫助您避免潛在的陷阱並編寫更有效率的 Go 程式碼。使用切片時，請記住以下幾點：

• 如果您希望維護對同一底層數組的獨立引用，請避免將一個切片分配給另一個切片。
• 使用 copy(dst , src) 建立一個具有不同標頭的新切片，同時引用相同的底層陣列。
• 考慮使用 make 函數建立具有特定長度和容量的切片，避免潛在分配和複製切片的開銷新的底層數組。

了解 Go 切片的內部結構可以讓您利用它們的靈活性和效率，同時確保您的程式碼能如預期運作。透過掌握切片頭和數組的細微差別，您可以掌握 Go 中的切片藝術並釋放這種多功能資料結構的全部潛力。

以上是為什麼追加到 Go 切片的副本也會修改原始切片？的詳細內容。更多資訊請關注PHP中文網其他相關文章！