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

时间:2022-08-28 14:17:53

文章说明

总结了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数据类型的底层实现,可以参考本人实现slice的源代码自己动手实现Go切片数据结构