這篇文章主要介紹了Go 到底有沒有引用傳參(對比C++ ),需要的朋友可以參考下
C++ 中三種參數傳遞方式
值傳遞:
最常見的一種傳參方式,函數的形參是實參的拷貝,函數中改變形參不會影響到函數外部的形參。一般是函數內部修改參數而又不希望影響到呼叫者的時候會採用值傳遞。
指針傳遞
形參是指向實參位址的指針,顧名思義,在函數中對形參指向的內容操作,實參本身會被修改。
引用傳遞
在 C++ 中,引用是變數的別名,實際上是同一個東西,在記憶體中也存在同一個位址。換句話說,不管在哪裡對引用操作,都相當直接操作被引用的變數。
下面看demo:
#include <iostream> //值传递 void func1(int a) { std::cout << "值传递,变量地址:" << &a << ", 变量值:" << a << std::endl; a ++ ; } //指针传递 void func2 (int* a) { std::cout << "指针传递,变量地址:" << a << ", 变量值:" << *a << std::endl; *a = *a + 1; } //引用传递 void func3 (int& a) { std::cout << "指针传递,变量地址:" << &a << ", 变量值:" << a << std::endl; a ++; } int main() { int a = 5; std::cout << "变量实际地址:" << &a << ", 变量值:" << a << std::endl; func1(a); std::cout << "值传递操作后,变量值:" << a << std::endl; std::cout << "变量实际地址:" << &a << ", 变量值:" << a << std::endl; func2(&a); std::cout << "指针传递操作后,变量值:" << a << std::endl; std::cout << "变量实际地址:" << &a << ", 变量值:" << a << std::endl; func3(a); std::cout << "引用传递操作后,变量值:" << a << std::endl; return 0; }
輸出結果如下:
變數實際位址:0x28feac, 變數值:5
值傳遞,變數位址:0x28fe90, 變數值:5
值傳遞運算後,變數值:5
變數實際位址:0x28feac, 變數值:5
指標傳遞,變數位址:0x28feac, 變數值: 5
指標傳遞運算後,變數值:6
變數實際位址:0x28feac, 變數值:6
指標傳遞,變數位址:0x28feac, 變數值:6
引用傳遞運算後,變數值:7
Go 中的參數傳遞
#上面介紹了C++ 的三種參數傳遞方式,值傳遞和指標傳遞容易理解,那麼Go 是不是也有這些傳參方式呢?這引起爭論,但是對比 C++ 的引用傳遞的概念,我們可以說,Go 沒有引用傳遞方式。為什麼這麼說,因為 Go 沒有變數的引用這一概念。但是 Go 有引用類型,這個稍後再解釋。
先看一個Go 傳值和傳指標的範例:
package main import ( "fmt" ) func main() { a := 1 fmt.Println( "变量实际地址:", &a, "变量值:", a) func1 (a) fmt.Println( "值传递操作后,变量值:", a) fmt.Println( "变量实际地址:", &a, "变量值:", a) func2(&a) fmt.Println( "指针传递操作后,变量值:", a) } //值传递 func func1 (a int) { a++ fmt.Println( "值传递,变量地址:", &a, "变量值:", a) } //指针传递 func func2 (a *int) { *a = *a + 1 fmt.Println( "指针传递,变量地址:", a, "变量值:", *a) }
輸出結果如下:
變數實際位址: 0xc04203c1d0 變量值: 1
值傳遞,變數位址: 0xc04203c210 變數值: 2
值傳遞操作後,變數值: 1
變數實際位址: 0xc04203c1d0 變數值: 1
指標傳遞,變數位址: 0xc04203c1d0 變數值: 2
指標傳遞運算後,變數值: 2
可以看出,Go 基本型別的值傳遞和指標傳遞和C++ 並沒有什麼不同,但是它沒有變數的引用這一概念。那 Go 的引用型怎麼理解呢?
Go 的參考類型
在 Go 中,引用型別包含切片、字典、通道等。以切片為例,傳切片是傳引用麼?
舉例:
package main import ( "fmt" ) func main() { m1 := make([]string, 1) m1[0] = "test" fmt.Println("调用 func1 前 m1 值:", m1) func1(m1) fmt.Println("调用 func1 后 m1 值:", m1) } func func1 (a []string) { a[0] = "val1" fmt.Println("func1中:", a) }
輸出結果如下:
呼叫func1 前m1 值: [test]
#func1中: [val1]
呼叫func1 後m1 值: [val1]
函數中對切片所做的修改影響了實際參數的值。是不是說這事引用傳遞?
其實並不是,要回答這個問題,首先得搞清楚呼叫函數切片 m1 到底有沒有改變。首先我們要認清楚切片的本質。
一個切片是一個陣列片段的描述。它包含了指向數組的指針,片段的長度。
也就是說,上面我們印出來的不是切片本身,而是切片所指向的陣列。再舉個例子,驗證一下切片到底有沒有改變。
package main import ( "fmt" ) func main() { m1 := make([]string, 1) m1[0] = "test" fmt.Println("调用 func1 前 m1 值:", m1, cap(m1)) func1(m1) fmt.Println("调用 func1 后 m1 值:", m1, cap(m1)) } func func1 (a []string) { a = append(a, "val1") fmt.Println("func1中:", a, cap(a)) }
輸出結果如下:
呼叫func1 前m1 值: [test] 1
func1中: [test val1] 2
呼叫func1 後m1 值: [test] 1
這個結果說明,呼叫前後切片並沒有改變。先前例子中所謂的「變化」其實是切片中指向數組的指標所指向的數組的元素發生了變化,這句話可能比較拗口,但實際上如此。再次證明,引用類型的傳參不是 pass-by-reference 。
想透徹的了解 一個切片是一個陣列片段的描述。它包含了指向數組的指針,片段的長度這句話,有興趣可以看這篇文章:http://www.jb51.net/kf/201604/499045.html。學習一下切片的記憶體模型。
總結
總結很簡單,語言也需要透過現像看本質。還有本文的結論要記住:
There is no pass-by-reference in Go.
以上是Go語言對比 C++引用傳參的詳細內容。更多資訊請關注PHP中文網其他相關文章!