在关于slice的博文中我们介绍过,如果对一个slice进行append操作,我们不确定其是否会扩容,所以应使用slice = append(slice,…)的形式对slice变量进行覆盖。
当append函数被单独使用时候。有如下情景:
s0 := []int{1, 2, 3}
_ = append(s0[:0], 4)
_ = append(s0[:1], 5)
_ = append(s0[:2], 6)
fmt.Println(s0) // [4 5 6]
以上append操作对s0底层的数组0,1,2位置进行了写操作。
s := make([]int, 2, 3)
copy(s, []int{99, 100, 101})
fmt.Println(s) // [99 100],这里只拷贝进来两个元素,因为s的len是2
_ = append(s, 10) // 对s进行追加元素10
fmt.Println(s) // [99 100],打印输出,没变
p := *(*struct {
array unsafe.Pointer
len int
cap int
})(unsafe.Pointer(&s))
fmt.Println(*(*int)(unsafe.Pointer(uintptr(p.array) + 2*unsafe.Sizeof(0)))) // 10 已经被写入底层数组
fmt.Println(s) // [99 100]
以上代码说明append操作会更新其底层结构的len字段,若不使用 slice = append(slice,…) 的形式更新其底层结构,那么即使值写入底层数组,在读的时候也十分困难,常规方法无法读取到,但可以通过unsafe指针进行内存的操作。
以上代码使用fmt.Println(*(*int)(unsafe.Pointer(uintptr(p.array) + 2*unsafe.Sizeof(0)))) // 10
读取到了追加进s的10。