Go语言基础之切片
1 切片介绍
Golang提供数组这种存储相同类型数据的数据结构，由于在现实生活中一件事物的个数不是固定，比如说一个班级的学生人数等，然而数组的长度是固定，因此在Golang中很少直接使用数组。和数组相对应的类型是切片slice，其代表变长的序列，序列中每个元素都是相同的类型。
1.1 切片的内部实现
如图1所示，可以看出切片的底层还是数组。slice从底层来说，其实就是一个数据结构（struct结构体），切片有3个字段的数据结构，这三个字段分别是指向底层数组的指针、切片访问的元素的个数（即长度）和切片允许增长到的元素个数（即容量）。
图1 切片在内存中的形式
2 切片的使用
2.1 基于数组定义切片
定义一个切片，然后让切片去引用一个已经创建好的数组，如下案例：
1 func main() { 2 // 方式1：基于数组定义切片，定义一个切片，然后让切片去引用已经创建好的数组 3 var arr = [...]int{1, 2, 3, 4, 5} 4 var slice = arr[1:3] //左包含右不包含 5 fmt.Printf("slice的类型%T\n", slice) //slice的类型[]int 6 fmt.Println("slice=", slice) //slice= [2 3] 7 fmt.Println("slice len =", len(slice)) //slice len = 2 8 fmt.Println("slice cap =", cap(slice)) //slice cap = 4 9 }
2.2 使用make()函数创建切片
基本语法： var 切片名 []type = make([]type, len, [cap])
参数说明： type 就是数据类型； len 大小； cap 指定切片容量，可选，如果分配了 cap ，则要求 cap >= len 。
1 func main() { 2 // 方式2：使用make函数创建切片 3 var slice []float64 = make([]float64, 5, 10) 4 slice[1] = 10 5 slice[2] = 20 6 // 对于切片，必须make使用 7 fmt.Println(slice) //[0 10 20 0 0] 8 fmt.Println("slice len =", len(slice)) //slice len = 5 9 fmt.Println("slice cap =", cap(slice)) //slice cap = 10 10 }
- 通过make方式创建切片可以指定切片的大小和容量
- 如果没有给切片的各个元素赋值，那么就会使用默认值
- 通过make方式创建的切片对应的数组是由make底层维护，对外不可见，即只能通过slice去访问各个元素
2.3 直接定义并赋值
定义一个切片，直接就指定具体数组，使用原理类似make的方式
1 func main() { 2 // 方式3：定义一个切片，直接就指定具体数组 3 var slice []string = []string{"tom", "jerry", "mary"} 4 fmt.Println(slice) //[tom jerry mary] 5 fmt.Println("slice len =", len(slice)) //slice len = 3 6 fmt.Println("slice cap =", cap(slice)) //slice cap = 3 7 }
方式一和方式二的区别：
- 方式1是直接引用数组，这个数组是事先存在的，程序员是可见的
- 方式2是通过make来创建切片，make也会创建一个数组，是由切片在底层进行维护，程序员不可见
2.4 切片再切片
除了基于数组和make函数得到切片，我们还可以通过切片来得到切片。
1 func main() { 2 // 切片再切片 3 // 不仅可以基于数组和make函数来创建切片，也可以通过切片创建切片 4 5 cityArray := [...]string{"北京", "上海", "广州", "深圳", "成都", "重庆"} 6 fmt.Printf("cityArray:%v type:%T len:%d cap:%d\n", cityArray, cityArray, len(cityArray), cap(cityArray)) 7 citySlice := cityArray[1:3] 8 fmt.Printf("citySlice:%v type:%T len:%d cap:%d\n", citySlice, citySlice, len(citySlice), cap(citySlice)) 9 newCitySlice := citySlice[1:5] 10 fmt.Printf("newCitySlice:%v type:%T len:%d cap:%d\n", newCitySlice, newCitySlice, len(newCitySlice), cap(newCitySlice)) 11 }
输出：
1 cityArray:[北京 上海 广州 深圳 成都 重庆] type:[6]string len:6 cap:6 2 citySlice:[上海 广州] type:[]string len:2 cap:5 3 newCitySlice:[广州 深圳 成都 重庆] type:[]string len:4 cap:4
切片初始化时，仍然不能越界。范围在[0-len(arr)]之间，但可以动态增长。
- var slice = arr[0:end] 可以简写 var slice = arr[:end]
- var slice = arr[:end] 可以简写 var slice = arr[:end]
- var slice = arr[0:len(arr)] 可以简写 var slice = arr[:]
3 切片的遍历
切片的遍历和数组一样，也有两种方式： for 循环常规方式遍历； for-range 结构遍历切片。
1 func main() { 2 s := []int{1, 3, 5} 3 4 for i := 0; i < len(s); i++ { 5 fmt.Println(i, s[i]) 6 } 7 8 for index, value := range s { 9 fmt.Println(index, value) 10 } 11 }
4 appned()方法为切片添加元素
Go语言的内建函数 appen() 可以为切片动态添加元素，每个切片会指向一个底层数组，这个数组的容量够用就添加新增元素。当底层数组不能容纳新增的元素时，切片就会自动按照一定的策略进行“扩容”，此时该切片指向的底层数组就会更换。“扩容”操作往往发生在 appen() 函数调用时，所以通常都需要用原变量接收 append() 函数的返回值。
1 func main() { 2 //append()添加元素和切片扩容 3 var numSlice []int 4 for i := 0; i < 10; i++ { 5 numSlice = append(numSlice, i) 6 fmt.Printf("%v len:%d cap:%d ptr:%p\n", numSlice, len(numSlice), cap(numSlice), numSlice) 7 } 8 }
输出：
1 [0] len:1 cap:1 ptr:0xc0000a8000 2 [0 1] len:2 cap:2 ptr:0xc0000a8040 3 [0 1 2] len:3 cap:4 ptr:0xc0000b2020 4 [0 1 2 3] len:4 cap:4 ptr:0xc0000b2020 5 [0 1 2 3 4] len:5 cap:8 ptr:0xc0000b6000 6 [0 1 2 3 4 5] len:6 cap:8 ptr:0xc0000b6000 7 [0 1 2 3 4 5 6] len:7 cap:8 ptr:0xc0000b6000 8 [0 1 2 3 4 5 6 7] len:8 cap:8 ptr:0xc0000b6000 9 [0 1 2 3 4 5 6 7 8] len:9 cap:16 ptr:0xc0000b8000 10 [0 1 2 3 4 5 6 7 8 9] len:10 cap:16 ptr:0xc0000b8000
从上面的结果可以看出：
- append() 函数将元素追加到切片的最后并返回该切片；
- 切片 numSlice 的容量按照1,2,4,8,16这样的规则自动进行扩容，每次扩容后都是扩容前的2倍；
- 切片在动态增加元素时，如果有一次增加的元素超过切片的容量，go底层会抛弃原先的数组，创建一个新的数组newArr，将slice原来包含的元素拷贝到新的数组newArr，slice重新引用到newArr；注意newArr是在底层来维护的，程序员不可见。
4.1 一次追加多个元素
append()函数还支持一次性追加多个元素：
1 var citySlice []string 2 // 追加一个元素 3 citySlice = append(citySlice, "北京") 4 // 追加多个元素 5 citySlice = append(citySlice, "上海", "广州", "深圳") 6 // 追加切片 7 a := []string{"成都", "重庆"} 8 citySlice = append(citySlice, a...) //...代表的含义是将切片a展开，将其中的元素一一添加到citySlice中 9 fmt.Println(citySlice) //[北京 上海 广州 深圳 成都 重庆]
4.2 删除切片中的元素
由于切片没有特定的方法删除切片中的元素，于是使用 append() 函数结合切片本身的特性实现切片中元素的删除。例如：
1 func main() { 2 // 从切片中删除元素 3 a := []int{30, 31, 32, 33, 34, 35, 36, 37} 4 // 要删除索引为2的元素 5 a = append(a[:2], a[3:]...) 6 fmt.Println(a) //[30 31 33 34 35 36 37] 7 }
要从切片 slice 中删除索引为 index 的元素，操作方式是 slice = append(slice[:index], slice[index+1:]…)
5 切片的扩容原则
可以通过查看 $GOROOT/src/runtime/slice.go 源码，其中扩容相关代码如下：
1 newcap := old.cap 2 doublecap := newcap + newcap 3 if cap > doublecap { 4 newcap = cap 5 } else { 6 if old.len < 1024 { 7 newcap = doublecap 8 } else { 9 // Check 0 < newcap to detect overflow 10 // and prevent an infinite loop. 11 for 0 < newcap && newcap < cap { 12 newcap += newcap / 4 13 } 14 // Set newcap to the requested cap when 15 // the newcap calculation overflowed. 16 if newcap <= 0 { 17 newcap = cap 18 } 19 } 20 }
从上面的代码可以看出以下内容：
- 首先判断，如果新申请容量(cap)大于2倍的旧容量(old.cap)，最终容量(newcap)就是新申请的容量(cap)；
- 否则判断，如果旧切片的长度小于1024，则最终容量(newcap)就是旧容量(old.cap)的两倍，即(newcap=doublecap)；
- 否则判断，如果旧切片长度大于等于1024，则最终容量(newcap)从旧容量(old.cap)开始循环增加原来的1/4，即(newcap=old.cap, for {newcap += newcap / 4})直到最终容量(newcap)大于等于新申请的容量(cap)，即(newcap >= cap)；
- 如果最终容量(cap)计算值溢出，则最终容量(cap)就是新申请容量(cap)。
需要注意的是，切片扩容还会根据切片中元素的类型不同而做出不同的处理，比如 int 和 string 类型的处理方式就不一样。
6 切片的拷贝操作
切片是引用类型，在赋值拷贝和使用 copy() 函数拷贝时要注意二者的区别。
6.1 切片的赋值拷贝
下面的代码中演示了拷贝前后两个变量共享底层数组，对一个切片的修改会影响另一个切片的内容，这点需要特别注意。
1 func main() { 2 s1 := make([]int, 3) //[0 0 0] 3 s2 := s1 //将s1直接赋值给s2，s1和s2共用一个底层数组 4 s2[0] = 100 5 fmt.Println(s1) //[100 0 0] 6 fmt.Println(s2) //[100 0 0] 7 }
切片在函数之间传参时，也遵守引用传递机制，如果在函数中修改切片中的内容，那么也会改变实参。
1 func test(slice []int){ 2 slice[0] = 100 3 } 4 5 func main(){ 6 var slice = []int{1, 2, 3, 4, 5} 7 fmt.Println("slice =", slice) // slice = [1 2 3 4 5] 8 test(slice) 9 fmt.Println("slice =", slice) // slice = [100 2 3 4 5] 10 }
6.2 使用copy()函数复制切片
切片使用copy内置函数完成拷贝，举例说明：
1 func main() { 2 // 切片的拷贝操作 3 var slice1 []int = []int{1, 2, 3, 4, 5} 4 var slice2 = make([]int, 10) 5 copy(slice2, slice1) //将slice1复制到slice2 6 fmt.Println("slice1=", slice1) // slice1= [1 2 3 4 5] 7 fmt.Println("slice2=", slice2) // slice2= [1 2 3 4 5 0 0 0 0 0] 8 }
对上面代码的说明：
- copy(para1, para2)参数的数据类型是切片；
- 按照上面的代码，slice1和slice2的数据空间是独立的，相互不影响，也就是说 slice1[0]=999 ， slice2[0] 仍然是1；
注意：如果在拷贝时，目标切片的容量小于源切片的容量，此时目标的容量有多少就存多少源切片的内容：
1 func main() { 2 var a []int = []int{1, 2, 3, 4, 5} 3 var slice = make([]int, 1) 4 fmt.Println(slice) // [0] 5 copy(slice, a) 6 fmt.Println(slice) //[1] 7 }
7 string和slice
- string底层是一个byte数组，因此string也可以进程切片处理，案例演示：
1 func main() { 2 str := "abc" 3 slice := str[1:3] 4 fmt.Printf("%T\n", slice) // string 5 fmt.Println("slice =", slice) // slice = bc 6 fmt.Println(len(slice)) // 2 7 }
- string和切片在内存的形式，以上面代码为例画出内存示意图
- string是不可变得，也就是说不能通过 str[0] = ‘z‘ 方式来修改字符串
- 如果需要修改字符串，可以先将 string -> []byte 或者 []byte -> 修改 -> 重新转成 string ，代码如下：
1 func main() { 2 str1 := "hello world" 3 arr1 := []byte(str1) 4 arr1[0] = 'z' 5 str1 = string(arr1) 6 fmt.Println("str1=", str1) 7 /* 8 细节，我们转成[]byte后，可以处理英文和数字，但是不能处理中文， 9 原因是 []byte 按字节来处理，而一个汉字是3个字节，因此就会出现乱码 10 解决方法是将string转成[]rune即可，因为[]rune是按字符处理，兼容汉字 11 */ 12 str2 := "Hello Golang" 13 arr2 := []rune(str2) 14 arr2[0] = '北' 15 str2 = string(arr2) 16 fmt.Println("str2=", str2) 17 }
8 练习题
- 请写出下面代码的输出结果：
1 func main() { 2 var a = make([]string, 5, 10) 3 for i := 0; i < 10; i++ { 4 a = append(a, fmt.Sprintf("%v", i)) 5 } 6 fmt.Println(a) 7 }
View Code
- 请使用内置的 sort 包对数组 var a = […]int{3, 7, 8, 9, 1} 进行排序
版权声明：本文为dabric原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。