這篇文章介紹slice類型數(shù)據(jù)是如何在函數(shù)之間傳遞的韭赘。
package main
import (
"fmt"
"unsafe"
)
type myslice struct {
v1 uintptr
v2 uint64
v3 uint64
}
var p * myslice
func main() {
s1 := make([]int64, 2, 4)
s1[0] = 0x11
s1[1] = 0x22
// print s1
p = (* myslice)(unsafe.Pointer(&s1))
fmt.Printf("s1 p=%p,v1=%x,v2=%x,v=%x\n", p, p.v1, p.v2, p.v3)
s3 := useSlice(s1)
// print s1
p = (* myslice)(unsafe.Pointer(&s1))
fmt.Printf("s1 p=%p,v1=%x,v2=%x,v=%x\n", p, p.v1, p.v2, p.v3)
// print s3
p = (* myslice)(unsafe.Pointer(&s3))
fmt.Printf("s3 p=%p,v1=%x,v2=%x,v=%x\n", p, p.v1, p.v2, p.v3)
}
func useSlice(s2 []int64) []int64 {
// print s2
p = (* myslice)(unsafe.Pointer(&s2))
fmt.Printf("s2 p=%p,v1=%x,v2=%x,v=%x\n", p, p.v1, p.v2, p.v3)
s2 = append(s2, 0x33)
// print s2
p = (* myslice)(unsafe.Pointer(&s2))
fmt.Printf("s2 p=%p,v1=%x,v2=%x,v=%x\n", p, p.v1, p.v2, p.v3)
return s2
}
運(yùn)行結(jié)果如下：
$ go build && ./main
s1 p=0xc42000a2a0,v1=c42000a2c0,v2=2,v=4
s2 p=0xc42000a320,v1=c42000a2c0,v2=2,v=4
s2 p=0xc42000a320,v1=c42000a2c0,v2=3,v=4
s1 p=0xc42000a2a0,v1=c42000a2c0,v2=2,v=4
s3 p=0xc42000a300,v1=c42000a2c0,v2=3,v=4
通過(guò)這個(gè)例子代碼扁掸，我們非常清楚明確：go語(yǔ)言函數(shù)傳參是傳的值乓诽。
在我們slice的例子中坡氯，這個(gè)值是slice本身的值晨横，即24個(gè)字節(jié)(包含指向數(shù)據(jù)的指針，以及slice的len和cap值)箫柳，而不是slice所包含的數(shù)據(jù)的值手形。所以在callee函數(shù)內(nèi)部可以訪問(wèn)到slice元素的值，進(jìn)而在callee函數(shù)內(nèi)部可以修改slice元素的值悯恍，并對(duì)caller可見(jiàn)库糠；但是注意不能使用插入和刪除，因?yàn)閏allee的metadata是caller的metadata的拷貝涮毫，而不是引用瞬欧，當(dāng)在callee里面插入和刪除數(shù)據(jù)時(shí)贷屎，caller的metadata并沒(méi)有發(fā)生變化，即caller中記錄的len值艘虎，還是之前的值唉侄。
在上述例子中
- 第一個(gè)是s1和第二個(gè)s1輸出的值一模一樣，這是在調(diào)用useSlice(...)前后打出來(lái)的野建，可見(jiàn)盡管在useSlice里面修改的slice的值属划，但是main函數(shù)并不知道。
- 所有輸出的v1值都是相同的候生，即他們指向的數(shù)據(jù)存儲(chǔ)地址是同一塊地址榴嗅。
- s2的兩次輸出，除了v2值加一以為陶舞，其他都是一樣的嗽测，說(shuō)明此時(shí)append函數(shù)的返回值，就是append傳入?yún)?shù)的值肿孵。
- s3的值是新分配的slice對(duì)象唠粥，它里面的值和第二個(gè)s2輸出時(shí)一樣的，即是useSlice函數(shù)的返回值停做。
有同學(xué)可能會(huì)疑問(wèn)了晤愧，append既然輸出參數(shù)就是出入?yún)?shù)，那不是多此一舉嗎蛉腌，不用處理返回也行肮俜荨：
func useSlice(s2 []int64) []int64 {
append(s2, 0x33)
return s2
}
可是，編譯器直接就報(bào)錯(cuò)
./main.go:<line>: append(s2, 51) evaluated but not used
我也不知道為什么go要這么設(shè)計(jì)烙丛，我難道丟棄放回值不行嗎舅巷？
但是對(duì)于我們這個(gè)功能來(lái)說(shuō)，必須要賦值的河咽，因?yàn)閍ppend并沒(méi)有修改原來(lái)的s2钠右，它修改的是拷貝，append也是一個(gè)普通函數(shù)忘蟹，對(duì)于slice也是傳值進(jìn)入的飒房，傳入24字節(jié)，append函數(shù)修改了作為參數(shù)復(fù)制的24字節(jié)媚值，但是對(duì)于調(diào)用append的函數(shù)而言狠毯，那個(gè)slice已經(jīng)和append內(nèi)部使用的slice不是同一個(gè)24字節(jié)的內(nèi)容，所以append需要返回一個(gè)slice對(duì)象褥芒，而對(duì)于調(diào)用者來(lái)說(shuō)嚼松，最常見(jiàn)的用法是把這個(gè)傳出參數(shù)，重新賦值給傳入?yún)?shù)，即：
s2 = append(s2, ...)
最后我們看一下匯編碼惜颇，如何傳遞slice的
package main
func main() {
var ss []int64
useSlice(ss)
}
func useSlice(ss []int64) {
ss[0x11] = 0x21;
}
main函數(shù)的代碼片段
var ss []int64
467f0d: 48 c7 44 24 18 00 00 movq $0x0,0x18(%rsp)
467f14: 00 00
467f16: 48 c7 44 24 20 00 00 movq $0x0,0x20(%rsp)
467f1d: 00 00
467f1f: 48 c7 44 24 28 00 00 movq $0x0,0x28(%rsp)
467f26: 00 00
useSlice(ss)
467f28: 48 c7 04 24 00 00 00 movq $0x0,(%rsp) # data pointer
467f2f: 00
467f30: 48 c7 44 24 08 00 00 movq $0x0,0x8(%rsp) # len value
467f37: 00 00
467f39: 48 c7 44 24 10 00 00 movq $0x0,0x10(%rsp) # cap value
467f40: 00 00
467f42: e8 19 00 00 00 callq 467f60 <main.useSlice>
useSlice的代碼
func useSlice(ss []int64) {
467f60: 48 83 ec 08 sub $0x8,%rsp
467f64: 48 89 2c 24 mov %rbp,(%rsp)
467f68: 48 8d 2c 24 lea (%rsp),%rbp
ss[0x11] = 0x21;
467f6c: 48 8b 44 24 18 mov 0x18(%rsp),%rax # len value
467f71: 48 8b 4c 24 10 mov 0x10(%rsp),%rcx # data pointer
467f76: 48 83 f8 21 cmp $0x11,%rax # 比較下標(biāo)0x11和slice的len域皆刺，是否越界
467f7a: 77 02 ja 467f7e <main.useSlice+0x1e>
467f7c: eb 14 jmp 467f92 <main.useSlice+0x32>
467f7e: 48 c7 81 08 01 00 00 movq $0x22,0x88(%rcx) # 把值0x22賦給slice[0x11]
467f85: 2c 00 00 00
467f89: 48 8b 2c 24 mov (%rsp),%rbp
467f8d: 48 83 c4 08 add $0x8,%rsp
467f91: c3 retq
我們可以看到main函數(shù)把slice的三個(gè)成員全部通過(guò)堆棧傳遞給了useSlice，然后在useSlice里面在定義slice對(duì)象凌摄。
