Go slice切片的“陷阱”和本质

文章说明

总结了go语言中切片slice的特殊性和使用时的注意事项。

我的理解，不足之处欢迎指出。

slice：切片，是go语言中一种经常使用的数据结构，基于数组构建，表示相同数据类型的集合。

数组

Go中数组类型表示固定长度的相同类型的数据的集合，数据在内存中连续存储，能够经过下标索引，可是又有特殊的地方：

• 数组是值类型，一个数组变量表示整个数组，而不是指向数组的首元素的指针，这和C语言不一样。
• 将数组赋值给另外一个数组，或者数组做函数参数传递时，会将数组的所有数据拷贝一份过去而不是传递一个指针。
• 数组类型包括长度，即[5]int和[10]不是一种类型。

因此Go语言中使用数组传递数据效率很低，一般使用切片。

切片

切片是一个数组片断的描述，包含了指向数组片断的指针，片断的长度len和容量cap（数组片断的最大长度），可是切片自己并非真正的指针类型。

切片的特性

1. 能够自动扩容 使用append()向切片追加数据，数据是被添加到切片指向的片断末尾，长度等于容量时切片就会自动扩容，扩容的细节后面的文章再讨论。
2. 切片之间赋值或者切片做函数参数传递时，是将指向数组片断的指针传递过去，因此改变一个会影响另外一个。

切片的陷阱

切片做函数参数传递或浅拷贝时，之因此改变一个切片的数据会影响另外一个切片，是由于两个切片中中包含了指向同一数组片断的指针。

一切看似正常？可是当一个切片发生扩容时，会将当前切片内的数据复制到另外一片内存区域，该切片的数组片断的地址发生改变，因此当切片扩容时修改一个切片的数据时不会再影响到另外一个切片！此时只能经过传递切片自己的地址来解决。

扩容时出错的代码以下：

package main

import "fmt"

func testSlice(slice []int) {
slice = append(slice, 6, 7, 8, 9, 10)
fmt.Println("testSlice:",slice)
}
func main() {
slice := []int{1, 2, 3, 4, 5}

	testSlice(slice)
fmt.Println("main:",slice)
}
复制代码

切片的本质

因此，切片不是指针类型，切片数据类型是包含指向一个数组片断的指针，和当前数组片断的长度，以及当前数组最大容量的一种复合数据结构。

想深刻了解Go中slice数据类型的底层实现，能够参考本人的Github中学习go