Go 可变参数和切片

/ go / 没有评论 / 1588浏览

Go 可变参数和切片

可变参数

如果一个函数最后一个参数被标记为…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函数,生成一个切片副本,这样我们可以操作新切片,原始数组可以被回收了。