?1.介紹

在 Go 語言中，切片類型比較常用，將新元素追加到切片也比較常見，因此 Go 語言提供一個內置函數 append，該函數可以非常方便實現此功能。

雖然 Go 語言內置函數 append 使用非常方便，但是使用不當會不小心掉入一些“坑”。

本文我們介紹一下 Go 語言為什么建議 append 追加新元素使用原切片變量接收返回值？

2.append 的“坑”

我們先看一段示例代碼：

func main() {
 a := make([]int, 0, 5)
 a = append(a, 1)
 b := append(a, 2)
 c := append(a, 3)
 fmt.Printf("v=%v || p=%p\n", a, &a) 
 fmt.Printf("v=%v || p=%p\n", b, &b) 
 fmt.Printf("v=%v || p=%p\n", c, &c) 
}

閱讀上面這段代碼，我們定義一個長度為 0，容量為 5 的 int 類型的切片 a。

首先，我們使用 Go 語言內置函數 append? 追加一個元素 1 到切片 a 中。

然后，我們使用 Go 語言內置函數 append? 追加一個元素 2 到切片 a 中。

最后，我們使用 Go 語言內置函數 append? 追加一個元素 3 到切片 a 中。

但是，我們在輸出結果中發現，b 的輸出結果不是 [1 2]?，c 的輸出結果不是 [1 2 3]?，b 和 c 的實際輸出結果相同，都是 [1 3]。為什么呢？我們接著往下看 Part 03 的內容。

3.append 的原理

Go 語言內置函數 append 第一個入參是切片類型的變量，而切片本身是一個 struct 結構，參數傳遞時會發生值拷貝。

Go 語言 slice 源碼如下：

type slice struct {
 array unsafe.Pointer
 len   int
 cap   int
}

因為 Go 語言內置函數 append? 參數是值傳遞，所以 append? 函數在追加新元素到切片時，append 會生成一個新切片，并且將原切片的值拷貝到新切片。

在 Part 02 示例代碼中，我們三次使用 append 參數追加新元素到切片 a 的操作，接收返回值的變量都不同。

第二次操作時，因為 append? 生成一個新切片，將原切片 a 的值拷貝到新切片，并且將新元素在原切片a[len(a)]? 長度的位置開始追加，使用變量 b 接收 append? 返回值 [1 2]?，所以變量 b 的值是 [1 2]。

第三次操作時，同樣 append? 生成一個新切片，將原切片 a 的值拷貝到新切片，并且將新元素在原切片a[len(a)]? 長度的位置開始追加，使用變量 c 接收 append? 返回值 [1 3]?，所以變量 c 的值是 [1 3]。

但是，因為三個切片的底層數組相同，Go 內置函數 append 會在原切片長度的位置開始追加新元素，所以第三次操作時，把第二次操作時得到的變量 b 的最后一個元素覆蓋了。

閱讀到這里，相信聰明的讀者朋友們已經明白 Part 02 示例代碼為什么實際輸出結果和預想的輸出結果不同了吧。

4.總結

本文我們介紹 Go 語言中使用內置函數 append 追加新元素的一個“坑”，建議讀者朋友們使用原切片變量接收返回值。

參考資料：

• https://go.dev/tour/moretypes/15
• https://pkg.go.dev/builtin#append
• https://go.dev/blog/slices-intro
• https://go.dev/doc/effective_go#slices
• https://go.dev/ref/spec#Slice_types
• https://go.dev/ref/spec#Length_and_capacity
• https://go.dev/ref/spec#Making_slices_maps_and_channels
• https://go.dev/ref/spec#Appending_and_copying_slices