詳解Go中Map類(lèi)型和Slice類(lèi)型的傳遞

關(guān)于 Go 中 Map 類(lèi)型和 Slice 類(lèi)型的傳遞

Map 類(lèi)型

先看例子 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
}

結(jié)果是

map[2:200 1:100]

我們?cè)傩薷娜缦?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
}

發(fā)現(xiàn)結(jié)果變成了

map[]

要理解這個(gè)問(wèn)題，需要明確在 Go 中不存在引用傳遞，所有的參數(shù)傳遞都是值傳遞。

現(xiàn)在再來(lái)分析下，如圖:

可能有些人會(huì)有疑問(wèn)，為什么途中的 m 像是一個(gè)指針呢。查看官方的 Blog 中有寫(xiě)：

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

這邊說(shuō) Map 類(lèi)型是引用類(lèi)型，像是指針或是 Slice（切片）。所以我們基本上可以把它當(dāng)作是指針來(lái)看待（注意，只是近似，或者說(shuō)其中含有指針，其內(nèi)部仍然含有其他信息，這里只是為了便于理解），只不過(guò)這個(gè)指針有些特殊罷了。

m1 中，當(dāng)調(diào)用 mdMap 方法時(shí)重新開(kāi)辟了內(nèi)存，將 m 的內(nèi)容，也就是 map 的地址拷貝入了 m'，所以此時(shí)當(dāng)操作 map 時(shí)，m 和 m' 所指向的內(nèi)存為同一塊，就導(dǎo)致 m 的 map 發(fā)生了改變。

而在 m2 中，在調(diào)用 mdMap 之前，m 并未分配內(nèi)存，也就是說(shuō)并未指向任何的 map 內(nèi)存區(qū)域。從未導(dǎo)致 m' 的 map 修改不能反饋到 m 上。

Slice 類(lèi)型

現(xiàn)在看一下 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 結(jié)果為

[1 2]

s2 為

[]

因?yàn)檎绻俜剿f(shuō)，Slice 類(lèi)型與 Map 類(lèi)型一樣，類(lèi)似于指針，Slice 中仍然含有長(zhǎng)度等信息。

修改一下 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 原先的兩個(gè)元素，而加上另外兩個(gè)，結(jié)果為:

[0 0]

發(fā)現(xiàn)修改并沒(méi)有反饋到原先的 slice 上。

這里我們需要把 slice 想象為特殊的指針，其已經(jīng)保存了所指向內(nèi)存區(qū)域長(zhǎng)度，所以 append 之后的內(nèi)存并不會(huì)反映到 main() 中：

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

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

內(nèi)存如圖所示：

注意本文中內(nèi)存區(qū)域分配是否連續(xù)完全隨機(jī)，不影響程序，只是為了圖解清晰。

Chan 類(lèi)型

Go 中 make 函數(shù)能創(chuàng)建的數(shù)據(jù)類(lèi)型就 3 類(lèi)：Slice, Map, Chan。不比多說(shuō)，相比讀者已經(jīng)能想象 Chan 類(lèi)型的內(nèi)存模型了。的確如此，讀者可以自己嘗試，這邊就不過(guò)多贅述了。（可以通通過(guò) == nil 的比較來(lái)進(jìn)行測(cè)試）。

以上就是本文的全部?jī)?nèi)容，希望對(duì)大家的學(xué)習(xí)有所幫助，也希望大家多多支持腳本之家。