寫在前面

周日下午在家學(xué)習(xí)，看到一個(gè)關(guān)于切片的問題，在網(wǎng)上找了一些資料，做個(gè)總結(jié)。

上代碼

func main() {
	sl := make([]int, 0, 10)
	var appenFunc = func(s []int) {
		s = append(s, 10, 20, 30)
		fmt.Println(s, len(sl), cap(sl))
	}
	fmt.Println(sl, len(sl), cap(sl))
	appenFunc(sl)
	fmt.Println(sl, len(sl), cap(sl))
	fmt.Println(sl[:10], len(sl), cap(sl))

	fmt.Println(sl[:], len(sl), cap(sl))
}

你覺得會(huì)輸出什么？思考一下再往下看。

有的人覺得可能是

[] 0 10
[10 20 30] 3 10 ?
[] 0 10
[] 0 10
[] 0 10

實(shí)際結(jié)果是

[] 0 10
[10 20 30] 0 10
[] 0 10
[10 20 30 0 0 0 0 0 0 0] 0 10
[] 0 10

是不是差別很大？這里的差別主要是第四行、第五行的結(jié)果。

第一行：比較好理解，切片沒有做任何修改，值應(yīng)該是:[] 0 10

第二行：也很好理解，在appendFunc函數(shù)中打印sl,結(jié)果是：[10 20 30] 3 10 第三行：由于go都是值傳遞，所以傳到appendFunc函數(shù)中的sl其實(shí)是切片復(fù)制了一份，對(duì)原sl沒有影響，所以輸出結(jié)果是：[] 0 10

第四行：sl[:10]這個(gè)應(yīng)該會(huì)報(bào)數(shù)組越界錯(cuò)誤才對(duì)？怎么沒有報(bào)錯(cuò)，而且還輸出了10 20 30,但是len(sl)等于0，很奇怪

第五行：如果第四行能輸出整個(gè)數(shù)組的內(nèi)容，這里的sl[:]應(yīng)該也能輸出內(nèi)容，但是為什么是空的？

分析原因

這里有2個(gè)問題：

• 為什么sl[0:10]能輸出10個(gè)元素，并且打印出了函數(shù)中添加的元素？但是len(sl)等于0
• 為什么sl[:]輸出空數(shù)組？

大家都知道，slice（切片）的底層實(shí)現(xiàn)，slice 底層存儲(chǔ)的數(shù)據(jù)結(jié)構(gòu)指向了一個(gè) array（數(shù)組），如下圖：

slice結(jié)構(gòu)體定義如下

type SliceHeader struct {  
    Data uintptr  
    Len  int  
    Cap  int  
}

• Data：指向具體的底層數(shù)組。
• Len：代表切片的長(zhǎng)度。
• Cap：代表切片的容量。

核心要記住的是：slice 真正存儲(chǔ)數(shù)據(jù)的地方，是一個(gè)數(shù)組。slice 的結(jié)構(gòu)中存儲(chǔ)的是指向所引用的數(shù)組指針地址。

看到這里你應(yīng)該明白了，傳入到appendFunc函數(shù)的sl雖然是外層定義的sl的一個(gè)值拷貝，它的修改不會(huì)影響原sl的內(nèi)容，但是由于Data是個(gè)指針，appendFunc函數(shù)對(duì)Data的修改自然就影響了原sl的Data，這個(gè)很好理解。

要記住一個(gè)關(guān)鍵點(diǎn)：如果傳過去的值是指向內(nèi)存空間的地址，是可以對(duì)這塊內(nèi)存空間做修改的

對(duì)于第一個(gè)問題：為什么sl[0:10]能輸出10個(gè)元素？

這里跟切片訪問的一個(gè)優(yōu)化有關(guān)，當(dāng)用s[low?:?high]訪問切片的時(shí)候，表達(dá)式?s[low : high]?中的 high，最大的取值范圍對(duì)應(yīng)著切片的容量（cap），不是單純的長(zhǎng)度（len） 。因此調(diào)用?fmt.Println(sl[:10])?時(shí)可以輸出容量范圍內(nèi)的值，不會(huì)出現(xiàn)越界。

相對(duì)的 fmt.Println(sl), fmt.Println(sl[:]) 因?yàn)樵撉衅?len 值為 0，沒有指定最大索引值，high 則取 len 值，導(dǎo)致輸出結(jié)果為空。

總結(jié)

本文主要涉及到切片在函數(shù)中的值傳遞和修改對(duì)原切片的影響，但是并沒有考慮切片擴(kuò)展的問題。這里有一篇文章專門介紹了一下擴(kuò)容的情況下對(duì)原數(shù)組的影響，可以看看Go Slice底層實(shí)現(xiàn)