在项目开发过程中,更多的场景是需要一个长度可以动态更新的数据存储结构,切片本身并非是动态数组或数组指针,他内部通过指针引用底层数组,并设定相关属性将数据读写操作限定在指定区域内。比如:
/runtime/slice.go typeslicestruct{ arrayunsafe.Pointer lenint capint }
切片初始化
切片有两种基本初始化方式:
切片可以通过内置的make函数来初始化,初始化时len=cap,一般使用时省略cap参数,默认和len参数相同,在追加元素时,如果容量cap不足时,将按len的2倍动态扩容。
通过数组来初始化切片,以开始和结束索引位置来确定最终所引用的数组片段。
//make([]T,len,cap)//T是切片的数据的类型,len表示length,cap表示capacity { s:=make([]int,5)//len:5cap:5 s:=make([]int,5,10)//len:5cap:10 s:=[]int{1,2,3} } { arr:=[...]int{0,1,3,4,6,7,8,9} s1:=arr[:] s2:=arr[2:5] s3:=arr[2:5:7] s4:=arr[4:] s5:=arr[:4] s6:=arr[:4:6] fmt.Println("s1:",s1,len(s1),cap(s1)) fmt.Println("s2:",s2,len(s2),cap(s2)) fmt.Println("s3:",s3,len(s3),cap(s3)) fmt.Println("s4:",s4,len(s4),cap(s4)) fmt.Println("s5:",s5,len(s5),cap(s5)) fmt.Println("s6:",s6,len(s6),cap(s6)) } 输出: s1:[0123456789]1010 s2:[234]38 s3:[234]35 s4:[456789]66 s5:[0123]410 s6:[0123]46
通过上例说明cap 是表示切片所引用数组片段的真实长度,len是表示已经赋过值的最大下标(索引)值加1.
注意下面两种初始化方式的区别:
{ vara[]int b:=[]int{} fmt.Println(a==nil,b==nil) fmt.Printf("a:%#v\n",(*reflect.SliceHeader)(unsafe.Pointer(&a))) fmt.Printf("b:%#v\n",(*reflect.SliceHeader)(unsafe.Pointer(&b))) fmt.Printf("asize%d\n",unsafe.Sizeof(a)) fmt.Printf("bsize%d\n",unsafe.Sizeof(b)) } 输出: truefalse a:&reflect.SliceHeader{Data:0x0,Len:0,Cap:0} b:&reflect.SliceHeader{Data:0x5168b0,Cap:0} asize24 bsize24 说明: 1.变量b的内部指针被赋值,即使该指针指向了runtime.zerobase,但它依然完成了初始化操作 2.变量a表示一个未初始化的切片对象,切片本身依然会分配所需的内存
切片之间不支持逻辑运算符,仅能判断是否为nil,比如:
{ vara[]int b:=[]int{} fmt.Println(a==b)//invalidoperation:a==b(slicecanonlybecomparedtonil) }
reslice
在原slice的基础上进行新建slice,新建的slice依旧指向原底层数组,新创建的slice不能超出原slice
的容量,但是不受其长度限制,并且如果修改新建slice的值,对所有关联的切片都有影响,比如:
{ s:=[]string{"a","b","c","d","e","f","g"} s1:=s[1:3]//b,c fmt.Println(s1,cap(s1)) s1_1:=s1[2:5]//c,d,e fmt.Println(s1_1,len(s1_1),cap(s1_1)) } 输出: [bc]26 [def]34
append
向切片尾部追加数据,返回新的切片对象; 数据被追加到原底层数组,如果超出cap限制,则为新切片对象重新分配数组,新分配的数组cap是原数组cap的2倍,比如:
{ s:=make([]int,5) s=append(s,1) s=append(s,5) fmt.Printf("%p,%v,%d\n",s,cap(s)) s=append(s,6)//重新分配内存 fmt.Printf("%p,cap(s)) } 输出: 0xc420010210,[12345],5 0xc4200140a0,[123456],10
如果是向nil切片追加数据,则会高频率的重新分配内存和数据复制,比如:
{ vars[]int fmt.Printf("%p,cap(s)) fori:=0;i<10;i++{ s=append(s,i) fmt.Printf("%p,cap(s)) } }
所以为了避免程序运行中的频繁的资源开销,在某些场景下建议预留出足够多的空间。
copy
两个slice之间复制数据时,允许指向同一个底层数组,并允许目标区间重叠。最终复制的长度以较短的切片长度(len)为准,比如:
{ s1:=[]int{0,6} s2:=[]int{7,9} copy(s1,s2) fmt.Println(s1,cap(s1)) s1=[]int{0,6} s2=[]int{7,9} copy(s2,s1) fmt.Println(s2,cap(s2)) }
那么可不可以在同一切片之间复制数据呢?
在项目开发过程中,如果slice长时间引用一个大数组中很小的片段,那么建议新建一个独立的切片,并复制出所需的数据,以便原数组内存可以被gc及时释优化回收。