1、直接声明:var slice []int
2、new: slice := *new([]int)
3、字面量:slice := []int{1,2,3,4,5}
4、make: slice := make([]int, 5, 10)
5、从切片或数组“截取”:slice := array[1:5] 或 slice := sourceSlice[1:5]
Golang Slice,以及append函数的陷阱:
slice并不是单纯的一个指向数组的指针,它是一个结构体(包含:指针,长度,容量)
先看一个小例子:
func main() {
a := make([]int, 2, 2)
a[0], a[1] = 1, 2
b := append(a[0:1], 3)
c := append(a[1:2], 4)
fmt.Println(b,c)
}
在这个小例子中,原本是希望将a[0:1]
作为b的前缀,然后追加上3;将a[1:2]
作为c的前缀,然后追加上4。
但实际上输出结果并不是原本期望的[1 3] [2 4]
,而变成了[1 3] [3 4]
。这是为什么呢?
我们知道数据结构中数组是非常高效的,可以直接寻址,但是有个缺陷,难以扩容。所以slice被设计为指向数组的指针,
在需要扩容时,(会将底层数组上的值复制到一个更大的数组)上然后指向这个新数组。
slice有个特性是允许多个slice指向同一个底层数组,这是一个有用的特性,在很多场景下都能通过这个特性实现 no copy 而提高效率。
但共享同时意味着不安全。b在追加3时实际上覆盖了a[1]
,导致c变成了[3 4]
。
怎么解决呢?防止共享数据的出现问题需要注意两条,只读和复制,或者统一归纳为不可变。
写法1,make出一个新slice,然后先copy前缀到新数组上再追加:
func main() {
a := make([]int, 2, 2)
a[0], a[1] = 1, 2
b := make([]int, 1)
copy(b, a[0:1])
b = append(b, 3)
c := make([]int, 1)
copy(c, a[1:2])
c = append(c, 4)
fmt.Println(b, c)
}
写法2,利用go中slice的一个小众语法,a[0:1:1] (源[起始index,终止index,cap终止index])
,强迫追加时复制到新数组。
func main() {
a := make([]int, 2, 2)
a[0], a[1] = 1, 2
b := append(a[0:1:1], 3)
c := append(a[1:2:2], 4)
fmt.Println(b, c)
}