1.slice底层源码
type slice struce{
array unsafe.Pointer 指针,指向底层数组
len int
cap int
}
2.append源码
func append(slice []Type,elems ...Type) []Type 这里传递参数是值拷贝,因此append无法修操作原切片。
值为结构体的情况下考虑使用指针。返回一个新的切片
3.append流程
- 先根据传参观察是否需要扩容
- 如果要扩容,扩容本质是分配一块更大的内存,并将旧slice的数据拷贝进新的slice。若原slice容量小于1024就会将容量扩大为原来的两倍,否则扩大为原来的1.25倍,这样可以节约资源(似乎go还会根据元素类型做一些微调,这里先不管)。扩容完成后将要追加的数据分配进去,且新的slice指向新的数组。例:
arr1:=[4]int{1,2,3,4}
sli1:=arr1[0:3]
case1:需要扩容
sli2:=append(sli1,8,9)
fmt.Println(arr1)
case2:不需要扩容
sli2:=append(sli1,8)
fmt.Println(arr1)
- 如果不需要扩容,append就在原数组上修改,但不会修改旧slice,例如:
x:=make([]int,0,10)
x=append(x,1,2,3) 此时的底层数组:1,2,3,0,0,0,0,0,0,0
y:=append(x,8) 此时的底层数组:1,2,3,8,0,0,0,0,0,0
z:=append(x,10) 此时的底层数组:1,2,3,10,0,0,0,0,0,0
fmt.Println(x) 仍为1,2,3 因为append没有修改x的指向范围
fmt.Println(y) 1,2,3,10 因为y和z的append虽然没有修改x,但他们指向的都是同一个底层数组,因此y和z的值相同
fmt.Println(z) 1,2,3,10 此时的底层数组:1,2,3,10,0,0,0,0,0,0