Go 中的append() 操作中切片行為背後的秘密是什麼？

揭秘切片上append()的行為

在Go中，常見的做法是遇到這樣的程式碼：

<code class="go">func main() {
    slice := make([]int, 10, 10)
    slice[0] = 0
    slice[1] = 1

    slice1 := slice
    slice1[0] = 10000
    fmt.Println(slice)

    slice1 = append(slice1, 100)
    slice1[0] = 20000

    fmt.Println(slice)
}</code>

運行時這段程式碼，您會注意到一些奇怪的東西：

[10000 1 0 0 0 0 0 0 0 0]
[10000 1 0 0 0 0 0 0 0 0]

直覺上，人們可能會假設slice 和slice1 是對同一底層陣列的引用。然而，這個觀察提出了一個問題：為什麼切片在對 slice1 進行追加操作後保持不變？

理解切片的本質

要解開這個謎團，有必要了解 Go 中切片的基本性質。切片不是指針；而是指針。它們是數組的封裝。具體來說，切片包含三個元素：

• 指向底層數組開頭的指針
• 切片的大小
• 切片的容量（無需重新分配的最大大小) )

將slice1 指派給slice 時，您正在建立一個新的切片頭，該頭指向與slice 相同的底層陣列。這樣一來，對 slice1 所做的任何修改都會直接反映在 slice 中。

append() 的影響

現在我們來分析一下append() 對切片1。 append() 函數將切片作為參數並傳回一個新切片。這個新切片可能引用也可能不引用與原始切片相同的底層數組。

在這種情況下，由於切片最初的容量等於其長度，任何超過 0 個元素的 append() 操作都需要建立一個新的、更大的陣列。這正是 slice1 =append(slice1, 100) 所做的。它分配一個新數組，複製舊數組的內容，並傳回一個新的切片頭。

將結果切片頭指派給 slice1 會取代 slice1 中的前一個切片頭。這意味著 slice1 現在指向與 slice 不同的底層陣列。因此，對 slice1 進行的任何後續修改都不會影響切片，反之亦然。

結論

雖然切片通常會被誤認為是指針，但它們實際上是不同的值類型。這種內在差異在append()操作期間表現出來。諸如 slice1 =append(slice1, 100) 之類的賦值會建立一個新的切片頭，該頭可能指向也可能不指向與原始切片相同的底層陣列。在 Go 程式碼中操作切片時，記住這一點至關重要。

以上是Go 中的append() 操作中切片行為背後的秘密是什麼？的詳細內容。更多資訊請關注PHP中文網其他相關文章！