1.介绍
golang分配内存主要有内置函数new和make
相同点:
- 他们的第一个参数都是一个类型而不是一个值
不同点:
- new可分配任意类型的数据
- make只能为slice, map, channel分配内存
- new返回的是指针
- make返回类型的是引用而不是指针,并且返回的值也依赖于具体传入的类型,
这种不同点的原因是:这三种类型(slice, map, channel)的数据结构必须在使用前初始化
func make(t Type,size IntegerType) Typemake(Type, len, cap)
- Type:数据类型,必要参数,Type 的值只能是 slice、 map、 channel 这三种数据类型。
- len:数据类型实际占用的内存空间长度,map、 channel 是可选参数,slice 是必要参数。
- cap:为数据类型提前预留的内存空间长度,可选参数,所谓的提前预留是当前为数据类型申请内存空间的时候,提前申请好额外的内存空间,这样可以避免二次分配内存带来的开销,大大提高程序的性能
2.用法
- make(map[string]string)
- 缺少长度的参数,只传类型,这种用法只能用在类型为map或chan的场景,例如make([]int)是会报错的。这样返回的空间长度都是默认为0的
- make([]int, 2)
- 指定了长度,例如make([]int, 2)返回的是一个长度为2的slice
- make([]int, 2, 4)
- 第二参数指定的是切片的长度,第三个参数是用来指定预留的空间长度,例如a := make([]int, 2, 4), 这里值得注意的是返回的切片a的总长度是4,预留的意思并不是另外多出来4的长度,其实是包含了前面2个已经切片的个数的。所以举个例子当你这样用的时候 a := make([]int, 4, 2),就会报语法错误
思考一个问题:为什么要指定预留的大小呢?
这是因为
make()
使用的是一种动态数组算法,一开始先向操作系统申请一小块内存,这个就是cap
,等cap
被len
占用满以后就需要扩容,扩容就是动态数组再去向操作系统申请当前长度的两倍的内存,然后将旧数据复制到新内存空间中,一般动态数组每次扩容都是原来的两倍,那么再来思考一个问题: 动态数组会一直这样扩容下去吗?理论上扩容应该是呈指数增长,但不同的程序员对扩容多少的理解是不一样的,不同的语言也有不同的算法,不过最后肯定在扩容 n 次后就不能按照倍数来扩了,这是因为有物理内存的限制,避免一次申请过多从而导致内存申请失败和内存浪费的情况
案例演示:
package mainimport "fmt"func main() {//分配片结构;* p==零var p *[]int = new([]int)*p = make([]int, 100, 100) //这样写有点复杂,很容易就搞乱了fmt.Println(p)//现在将V分配一个新的数组,100个整型//写法一//var v []int = make([]int, 100)//写法二:非常常用的写法,简节明了v := make([]int, 100)fmt.Println(v)}通过make()还可以灵活地创建数组切片。如 //创建切片也使用make函数,它被分配一个零数组和指向这个数组的切片。//创建一个初始元素个数为5的数组切片,元素初始值为0a := make([]int, 5) // len(a)=5//切片有长度和容量。切片的最大长度就是它的容量。//指定一个切片的容量,通过第三个参数。//创建一个初始元素个数为5的数组切片,元素初始值为0,并预留10个元素的存储空间b := make([]int, 5, 10) // len(b)=5, cap(b)=10//通过重新切片,可使切片增加。b = b[:cap(b)] // len(b)=5, cap(b)=5b = b[1:] // len(b)=4, cap(b)=4//直接创建并初始化包含5个元素的数组切片c := []int{1,2,3,4,5}
用法:
[go学习笔记.第七章.数组和切片] 4.切片的三种使用方式以及注意事项和使用细节
[go学习笔记.第九章.map] 1.map的介绍,声明,使用方式,crud操作以及遍历
[go学习笔记.第十四章.协程和管道] 2.管道
3.总结
- make仅用来分配及初始化类型为 slice、map、chan 的数据,new 可分配任意类型的数据
- new分配返回的是指针,即类型 *Type,make 返回引用,即Type
- new分配的空间被清零, make 分配空间后,会进行初始化