可变参数
如果一个函数最后一个参数被标记为…T
,表示函数可以接受一个可变的参数。
比如,我们想在nums中查找num是否存在:
func find(num int, nums …int){
}
目的是通过find函数,在nums中查找num。
比如:
find(89,89,90,91)
会返回true。
原理
可变参数函数的原理是把可变参数转换成一个新的切片。
上面例子中,就可以变成for循环遍历nums切片,查找num。
如果可变参数没有传,则nums变成了一个长度为0的nil切片。
既然我们知道了可变参数会被转换成切片,那么通过go语法糖,可以将一个存在的分配当作可变参数的参数。
通过在切片后加上…后缀完成,这样传入一个切片后,切片将不会再进行创建新分片的操作。
nums := []int{89,90,95}
find(89, nums…)
切片
切片是数组之上的灵活切强大的包装,切片本身不包含任何数据,只是对现有数组的引用,于是我们对分片的值修改最后都会反映到数组本身上。
分片中numa[:],这种缺少开始和结束值,开始值会默认为0,结束值会是len(numa),则此分片会和原数组共享数组,分片中值的任何修改都会反映到数组本身上。
创建分片
通过make语法可以创建一个分片:
I := make([]int, 5, 5) // 创建指定长度和容量的分片,默认值为0
由于数组长度是固定的,长度不能增加,切片则是动态的,使用append可以将新元素追加到分片上。
当新元素被添加到切片中时,会创建一个新的数组,现有数组元素被复制到这个新数组中,返回新数组的引用,这样就通过复制新数组方式完成了数组的扩容,每次扩容,新数组容量会扩大一倍。
通过append可以将一个分片添加到另一个分片。
切片内部
切片内部是个结构体:
type slice struct{
Length int
Capacity int
ZerothElement *byte
}
包含切片长度,容量,指向的数组第零个元素指针。
垃圾回收
切片底层持有数组引用,只要切片在内存中,数组就不会被回收。 如果数组很大,但是我们只需要处理数组一小部分,这时可以采用copy函数,生成一个切片副本,这样我们可以操作新切片,原始数组可以被回收了。