Golang函数make介绍和用法

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}