開篇明義，Go lang中從來就不存在所謂的“參考傳遞”，從來就只有一種變數傳遞方式，那就是值傳遞，因為參考傳遞的前提是存在“參考變數”，但是Go lang中從來就沒有出現過所謂的“參考變數”，所以也就不可能存在參考傳遞這種變數傳遞的方式，
參考型別
首先，Go lang的基本資料型別是值型別，比如整數、浮點、字串、布爾、陣列及錯誤型別，它們本質上是原始型別，也就是不可改變的，所以對它們進行操作，一般都會回傳一個新創建的值，所以把這些值傳遞給函式時，其實傳遞的是一個值的拷貝副本，這一點，基本沒啥爭議，
而參考型別指的是它的修改動作可以影響到任何參考到它的變數，在 Go 語言中，參考型別有切片(slice)、字典(map)、介面(interface)、函式(func) 以及通道(chan) ，
問題是，如果我們在某一個函式體內對外部定義的參考型別資料做修改操作：
package main
import "fmt"
func changeMap(data map[string]string) {
data["123"] = "333"
}
func main() {
a := map[string]string{}
a["123"] = "123"
fmt.Println("begin:", a)
changeMap(a)
fmt.Println("after:", a)
}
程式回傳：
begin: map[123:123]
after: map[123:333]
很明顯，函式changeMap改變了外部的字典型別的值，那么我們就可以得出結論，參考型別的傳參是使用的參考傳遞？
參考變數(reference variable)和參考傳遞(pass-by-reference)
事實上，參考變數(reference variable)和參考傳遞(pass-by-reference)確實存在，只不過存在于其他的語言中，比如說Python:
a = [2]
print(id(a))
def change(a):
print(id(a))
a.append(1)
if __name__ == '__main__':
print(a)
change(a)
print(a)
這里我們定義了一個可變資料型別：串列a，然后將它傳入函式change中，進行修改操作，同時使用系統內置的id()方法分別列印修改前的值和記憶體地址以及修改后的值和記憶體地址，程式回傳：
4311179392
[2]
4311179392
[2, 1]
這說明什么？說明變數a是參考變數(reference variable)，同時它作為引數的傳遞方式是參考傳遞(pass-by-reference)，證據就是它原始的記憶體地址和傳遞到函式內的記憶體地址是一致的，都是4311179392，
所以參考變數和參考傳遞應該具備如下特點：參考變數和原變數的記憶體地址一樣，就像上面的例子里函式內參考變數a和原變數a的記憶體地址相同，函式使用參考傳遞，可以改變外部實參的值，就像上面的例子里，change函式使用了參考傳遞，改變了外部實參a的值，
Golang是否存在參考變數(reference variable)
Go lang中不存在參考變數：
package main
import "fmt"
func main() {
a := 1
var a1 *int = &a
var a2 *int = &a
fmt.Println("值", a1, " 記憶體地址:", &a1)
fmt.Println("值:", a2, " 記憶體地址:", &a2)
}
程式回傳：
值 0x140000140b8 記憶體地址: 0x1400000e028
值: 0x140000140b8 記憶體地址: 0x1400000e030
和Python不同的是，在Go lang里，不可能有兩個變數有相同的記憶體地址，所以也就不存在參考變數了，變數a1和a2的值相同，都指向變數a的記憶體地址，但是變數a1和a2自己本身的記憶體地址是不一樣的，而Python里的參考變數和原變數的記憶體地址是相同的，
因此，在Go語言里是不存在參考變數的，也就自然沒有參考傳遞了，
字典為什么可以做到值傳遞但是可以更改原物件？
因為字典雖然名字叫做字典，或者叫做map，但那并不重要，其實它是指標：
package main
import (
"fmt"
"unsafe"
)
func main() {
data := make(map[string]int)
var p uintptr
fmt.Println("字典大小:", unsafe.Sizeof(data))
fmt.Println("指標大小:", unsafe.Sizeof(p))
}
程式回傳：
字典大小: 8
指標大小: 8
從占據記憶體空間大小就可以看出，字典和指標其實就是一種東西，那如果字典是指標，那make回傳的不應該是*map[string]int嗎？為什么我們使用字典傳實參，從來都不加*？
在Go lang早期，的確對于字典是使用過指標形式的，但是最后Golang的設計者發現，幾乎沒有人使用字典不加指標，因此就直接去掉了形式上的指標符號*，類比的話，我們會發現現實中幾乎從來就沒有人管AC米蘭叫AC米蘭，都是直呼米蘭，因為大家都認為米蘭就是AC米蘭，所以都自動省略了形式上的“AC”，
本質上，我們可以理解字典作為引數傳遞方式是值傳遞，只不過參考型別傳遞的是一個指向底層資料的指標，所以我們在操作的時候，可以修改共享的底層資料的值，進而影響到所有參考到這個共享底層資料的變數，這也就是為什么字典在函式內操作可以影響原物件的原因，
結語
參考型別之所以可以參考，是因為我們創建參考型別的變數，其實是一個標頭值，標頭值里包含一個指標，指向底層的資料結構，當我們在函式中傳遞參考型別時，其實傳遞的是這個標頭值的副本，它所指向的底層結構并沒有被復制傳遞，這也是參考型別傳遞高效的原因，換句話說，Go lang為了保證值傳遞的純粹性，才引入了指標的概念，如果Go lang里存在參考變數和參考傳遞，那指標不就成了畫蛇添足的浮筆浪墨了嗎？
轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/508042.html
標籤：Go
下一篇：01.Go-開篇綜述