【Go】Go 语言切片(Slice)

文章目录

• 一、切片
• 二、声明切片
• • 方法1
  • 方法2
  • 总结：创建切片的各种方式
• 三、切片初始化
• • 1. 声明的同时初始化
  • 2. 用数组初始化切片
  • 3. 切片的内存布局：
  • • 读写操作实际目标是底层数组，只需注意索引号的差别。（本质：切片是数组的一个引用）
    • 这是因为，我们直接创建 slice 对象时，系统会自动分配底层数组
    • 还可用指针直接访问底层数组，退化成普通数组操作
• 四、一些复杂类型切片
• • 1. [][]T，是指元素类型为 []T 的切片。
  • 2. 结构体数组 / 切片
• 五、len()、cap()、append()、copy()
• • 1. len() 和 cap() 函数
  • 2. append() 函数
  • • （1）用 append 内置函数实现切片追加，实例：
    • （2）append 函数原理 ：向 slice 尾部添加数据，返回新的 slice 对象。
    • （3）若给切片 append 的元素数量超出原 slice.cap 限制，就会重新给 slice 分配底层数组，并进行扩容：
  • 3. copy() 函数（切片的深拷贝）
• 六、切片遍历
• 七、字符串和切片（string and slice）
• • 1. string 底层就是一个 byte 的数组，因此，也可以进行切片操作。
  • 2. string本身是不可变的，因此要改变string中的字符。需要如下操作：
• 八、对切片[x:y:z] 两个冒号的理解
• • 1. 常规切片截取（一个冒号）
  • 2. 两个冒号的截取
• 参考链接

---

一、切片

Go 语言切片是对数组的一种抽象。

Go 数组的长度不可改变，在特定场景中就不太适用，Go 中提供了一种灵活，功能强悍的内置类型：切片(“动态数组”)，与数组相比切片的长度是不固定的，可以追加元素，在追加时可能使切片的容量增大。

需要说明，slice 并不是数组或数组指针。它通过内部指针和相关属性 引用数组片段 ，以实现变长方案。

1. 切片：切片是数组的一个引用，因此切片是引用类型。但自身是结构体，值拷贝传递。
2. 切片的长度可以改变，因此，切片相当于一个可变的数组。
3. 切片遍历方式和数组一样，可以用 len() 求长度。表示可用元素数量，读写操作不能超过该限制。
4. cap 可以求出 slice 最大扩张容量，不能超出数组限制。0 <= len(slice) <= len(array)，其中array是slice引用的数组。
5. 切片的定义：var 切片变量名 []类型，比如 var str []string 、 var arr []int。
6. 如果 slice == nil，那么 len、cap 结果都等于 0。

切片 Slice 在源码中的数据结构定义如下:

type slice struct {
    array unsafe.Pointer  //一个指向数组的指针
    len   int
    cap   int
}

切片的结构体由3部分构成，Pointer 是指向一个数组的指针，len 代表当前切片的长度，cap 是当前切片的容量。cap 总是大于等于 len 的。

总结：
Go 语言中的切片类型是从数组类型基础上发展出来的新类型，当声明一个数组时，不指定该数组长度，则该类型为切片(“动态数组”)，切片有自己独立的内部结构字段(len, cap, array pointer)，并于其引用的底层数组共用存储空间。

---

二、声明切片

方法1

你可以 声明 一个 未指定大小的数组 来定义切片，切片声明时不需要说明长度（[]没有声明长度，说明这是一个切片，而不是一个数组。因为数组声明是必须指定长度的。）：

var identifier []type

如上这种形式的只声明不初始化，这时切片 默认 初始化为 nil：len=0 cap=0 slice=[]

之所以为 nil ，是因为 没有分配存储空间。

实例：一个切片在未初始化之前默认为 nil，长度为 0：

package main

import "fmt"

func main() {
	var numbers []int

	printSlice(numbers)

	if numbers == nil {
		fmt.Printf("切片是空的")
	}
}

func printSlice(x []int) {
	fmt.Printf("len=%d cap=%d slice=%v
", len(x), cap(x), x)
}

输出结果：

len=0 cap=0 slice=[]
切片是空的

多一嘴：

nil 切片被用在很多标准库和内置函数中，描述一个不存在的切片的时候，就需要用到 nil 切片。比如函数在发生异常的时候，返回的切片就是 nil 切片。nil 切片的指针指向 nil。
空切片一般会用来表示一个空的集合。比如数据库查询，一条结果也没有查到，那么就可以返回一个空切片。

方法2

如果你想声明一个拥有初始长度或规定容量的切片（可以指定切片的长度和容量），可以使用 make() 函数来创建切片:

var slice1 []type = make([]type, length, capacity)

也可以简写为

slice1 := make([]type, length, capacity)

这里 length 是数组的长度并且也是切片的初始长度。
容量 capacity 为可选参数（可选的意思是可以缺省，如果不指定capacity，则capacity默认等于length）。

make 创建的切片与其底层数组：