Go slice:切片的“陷阱”和本质
文章说明
总结了go语言中切片slice的特殊性和使用时的注意事项。
个人理解,不足之处欢迎指出。
slice:切片,是go语言中一种常用的数据结构,基于数组构建,表示相同数据类型的集合。
数组
Go中数组类型表示固定长度的相同类型的数据的集合,数据在内存中连续存储,可以通过下标索引,但是又有特殊的地方:
- 数组是值类型,一个数组变量表示整个数组,而不是指向数组的首元素的指针,这和C语言不同。
- 将数组赋值给另一个数组,或者数组作函数参数传递时,会将数组的全部数据拷贝一份过去而不是传递一个指针。
- 数组类型包括长度,即[5]int和[10]不是一种类型。
所以Go语言中使用数组传递数据效率很低,通常使用切片。
切片
切片是一个数组片段的描述,包含了指向数组片段的指针,片段的长度len和容量cap(数组片段的最大长度),但是切片本身并不是真正的指针类型。
切片的特性
- 可以自动扩容
使用append()向切片追加数据,数据是被添加到切片指向的片段末尾,长度等于容量时切片就会自动扩容,扩容的细节后面的文章再讨论。 - 切片之间赋值或者切片作函数参数传递时,是将指向数组片段的指针传递过去,所以改变一个会影响另一个。
切片的陷阱
切片作函数参数传递或浅拷贝时,之所以改变一个切片的数据会影响另一个切片,是因为两个切片中中包含了指向同一数组片段的指针。
一切看似正常?但是当一个切片发生扩容时,会将当前切片内的数据复制到另一片内存区域,该切片的数组片段的地址发生改变,所以当切片扩容时修改一个切片的数据时不会再影响到另一个切片!此时只能通过传递切片本身的地址来解决。
扩容时出错的代码如下:
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数据类型的底层实现,可以参考本人实现slice的源代码自己动手实现Go切片数据结构