關於 Go 中 Map 類型和 Slice 類型的傳遞

Map 類型

先看例子 m1:

func main() {
    m := make(map[int]int)
    mdMap(m)
    fmt.Println(m)
}

func mdMap(m map[int]int) {
    m[1] = 100
    m[2] = 200
}複製代碼

結果是

map[2:200 1:100]複製代碼

咱們再修改以下 m2：

func main() {
    var m map[int]int
    mdMap(m)
    fmt.Println(m)
}

func mdMap(m map[int]int) {
    m = make(map[int]int)
    m[1] = 100
    m[2] = 200
}複製代碼

發現結果變成了

map[]複製代碼

要理解這個問題，須要明確在 Go 中不存在引用傳遞，全部的參數傳遞都是值傳遞。

如今再來分析下，如圖:

m1 & m2 圖解

可能有些人會有疑問，爲何途中的 m 像是一個指針呢。查看官方的 Blog 中有寫：

Map types are reference types, like pointers or slices, ...

這邊說 Map 類型是引用類型，像是指針或是 Slice（切片）。因此咱們基本上能夠把它看成是指針來看待（注意，只是近似，或者說其中含有指針，其內部仍然含有其餘信息，這裏只是爲了便於理解），只不過這個指針有些特殊罷了。

m1 中，當調用 mdMap 方法時從新開闢了內存，將 m 的內容，也就是 map 的地址拷貝入了 m'，因此此時當操做 map 時，m 和 m' 所指向的內存爲同一塊，就致使 m 的 map 發生了改變。

而在 m2 中，在調用 mdMap 以前，m 並未分配內存，也就是說並未指向任何的 map 內存區域。從未致使 m' 的 map 修改不能反饋到 m 上。

Slice 類型

如今看一下 Slice。

s1:

func main() {
    s := make([]int, 2)
    mdSlice(s)
    fmt.Println(s)
}

func mdSlice(s []int) {
    s[0] = 1
    s[1] = 2
}複製代碼

s2:

func main() {
    var s []int
    mdSlice(s)
    fmt.Println(s)
}

func mdSlice(s []int) {
    s = make([]int, 2)
    s[0] = 1
    s[1] = 2
}複製代碼

不出所料：

s1 結果爲

[1 2]複製代碼

s2 爲

[]複製代碼

由於正如官方所說，Slice 類型與 Map 類型同樣，相似於指針，Slice 中仍然含有長度等信息。

修改一下 s1，變成 s3：

func main() {
    s := make([]int, 2)
    mdSlice(s)
    fmt.Println(s)
}

func mdSlice(s []int) {
    s = append(s, 1)
    s = append(s, 2)
}複製代碼

再也不修改 slice 原先的兩個元素，而加上另外兩個，結果爲:

[0 0]複製代碼

發現修改並無反饋到原先的 slice 上。

這裏咱們須要把 slice 想象爲特殊的指針，其已經保存了所指向內存區域長度，因此 append 以後的內存並不會反映到 main() 中：

s1 & s3 圖解

那如何才能反映到 main() 中呢？沒錯，使用指向 Slice 的指針。

func mdSlice(s *[]int) {
    *s = append(*s, 1)
    *s = append(*s, 2)
}複製代碼

內存如圖所示：

s3 修改圖解

注意本文中內存區域分配是否連續徹底隨機，不影響程序，只是爲了圖解清晰。

Chan 類型

Go 中 make 函數能建立的數據類型就 3 類：Slice, Map, Chan。不比多說，相比讀者已經能想象 Chan 類型的內存模型了。的確如此，讀者能夠本身嘗試，這邊就不過多贅述了。（能夠統統過 == nil 的比較來進行測試）。