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