Go 面試中的隱藏陷阱:SliceHeader 問題解析
大家好,我是煎魚。
最近也是面試季+畢業(yè)季了,很多同學(xué)正在積極準(zhǔn)備面試。尤其是很多同學(xué),已經(jīng)通過官網(wǎng)資料熟悉了 Go 基本語法,但沒有太大把握。希望對(duì)一些常見的棘手面試問題做一些預(yù)習(xí)。
今天和大家學(xué)習(xí) @Harutyun Mardirossian 大佬分享的面試題,一起進(jìn)步!
面試問題
請(qǐng)先在腦子里思考一下具體的運(yùn)行結(jié)果,再查看答案。
如下代碼:
func main() {
s := make([]int, 0, 2)
doSomething(s)
fmt.Println(s)
}
func doSomething(a []int) {
a = append(a, 1)
}
面試問題:fmt.Println 的輸出結(jié)果是什么?
問題解析
運(yùn)行程序,查看輸出結(jié)果:
[]
fmt.Println 最終打印的是一個(gè)長(zhǎng)度為 0 的切片。
答案是:空切片。(你答對(duì)了嗎?)
在 Go 中,函數(shù)參數(shù)是按值傳遞的,這意味著上述代碼在參數(shù)傳遞時(shí),創(chuàng)建了參數(shù)值的副本并傳遞給函數(shù)。
而切片實(shí)際上是一個(gè)包含長(zhǎng)度(len)、容量(cap)和指向底層數(shù)組指針(data)的結(jié)構(gòu)體。
當(dāng)我們將切片作為函數(shù)參數(shù)傳遞時(shí),實(shí)質(zhì)上復(fù)制的是切片的 SliceHeader,對(duì)應(yīng)的底層數(shù)組是保持不變的。
結(jié)合代碼來講,就是因?yàn)樵?nbsp;doSomething 函數(shù)中,創(chuàng)建了 SliceHeader 的新副本。然后 append 函數(shù)會(huì)在超過容量時(shí)重新分配新切片,并返回更新后的切片。
深入驗(yàn)證
我們可以使用 unsafe 包去打印 SliceHeader(切片頭),進(jìn)行進(jìn)一步的驗(yàn)證和分析。
如下代碼:
type SliceHeader struct {
Data uintptr
Len int
Cap int
}
func main() {
s := make([]int, 0, 2)
sh := (*SliceHeader)(unsafe.Pointer(&s))
fmt.Println(sh)
doSomething(s)
}
func doSomething(a []int) {
a = append(a, 1)
sh := (*SliceHeader)(unsafe.Pointer(&a))
fmt.Println(sh)
}
輸出結(jié)果:
&{1374389592336 0 2} // main
&{1374389592336 1 2} // doSomething
兩個(gè)切片的 Data 指針地址指向的是同一個(gè)底層數(shù)組。但由于長(zhǎng)度不同,它們?cè)趹?yīng)用的表現(xiàn)上是兩個(gè)不同的切片。
這也印證了前面問題的結(jié)果是輸出了空切片,切片長(zhǎng)度為 0 的內(nèi)部原理。
變通方法
這種情況下,建議是修改寫法,提高代碼易讀性。否則后續(xù)維護(hù)也比較麻煩,不熟悉的同學(xué)咋一眼一看很有可能發(fā)現(xiàn)不了問題。
但如果你還是希望輸出你想要的切片值,可以采取以下變通方法。
改動(dòng)后的代碼:
func main() {
s := make([]int, 0, 2)
doSomething(s)
fmt.Println(s[:1]) // 進(jìn)行新的切片操作
}
func doSomething(a []int) {
a = append(a, 1)
}
輸出結(jié)果:
[1]
原因是在進(jìn)行 s[:1] 切片操作時(shí),本質(zhì)上是創(chuàng)建了一個(gè)新的 SliceHeader,所以可以正常打印和獲取預(yù)期的元素。
當(dāng)然,還有一種常見的寫法就是切片 append 等變更后一定做一遍再賦值,這樣可以規(guī)避掉不少使用上的細(xì)節(jié)坑。
總結(jié)
今天這篇文章討論了一個(gè)很常見的 Go 面試問題,內(nèi)容涉及切片作為函數(shù)參數(shù)的傳遞和修改。
重點(diǎn)在于切片作為參數(shù)是按值傳遞的,因此函數(shù)內(nèi)部的修改不會(huì)影響外部變量。
如果仍然希望獲取可以通過切片操作,重新切分一下新的切片結(jié)果集就可以了。