golang切片和c++ vector的比较

浅析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实现队列