Go 语言中 new 和 make 都是用来内存分配的原语(allocation primitives)。简单的说,new 只分配内存,make 用于 slice,map,和 channel 的初始化。
new
new(T)函数是一个分配内存的内建函数。
我们都知道,对于一个已经存在变量,可对其指针进行赋值。
示例
var p int
var v *int
v = &p
*v = 11
fmt.Println(*v)
那么,如果不是已经存在的变量会如何呢?能对其直接赋值吗?
示例
var v *int
*v = 8
fmt.Println(*v)
结果会报如下错误
panic: runtime error: invalid memory address or nil pointer dereference
[signal 0xc0000005 code=0x1 addr=0x0 pc=0x48df66]
如何解决?通过 Go 提供了 new 来初始化一地址就可以解决。
var v *int
v = new(int)
*v = 8
fmt.Println(*v)
那么我们来分析一下
var v *int
fmt.Println(*v)
fmt.Println(v) //<nil>
v = new(int)
fmt.Println(*v)//
fmt.Println(v)//0xc00004c088
我们可以看到初始化一个指针变量,其值为 nil,nil 的值是不能直接赋值的。通过 new 其返回一个指向新分配的类型为 int 的指针,指针值为 0xc00004c088,这个指针指向的内容的值为零(zero value)。
同时,需要注意的是不同的指针类型零值是不同的。
示例
type Name struct {P string}
var av *[5]int
var iv *int
var sv *string
var tv *Name
av = new([5]int)
fmt.Println(*av) //[0 0 0 0 0 0]
iv = new(int)
fmt.Println(*iv) // 0
sv = new(string)
fmt.Println(*sv) //
tv = new(Name)
fmt.Println(*tv) //{}
上面讲了对普通类型 new()处理过后是如何赋值的,这里再讲一下对复合类型(数组,slice,map,channel 等),new()处理过后,如何赋值。
数组示例
var a [5]int
fmt.Printf("a: %p %#v \n", &a, a)//a: 0xc04200a180 [5]int{0, 0, 0, 0, 0}
av := new([5]int)
fmt.Printf("av: %p %#v \n", &av, av)//av: 0xc000074018 &[5]int{0, 0, 0, 0, 0}
(*av)[1] = 8
fmt.Printf("av: %p %#v \n", &av, av)//av: 0xc000006028 &[5]int{0, 8, 0, 0, 0}
silce 示例
var a *[]int
fmt.Printf("a: %p %#v \n", &a, a) //a: 0xc042004028 (*[]int)(nil)
av := new([]int)
fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000074018 &[]int(nil)
(*av)[0] = 8
fmt.Printf("av: %p %#v \n", &av, av) //panic: runtime error: index out of range
map 示例
var m map[string]string
fmt.Printf("m: %p %#v \n", &m, m)//m: 0xc042068018 map[string]string(nil)
mv := new(map[string]string)
fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc000006028 &map[string]string(nil)
(*mv)["a"] = "a"
fmt.Printf("mv: %p %#v \n", &mv, mv)// 这里会报错 panic: assignment to entry in nil map
channel 示例
cv := new(chan string)
fmt.Printf("cv: %p %#v \n", &cv, cv)//cv: 0xc000074018 (*chan string)(0xc000074020)
//cv <- "good" // 会报 invalid operation: cv <- "good" (send to non-chan type *chan string)
通过上面示例我们看到数组通过 new 处理,数组 av 初始化零值,数组虽然是复合类型,但不是引用类型,其他 silce、map、channel 类型也属于引用类型,go 会给引用类型初始化为 nil,nil 是不能直接赋值的。并且不能用 new 分配内存。无法直接赋值。那么用 make 函数处理会是怎么样呢?
make
示例
av := make([]int, 5)
fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000046400 []int{0, 0, 0, 0, 0}
av[0] = 1
fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000046400 []int{1, 0, 0, 0, 0}
mv := make(map[string]string)
fmt.Printf("mv: %p %#v \n", &mv, mv) //mv: 0xc000074020 map[string]string{}
mv["m"] = "m"
fmt.Printf("mv: %p %#v \n", &mv, mv) //mv: 0xc000074020 map[string]string{"m":"m"}
chv := make(chan string)
fmt.Printf("chv: %p %#v \n", &chv, chv) //chv: 0xc000074028 (chan string)(0xc00003e060)
go func(message string) {chv <- message // 存消息}("Ping!")
fmt.Println(<-chv) // 取消息 //"Ping!"
close(chv)
make 不仅可以开辟一个内存,还能给这个内存的类型初始化其零值。
它和 new 还能配合使用
示例
var mv *map[string]string
fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc042004028 (*map[string]string)(nil)
mv = new(map[string]string)
fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc000006028 &map[string]string(nil)
(*mv) = make(map[string]string)
(*mv)["a"] = "a"
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 可以分配任意类型的数据。
- 目录