Go 语言中的slice类型可以理解为是数组array类型的描述符,包含了三个因素:
- 指向底层数组的指针
- slice目前使用到的底层数组的元素个数,即长度
- 底层数组的最大长度,即容量
因此当我们定义一个切片变量,s := make([]int, 5, 10),即为指向了一个最大长度为10的底层数组,目前切片s使用到的长度为5。
基于slice的定义,在使用slice时,有以下几点注意事项:
1.对slice进行切分操作
对slice进行切分操作会生成一个新的slice变量,新slice和原来的slice指向同一个底层数组,只不过指向的起始位置可能不同,长度及容量可能也不相同。
- 当从左边界有截断时,会改变新切片容量大小
- 左边界默认0,最小为0;右边界默认slice的长度,最大为slice的容量
- 当然,因为指向同一个底层数组,对新slice的操作会影响到原来的slice
2.slice的赋值及函数间传递
a := []int{1, 2, 3, 4, 5}
b := a
如上所示,则a, b指向同一个底层数组,且长度及容量因素相同,对b进行的操作会影响到a。
func main() {
a := []int{1, 2, 3, 4, 5}
modifySlice(a)
//[10 2 3 4 5]
fmt.Println(a)
}
func modifySlice(s []int) {
s[0] = 10
}
如上所示,将slice作为参数在函数间传递的时候是值传递,产生了一个新的slice,只不过新的slice仍然指向原来的底层数组,所以通过新的slice也能改变原来的slice的值
func main() {
a := []int{1, 2, 3, 4, 5}
modifySlice(a)
//[1 2 3 4 5]
fmt.Println(a)
}
func modifySlice(s []int) {
s = []int{10, 20, 30, 40, 50}
}
示例代码 https://play.golang.org/p/LbFovzP-Rj
但是,如上所示,在调用函数的内部,将s整体赋值一个新的slice,并不会改变a的值,因为modifySlice函数内对s重新的整体赋值,让s指向了一个新的底层数组,而不是传递进来之前的a指向的那个数组,之后s的任何操作都不会影响到a了。
3.slice的append操作
append操作最容易踩坑,下面详细说明一下。
append函数定义: func append(s []T, x ...T) []T
Append基本原则:对于一个slice变量,若slice容量足够,append直接在原来的底层数组上追加元素到slice上;如果容量不足,append操作会生成一个新的更大容量的底层数组。
第一种情况:
func main() {
a := make([]int, 2, 4)
//通常append操作都是将返回值赋值给自己,
//此处为了方便说明,没有这样做
b := append(a, 1)
//改变b的前2个元素值 会影响到a
b[0] = 99
//a: [99 0] &a[0]: 0x10410020 len: 2 cap: 4
fmt.Println("a:", a, " &a[0]:", &a[0], " len:", len(a), " cap:", cap(a))
//b: [99 0 1] &b[0]: 0x10410020 len: 3 cap: 4
fmt.Println("b:", b, " &b[0]:", &b[0], " len:", len(b), " cap:", cap(b))
}
如上所示,对a进行append操作,若append后的新slice的实际元素个数没有超出原来指向的底层数组的容量,所以仍然使用原来的底层数组:a, b的第一个值的地址一样, 改变b的前2个元素也会影响到a。其实这时候a,b指向的同一个底层数组的第3位(索引2)已经变成了数值1,但是对slice而言,除了底层数组,还有长度,容量两个因素,这时候a的长度仍然是2,所以输出的a的值没有变化。
第二种情况:
func main() {
a := make([]int, 2, 4)
//通常append操作都是将返回值赋值给自己,
//此处为了方便说明,没有这样做
b := append(a, 1, 2, 3)
//改变b的前2个元素值 不会影响到a
b[0] = 99
//a: [0 0] &a[0]: 0x10410020 len: 2 cap: 4
fmt.Println("a:", a, " &a[0]:", &a[0], " len:", len(a), " cap:", cap(a))
//b: [99 0 1 2 3] &b[0]: 0x10454000 len: 5 cap: 8
fmt.Println("b:", b, " &b[0]:", &b[0], " len:", len(b), " cap:", cap(b))
}
如上所示,若append后的新slice即b的实际元素个数已经超出了原来的a指向的底层数组的容量,那么就会分配给b一个新的底层数组,可以看到,a,b第一个元素的地址已经不同,改变b的前两个元素值也不会影响到a,同时容量也发生了变化。
第三种情况:
func main() {
a := make([]int, 2, 4)
a[0] = 10
a[1] = 20
//a: [10 20] &a[0]: 0x10410020 len: 2 cap: 4
fmt.Println("a:", a, " &a[0]:", &a[0], " len:", len(a), " cap:", cap(a))
//进行append操作
b := append(a[:1], 1)
|