2.11 new和make的区别

Go语言中new和make都是用来内存分配的原语(allocation primitives)。简单的说,new只分配内存,make用于slice,map,和channel的初始化。

new

new(T)函数是一个分配内存的内建函数。

我们都知道,对于一个已经存在变量,可对其指针进行赋值。

示例

  1. var p int
  2. var v *int
  3. v = &p
  4. *v = 11
  5. fmt.Println(*v)

那么,如果不是已经存在的变量会如何呢?能对其直接赋值吗?

示例

  1. var v *int
  2. *v = 8
  3. fmt.Println(*v)

结果会报如下错误

panic: runtime error: invalid memory address or nil pointer dereference [signal 0xc0000005 code=0x1 addr=0x0 pc=0x48df66]

如何解决?通过Go提供了new来初始化一地址就可以解决。

  1. var v *int
  2. v = new(int)
  3. *v = 8
  4. fmt.Println(*v)

那么我们来分析一下

  1. var v *int
  2. fmt.Println(*v)
  3. fmt.Println(v) //<nil>
  4. v = new(int)
  5. fmt.Println(*v)//
  6. fmt.Println(v)//0xc00004c088

我们可以看到初始化一个指针变量,其值为nil,nil的值是不能直接赋值的。通过new其返回一个指向新分配的类型为int的指针,指针值为0xc00004c088,这个指针指向的内容的值为零(zero value)。

同时,需要注意的是不同的指针类型零值是不同的。

示例

  1. type Name struct {
  2. P string
  3. }
  4. var av *[5]int
  5. var iv *int
  6. var sv *string
  7. var tv *Name
  8. av = new([5]int)
  9. fmt.Println(*av) //[0 0 0 0 0 0]
  10. iv = new(int)
  11. fmt.Println(*iv) // 0
  12. sv = new(string)
  13. fmt.Println(*sv) //
  14. tv = new(Name)
  15. fmt.Println(*tv) //{}

上面讲了对普通类型new()处理过后是如何赋值的,这里再讲一下对复合类型(数组,slice,map,channel等),new()处理过后,如何赋值。

数组示例

  1. var a [5]int
  2. fmt.Printf("a: %p %#v \n", &a, a)//a: 0xc04200a180 [5]int{0, 0, 0, 0, 0}
  3. av := new([5]int)
  4. fmt.Printf("av: %p %#v \n", &av, av)//av: 0xc000074018 &[5]int{0, 0, 0, 0, 0}
  5. (*av)[1] = 8
  6. fmt.Printf("av: %p %#v \n", &av, av)//av: 0xc000006028 &[5]int{0, 8, 0, 0, 0}

silce 示例

  1. var a *[]int
  2. fmt.Printf("a: %p %#v \n", &a, a) //a: 0xc042004028 (*[]int)(nil)
  3. av := new([]int)
  4. fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000074018 &[]int(nil)
  5. (*av)[0] = 8
  6. fmt.Printf("av: %p %#v \n", &av, av) //panic: runtime error: index out of range

map 示例

  1. var m map[string]string
  2. fmt.Printf("m: %p %#v \n", &m, m)//m: 0xc042068018 map[string]string(nil)
  3. mv := new(map[string]string)
  4. fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc000006028 &map[string]string(nil)
  5. (*mv)["a"] = "a"
  6. fmt.Printf("mv: %p %#v \n", &mv, mv)//这里会报错panic: assignment to entry in nil map

channel示例

  1. cv := new(chan string)
  2. fmt.Printf("cv: %p %#v \n", &cv, cv)//cv: 0xc000074018 (*chan string)(0xc000074020)
  3. //cv <- "good" //会报 invalid operation: cv <- "good" (send to non-chan type *chan string)

通过上面示例我们看到数组通过new处理,数组av初始化零值,数组虽然是复合类型,但不是引用类型,其他silce、map、channel类型也属于引用类型,go会给引用类型初始化为nil,nil是不能直接赋值的。并且不能用new分配内存。无法直接赋值。那么用make函数处理会是怎么样呢?

make

示例

  1. av := make([]int, 5)
  2. fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000046400 []int{0, 0, 0, 0, 0}
  3. av[0] = 1
  4. fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000046400 []int{1, 0, 0, 0, 0}
  5. mv := make(map[string]string)
  6. fmt.Printf("mv: %p %#v \n", &mv, mv) //mv: 0xc000074020 map[string]string{}
  7. mv["m"] = "m"
  8. fmt.Printf("mv: %p %#v \n", &mv, mv) //mv: 0xc000074020 map[string]string{"m":"m"}
  9. chv := make(chan string)
  10. fmt.Printf("chv: %p %#v \n", &chv, chv) //chv: 0xc000074028 (chan string)(0xc00003e060)
  11. go func(message string) {
  12. chv <- message // 存消息
  13. }("Ping!")
  14. fmt.Println(<-chv) // 取消息 //"Ping!"
  15. close(chv)

make不仅可以开辟一个内存,还能给这个内存的类型初始化其零值。

它和new还能配合使用

示例

  1. var mv *map[string]string
  2. fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc042004028 (*map[string]string)(nil)
  3. mv = new(map[string]string)
  4. fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc000006028 &map[string]string(nil)
  5. (*mv) = make(map[string]string)
  6. (*mv)["a"] = "a"
  7. fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc042004028 &map[string]string{"a":"a"}

通过new给指针变量mv分配了一个内存,并赋予其内存地址。Map是引用类型,其零值为nil,使用make初始化 map,然后变量就能使用*给指针变量mv赋值了。

小结:

  • make和new都是golang用来分配内存的內建函数,且在堆上分配内存,make 即分配内存,也初始化内存。new只是将内存清零,并没有初始化内存。
  • make返回的还是引用类型本身;而new返回的是指向类型的指针。
  • make只能用来分配及初始化类型为slice,map,channel的数据;new可以分配任意类型的数据。

links