如何理解 Golang 的參數(shù)傳遞都是值傳遞?
在 Golang 中函數(shù)之間傳遞變量時(shí)總是以值的方式傳遞的,無論是 int,string,bool,array 這樣的內(nèi)置類型(或者說原始的類型),還是 slice,channel,map 這樣的引用類型,在函數(shù)間傳遞變量時(shí),都是以值的方式傳遞,也就是說傳遞的都是值的副本。
內(nèi)置類型參數(shù)傳遞
內(nèi)置類型傳遞的時(shí)候是值的副本,這個(gè)好理解,隨便舉個(gè)例子:
- package main
- import (
- "fmt"
- )
- func main() {
- num := 10
- num2 := increase(num, 10)
- fmt.Println(num2)
- }
- func increase(num int, add int) int {
- return num + add
- }
這里 num 傳入 increase 函數(shù),是拷貝值的副本,并且返回一個(gè)新的值。假設(shè) num 是一個(gè)很大的數(shù)組,那么傳遞給函數(shù)的就是這個(gè)很大數(shù)組的拷貝。(這樣很浪費(fèi)內(nèi)存,真實(shí)情況如果要傳一個(gè)很大的數(shù)組,應(yīng)該傳遞數(shù)組的指針)
引用類型的參數(shù)傳遞
引用類型的參數(shù)傳遞也是值的拷貝。
例子:
- package main
- import (
- "fmt"
- )
- func main() {
- slice1 := []string{"zhang", "san"}
- modify(slice1)
- fmt.Println(slice1)
- }
- func modify(data []string) {
- data = nil
- }
運(yùn)行結(jié)果:
[zhang san]
這個(gè)例子證明了作為引用類型的切片,參數(shù)傳遞不是傳的引用,而是傳的值,如果是傳的引用,那么函數(shù)對(duì)它的修改會(huì)受到影響,而這里切片內(nèi)容并沒有改變成 nil.
但是有一個(gè)例子比較誤導(dǎo)人,我們看一看:
- package main
- import (
- "fmt"
- )
- func main() {
- slice1 := []string{"zhang", "san"}
- modify(slice1)
- fmt.Println(slice1)
- }
- func modify(data []string) {
- data[1] = "si"
- }
運(yùn)行結(jié)果:
[zhang si]
這里為什么改變了切片的內(nèi)容呢?
什么是標(biāo)頭?
搞清楚這個(gè)問題,首先要知道什么是“標(biāo)頭”這個(gè)概念?引用《Go語言實(shí)踐》中的一段話:
Go 語言里的引用類型有如下幾個(gè):切片、映射、通道、接口和函數(shù)類型。當(dāng)聲明上述類型的變量時(shí),創(chuàng)建的變量被稱作標(biāo)頭(header)值。從技術(shù)細(xì)節(jié)上說,字符串也是一種引用類型。每個(gè)引用類型創(chuàng)建的標(biāo)頭值是包含一個(gè)指向底層數(shù)據(jù)結(jié)構(gòu)的指針。因?yàn)闃?biāo)頭值是為復(fù)制而設(shè)計(jì)的,所以永遠(yuǎn)不需要共享一個(gè)引用類型的值。標(biāo)頭值里包含一個(gè)指針,因此通過復(fù)制來傳遞一個(gè)引用類型的值的副本,本質(zhì)上就是在共享底層數(shù)據(jù)結(jié)構(gòu)。
總而言之,引用類型在函數(shù)傳遞的時(shí)候,是值傳遞,只不過這里的“值”指的是標(biāo)頭值。
我們分別打印這個(gè)切片變量傳參前后的指針地址,和傳參前后切片中元素的指針地址:
- package main
- import (
- "fmt"
- )
- func main() {
- slice1 := []string{"zhang", "san"}
- fmt.Printf("%p\n", &slice1)
- fmt.Printf("%p\n", &slice1[1])
- modify(slice1)
- fmt.Println(slice1)
- }
- func modify(data []string) {
- fmt.Printf("%p\n", &data)
- fmt.Printf("%p\n", &data[1])
- data[1] = "si"
- }
運(yùn)行結(jié)果:
0xc42000a060
0xc42000a090
0xc42000a0a0
0xc42000a090
這再次證明了切片傳遞的不是指針地址,因?yàn)樽兞壳昂蟮刂凡煌?/p>
這也證明了切片的參數(shù)傳遞的是傳值的形式,具體是傳標(biāo)頭值的拷貝,因?yàn)橹赶蛟氐闹羔樀刂废嗤?/p>