Go語言切片是基于數組構建的動態數據結構，高效且靈活。然而，append操作對底層數組指針的影響，常常讓開發者感到困惑。本文深入探討append操作是否以及何時會改變切片底層數組指針。
一個常見的誤區是：append操作只有在發生容量擴容時才會改變底層數組指針。 但實際情況更為細致。讓我們分析以下代碼：
func main() { testSlice := make([]int, 0, 8) testSlice = append(testSlice, 1, 2, 3) copySlice := testSlice // copySlice 和 testSlice 指向同一個底層數組 testSlice[0] = 3 fmt.Println(copySlice) // 輸出 [3 2 3]，copySlice 受到了影響 testSlice = append(testSlice, 4) // 關鍵語句 fmt.Println(copySlice) // 輸出 [3 2 3] 或 [3 2 3 4]，取決于是否擴容 }
這段代碼首先創建一個容量為8的空切片testSlice，并添加元素1, 2, 3。 然后，copySlice被賦值為testSlice。 關鍵點在于： 此時copySlice和testSlice共享同一個底層數組。
立即學習“go語言免費學習筆記（深入）”；
修改testSlice[0]為3，copySlice也會受到影響，因為它們指向同一底層數組。 然而，testSlice = append(testSlice, 4) 這句至關重要。如果testSlice的容量不足，Go運行時會分配一個更大的底層數組，并將原有數據復制過去。這時，testSlice的底層數組指針會改變。 但重要的是： copySlice的底層數組指針不會改變，它仍然指向原來的數組。 因此，copySlice的值可能保持不變（如果未擴容），也可能發生變化（如果擴容并重新賦值）。
所以，append操作是否修改底層數組指針取決于是否發生擴容以及賦值操作。即使沒有擴容，如果append操作的結果被賦值回原切片，那么原切片仍然會指向同一個底層數組，只是數組內容發生了改變。 但如果像例子中那樣，append操作的結果被賦值給一個新的變量（例如 newSlice := append(testSlice, 4)），那么原切片（testSlice）的底層數組指針將保持不變，而新變量（newSlice）可能指向一個新的底層數組。
總而言之，append操作對底層數組指針的影響取決于多種因素，需要仔細分析代碼上下文才能得出準確結論。 切片賦值的語義是關鍵，理解這一點才能避免潛在的錯誤。
