寫在前面

周日下午在家學習，看到一個關于切片的問題，在網上找了一些資料，做個總結。

上代碼

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))
}

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

有的人覺得可能是

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

實際結果是

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

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

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

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

第四行：sl[:10]這個應該會報數組越界錯誤才對？怎么沒有報錯，而且還輸出了10 20 30,但是len(sl)等于0，很奇怪

第五行：如果第四行能輸出整個數組的內容，這里的sl[:]應該也能輸出內容，但是為什么是空的？

分析原因

這里有2個問題：

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

大家都知道，slice（切片）的底層實現，slice 底層存儲的數據結構指向了一個 array（數組），如下圖：

slice結構體定義如下

type SliceHeader struct {  
    Data uintptr  
    Len  int  
    Cap  int  
}

• Data：指向具體的底層數組。
• Len：代表切片的長度。
• Cap：代表切片的容量。

核心要記住的是：slice 真正存儲數據的地方，是一個數組。slice 的結構中存儲的是指向所引用的數組指針地址。

看到這里你應該明白了，傳入到appendFunc函數的sl雖然是外層定義的sl的一個值拷貝，它的修改不會影響原sl的內容，但是由于Data是個指針，appendFunc函數對Data的修改自然就影響了原sl的Data，這個很好理解。

要記住一個關鍵點：如果傳過去的值是指向內存空間的地址，是可以對這塊內存空間做修改的

對于第一個問題：為什么sl[0:10]能輸出10個元素？

這里跟切片訪問的一個優化有關，當用s[low?:?high]訪問切片的時候，表達式?s[low : high]?中的 high，最大的取值范圍對應著切片的容量（cap），不是單純的長度（len） 。因此調用?fmt.Println(sl[:10])?時可以輸出容量范圍內的值，不會出現越界。

相對的 fmt.Println(sl), fmt.Println(sl[:]) 因為該切片 len 值為 0，沒有指定最大索引值，high 則取 len 值，導致輸出結果為空。

總結

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