這篇文章主要介紹“Go語言的Slice怎么作為函數(shù)參數(shù)使用”，在日常操作中，相信很多人在Go語言的Slice怎么作為函數(shù)參數(shù)使用問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”Go語言的Slice怎么作為函數(shù)參數(shù)使用”的疑惑有所幫助！接下來，請跟著小編一起來學習吧！

創(chuàng)新互聯(lián)公司服務(wù)項目包括普寧網(wǎng)站建設(shè)、普寧網(wǎng)站制作、普寧網(wǎng)頁制作以及普寧網(wǎng)絡(luò)營銷策劃等。多年來，我們專注于互聯(lián)網(wǎng)行業(yè)，利用自身積累的技術(shù)優(yōu)勢、行業(yè)經(jīng)驗、深度合作伙伴關(guān)系等，向廣大中小型企業(yè)、政府機構(gòu)等提供互聯(lián)網(wǎng)行業(yè)的解決方案，普寧網(wǎng)站推廣取得了明顯的社會效益與經(jīng)濟效益。目前，我們服務(wù)的客戶以成都為中心已經(jīng)輻射到普寧省份的部分城市，未來相信會繼續(xù)擴大服務(wù)區(qū)域并繼續(xù)獲得客戶的支持與信任！

前言

首先要明確Go語言中實質(zhì)只有值傳遞，引用傳遞和指針傳遞是相對于參數(shù)類型來說。

個人認為上訴的結(jié)論不對，把引用類型看做對指針的封裝，一般封裝為結(jié)構(gòu)體，結(jié)構(gòu)體是值類型，所以感覺都是值傳遞。不然我感覺其它語言實質(zhì)不也都是值傳遞？不過我剛學Go，可能還沒完全弄懂，這個有問題可以互相討論下。

Go語言中的值類型：int、float、bool、array、sturct等，聲明一個值類型變量時，編譯器會在棧中分配一個空間，空間里存儲的就是該變量的值。

Go語言中的引用類型：slice，map，channel，interface，func，string等，聲明一個引用類型的變量，編譯器會把實例的內(nèi)存分配在堆上。

string和其他語言一樣，是引用類型，string的底層實現(xiàn)struct String { byte* str; intgo len; }; 但是因為string不允許修改，每次操作string只能生成新的對象，所以在看起來使用時像值類型。

其實引用類型可以看作對指針的封裝。

Slice切片在Go語言中實質(zhì)是一種結(jié)構(gòu)體類型，源碼中定義如下：

源碼位置：src/runtime/slice.go

type slice struct {
 array unsafe.Pointer
 len   int
 cap   int
}

從定義中我們可以知道slice是一種值類型，array是底層數(shù)組指針，它指向底層分配的數(shù)組；len是底層數(shù)組的元素個數(shù)；cap是底層數(shù)組的容量，超過容量會擴容。

問題與解析

典型問題

有了上面知識的鋪墊，下面我們來看下把slice作為函數(shù)參數(shù)傳遞的典型問題：

package main

import "fmt"

func main() {
 tmp := make([]int, 0)
    fmt.Printf("%p\n", &tmp)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
 change(tmp)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}

func change(tmp []int) {
    fmt.Printf("%p\n", &tmp)
 tmp = append(tmp, 6)
    fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//運行結(jié)果
//0xc000004078
//[] 0 0 0x59cde0
//0xc0000040c0
//[6] 1 1 0xc000014098
//[] 0 0 0x59cde0

這是一個典型問題，你所有疑問的基本這種類型的問題。

疑問點：slice不是引用類型嗎？把它做參數(shù)傳遞時實參應(yīng)該同步修改啊，為什么main函數(shù)中的tmp沒變？

解析：

從之前講的知識中我們已經(jīng)知道slice實質(zhì)是一個結(jié)構(gòu)體，其作為參數(shù)傳遞時形參實質(zhì)復制了實參整個結(jié)構(gòu)體的內(nèi)容，其實就是值傳遞。

形參分配有一份內(nèi)存空間，存放和實參相同的內(nèi)容，從運行結(jié)果可以看出形參的內(nèi)存地址和實參是不同的。

因為形參中底層數(shù)組指針和實參相同，所以當做修改操作時會同步修改到實參中，但是當使用append函數(shù)添加元素時，append函數(shù)返回的slice會覆蓋修改到形參的內(nèi)存空間中，和實參無關(guān)，所以在main函數(shù)中實參不變?？梢栽谏厦娲a中看到函數(shù)中形參已變但實參未變。

有同學看到上面解析之后可能還會有一些疑問，比如：

append函數(shù)有擴容機制，當函數(shù)內(nèi)使用append未擴容時，是不是就可以同步增加元素到實參中？
為什么傳指針就可以和實參完全同步，指針不也和引用類似嗎？
函數(shù)中使用append時，如果擴容，其中形參內(nèi)存空間中底層數(shù)組的地址會被覆蓋修改為新的擴容后的底層數(shù)組地址，而實參無變化。上面的代碼就是如此。

其它疑問1

package main

import "fmt"

func main() {
 tmp := make([]int, 0, 5)
 tmp = append(tmp, 1, 2, 3)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
 change(tmp)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}

func change(tmp []int) {
 tmp = append(tmp, 4)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//[1 2 3] 3 5 0xc00000c300
//[1 2 3 4] 4 5 0xc00000c300
//[1 2 3] 3 5 0xc00000c300

疑問點：從代碼中可以看出函數(shù)中使用append時是沒有擴容的，因為形參中底層數(shù)組地址和實參是一致的，那為什么實參中沒有增加元素？

解析：

其實實參中tmp[3]已經(jīng)變?yōu)?，但是實參和形參內(nèi)存空間中l(wèi)en和cap是獨立的，形參中l(wèi)en修改為了4但實參中l(wèi)en仍然為3，所以實參中未增加元素。

關(guān)于tmp[3]已經(jīng)變?yōu)?可以從如下代碼中反映出來：

package main

import "fmt"

func main() {
 tmp := make([]int, 0, 5)
 tmp = append(tmp, 1, 2, 3, 4, 5)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
 change(tmp[:3])
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}

func change(tmp []int) {
 tmp = append(tmp, 6)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//[1 2 3 4 5] 5 5 0xc00000c300
//[1 2 3 6] 4 5 0xc00000c300
//[1 2 3 6 5] 5 5 0xc00000c300

可以看出實參中4已經(jīng)變?yōu)?

或者從如下代碼中更為直接的看出：

package main

import (
 "fmt"
 "unsafe"
)

func main() {
 tmp := make([]int, 0, 5)
 tmp = append(tmp, 1, 2, 3)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
 change(tmp)
 p := unsafe.Pointer(&tmp[2])
 q := uintptr(p) + 8
 t := (*int)(unsafe.Pointer(q))
 fmt.Println(*t)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}

func change(tmp []int) {
 tmp = append(tmp, 4)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//[1 2 3] 3 5 0xc00000c300
//[1 2 3 4] 4 5 0xc00000c300
//4
//[1 2 3] 3 5 0xc00000c300

用實參tmp[2]的地址往后移一個元素地址長度，得到tmp[3]的地址輸出，可以看到變?yōu)榱?。

其它疑問2

package main

import "fmt"

func main() {
 tmp := make([]int, 0, 5)
 tmp = append(tmp, 1, 2, 3)
 fmt.Printf("%p\n", &tmp)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
 change(&tmp)
 fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}

func change(tmp *[]int) {
 *tmp = append(*tmp, 4)
 fmt.Printf("%p\n", tmp)
 fmt.Printf("%v %d %d %p\n", *tmp, len(*tmp), cap(*tmp), *tmp)
}
//0xc000004078
//[] 0 0 0xffdde0
//0xc000004078
//[1] 1 1 0xc000014098
//[1] 1 1 0xc000014098

疑問點：為什么指針可以同步修改到實參，*tmp = append(*tmp, 4)這不也是覆蓋修改到形參嗎？

解析：

首先明確傳指針時傳的是slice的地址，形參是地址而非一份和實參相同內(nèi)容的內(nèi)存空間，這點從代碼中打印的0xc000004078地址可以看出。所以*tmp = append(*tmp, 4)這段代碼覆蓋修改的是0xc000004078這個地址指向的slice，即主函數(shù)中的tmp切片，這點從代碼中主函數(shù)中切片tmp的底層數(shù)組地址從0xffdde0變?yōu)?xc000014098可以看出。

到此，關(guān)于“Go語言的Slice怎么作為函數(shù)參數(shù)使用”的學習就結(jié)束了，希望能夠解決大家的疑惑。理論與實踐的搭配能更好的幫助大家學習，快去試試吧！若想繼續(xù)學習更多相關(guān)知識，請繼續(xù)關(guān)注創(chuàng)新互聯(lián)網(wǎng)站，小編會繼續(xù)努力為大家?guī)砀鄬嵱玫奈恼拢?/p>
標題名稱：Go語言的Slice怎么作為函數(shù)參數(shù)使用
路徑分享：http://weahome.cn/article/jsdihg.html