语言基础
Golang 中 make 和 new 的区别
new 可以针对所有的类型数据分配一段内存空间(未初始化),并返回对应的指针;
make 主要针对切片、map、chan等内置数据结构,分配内存空间、初始化数据结构的成员变量(类似于Java中,构造并初始化了一个对象的成员变量)。 make对基本的数据类型不生效。
数组和切片的区别
类型定义上的区别:
- 数组的定义组成包括:元素类型、数组长度;
- 切片的定义组成包括:元素类型;
可以这么理解,切片是由切片头部结构 + 数组组成。切片结构体长这样:
type SliceHeader struct {
Data uintpr // 指向一个数组,真正存放切片数据的数组
Len int
Cap int
}
指针所指向的数组,在切片append的时候,如果数组空间不够用了,会自动扩容,创建一个新的、更大的数组来替换。
for range 的时候它的地址会发生变化吗
for i, v := range list {}
这里看着是用了“:=”,但实际上,i和v的内存空间是没有变过的,只有在最开始的时候初始化分配,后续都是复用的。如下所示:
另外,对于range的参数list来说,这里用的是值传递,也就是range过程中,使用的list其实不是前文传入的list。
slices := make([]int, 0)
slices = append(slices, 10)
slices = append(slices, 20)
slices = append(slices, 30)
for i := range slices {
slices = append(slices, i)
}
这段代码不会死循环,为什么呢?slices不是一直在增长吗?
这里,可以把range当做一个函数来看待。像这样:
func range(list []int) int {
return list.Len
}
这里,range函数的入参是值传递,但是只是传入了前述的SliceHeader结构体,slices中的数组只有其指针随着结构体中的Data字段传入。如图下的红框所示,range函数的作用域内,这这个红框的结构体被复制了一份。所以在遍历过程中,外面的slices对象被append之后,也只是外面的slice结构体中的Len发生变化。range中的Len不变。
因此,上述的for range 等价于:
l := len(slices)
for i := 0; i < l; i++ {
slices = append(slices, i)
}
以上,可以在源码中查得。