淺析golang切片截取（刪除）功能

1. 引言

golang的切片被認為是和C++的vector容器類似，都可以認為是動態數組，但又不完全一樣。

那么區別到底在哪里呢?對元素的刪除方式是很重要的一點區別

• 對于C++的vector來說，用erase函數來刪除元素，其原理是將當前位置后面的元素都向前移動一位，刪除一個元素的平均時間復雜度為O(n)
• 對于golang的slice來說，沒有用來刪除元素的函數，但是其可以通過改變指向底層數組的指針和append的方式巧妙的實現元素的刪除，對頭部元素和尾部元素刪除時間復雜度都為O(1)，所以可以用切片來模擬棧和隊列，而C++用vector模擬隊列的時間復雜度過高，C++隊列的底層是deque，下文將利用代碼進行具體分析

2.分析過程

2.1 s[:]的方式截取元素

可以利用s[1:]的方式來刪除切片的第一個元素，產生的新切片仍舊與原切片共用一個底層數組，只是將底層數組的指針向后移動了一位。所以修改s2的元素，s1的元素也會改變。這一點是和vector最不同的，slice刪除頭部元素只需要O(1)的時間復雜度

func main() {
	// 驗證切片的截取功能
	s1 := []int{1,2,3,4,5}
	s2 := s1[1:]
	fmt.Println("切片s1:",s1)
	fmt.Println("切片s2:",s2)
	s2[0] = 6
	fmt.Println("修改s2的第一個元素后，切片s1:",s1)
	fmt.Println("修改s2的第一個元素后，切片s2:",s2)
}

上面這段代碼的輸出結果為：

2.2 append的方式截取元素

用append截取s1得到s3。append截取的方式類似于erase，后面的元素會向前移動。但是由于s3和s2，s1共用一個底層數組，截取得到s3時，s1,s2的元素也會改變。對于中間元素的刪除slice和vector時間復雜度相同

func main() {
	// 驗證切片的截取功能
	s1 := []int{1,2,3,4,5}
	s2 := s1[1:]
	s3 := append(s1[0:2],s1[3:]...)
	fmt.Println("切片s1:",s1)
	fmt.Println("切片s2:",s2)
	fmt.Println("切片s3:",s3)
	s2[0] = 6
	fmt.Println("修改s2的第一個元素后，切片s1:",s1)
	fmt.Println("修改s2的第一個元素后，切片s2:",s2)
	fmt.Println("修改s2的第一個元素后，切片s3:",s3)
}

輸出結果為：

3. 結論

正是由于slice可以方便的刪除頭部元素和尾部元素，所以用其模擬棧和隊列。而vector對于頭部元素的刪除復雜度太高，所以不建議用vector實現隊列