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 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.2cto.com/kf/201604/499045.html。學習一下切片的內存模型。

總結

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

There is no pass-by-reference in Go.


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM