Go 到底有沒有引用傳參（對比 C++ ）

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

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 mainimport (    "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 mainimport (    "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 mainimport (    "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] 1func1中: [test val1] 2調用 func1 後 m1 值: [test] 1

這個結果說明，調用前後切片並沒有發生變化。之前例子中所謂的“變化”其實是切片中指向數組的指標指向的數組的元素髮生了變化，這句話可能比較拗口，但實際如此。再次證明，參考型別的傳參不是 pass-by-reference 。

想透徹的瞭解 一個切片是一個數組片段的描述。它包含了指向數組的指標，片段的長度這句話，有興趣可以看這篇文章：http://www.2cto.com/kf/201604/499045.html。學習一下切片的記憶體模型。

總結

總結很簡單，語言也需要透過現象看本質。還有本文的結論需要記住：

There is no pass-by-reference in Go.