?1.介紹

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

雖然 Go 語言內(nèi)置函數(shù) append 使用非常方便，但是使用不當(dāng)會不小心掉入一些“坑”。

本文我們介紹一下 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 語言內(nèi)置函數(shù) append? 追加一個元素 1 到切片 a 中。

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

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

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

3.append 的原理

Go 語言內(nèi)置函數(shù) append 第一個入?yún)⑹乔衅愋偷淖兞浚衅旧硎且粋€ struct 結(jié)構(gòu)，參數(shù)傳遞時會發(fā)生值拷貝。

Go 語言 slice 源碼如下：

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

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

在 Part 02 示例代碼中，我們?nèi)问褂?nbsp;append 參數(shù)追加新元素到切片 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]。

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

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

4.總結(jié)

本文我們介紹 Go 語言中使用內(nèi)置函數(shù) 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