new()和make()函数是Go语言中用于分配空间,初始化类型的内建函数。这两个函数的功能比较类似,很容易混淆。
new
new(T) 为一个 T 类型新值分配空间
并将此空间初始化
为 T 的零值,返回的是新值的地址,也就是 T 类型的指针 *T,该指针指向 T 的新分配的零值。
p1 := new(int)
<==>
var p1 *int
var i int = 0
p1 = &i
new(int) 将分配的空间初始化为 int 的零值,也就是 0,并返回 int 的指针,这和直接声明指针并初始化的效果是相同的。
对于非slice,map,channel类型,可通过直接使用strcut literal的方式创建对象,这样可以定制化进行初始化操作,毕竟大多数情况下,初始化为零值的变量用处不大。
type Rect struct {
x, y float64
width, height float64
}
rect3 := &Rect{0, 0, 100, 200}
rect4 := &Rect{width: 100, height: 200}
这种方式简单有效,因此new使用的场景比较少。
make
make 只能用于slice,map,channel
三种类型,make(T, args) 返回的是初始化之后的 T 类型的值,这个新值并不是 T 类型的零值,也不是指针 *T,是经过初始化之后的 T 的引用。
与new的不同点在于,make引用了使用前必须初始化的数据结构。例如,slice是一个三元描述符,包含一个指向数据(在数组中)的指针,长度,以及容量,在这些项被初始化之前,slice都是nil的。对于slice,map和channel,make初始化这些内部数据结构,并准备好可用的值。
var s1 []int
if s1 == nil {
fmt.Printf("s1 is nil --> %#v \n ", s1) // []int(nil)
}
s2 := make([]int, 3)
if s2 == nil {
fmt.Printf("s2 is nil --> %#v \n ", s2)
} else {
fmt.Printf("s2 is not nill --> %#v \n ", s2)// []int{0, 0, 0}
}
slice 的零值是 nil,使用 make 之后 slice 是一个初始化的 slice,即 slice 的长度、容量、底层指向的 array 都被 make 完成初始化,此时 slice 内容被类型 int 的零值填充,形式是 [0 0 0],map 和 channel 也是类似的。
var m1 map[int]string
if m1 == nil {
fmt.Printf("m1 is nil --> %#v \n ", m1) //map[int]string(nil)
}
m2 := make(map[int]string)
if m2 == nil {
fmt.Printf("m2 is nil --> %#v \n ", m2)
} else {
fmt.Printf("m2 is not nill --> %#v \n ", m2) map[int]string{}
}
var c1 chan string
if c1 == nil {
fmt.Printf("c1 is nil --> %#v \n ", c1) //(chan string)(nil)
}
c2 := make(chan string)
if c2 == nil {
fmt.Printf("c2 is nil --> %#v \n ", c2)
} else {
fmt.Printf("c2 is not nill --> %#v \n ", c2)//(chan string)(0xc420016120)
}
如果不特殊声明,go 的函数默认都是按值传参,即通过函数传递的参数是值的副本,在函数内部对值修改不影响值的本身,但是 make(T, args) 返回的值通过函数传递参数之后可以直接修改,即 map,slice,channel 通过函数传参之后在函数内部修改将影响函数外部的值。因此make(T, args)
返回的是引用类型,在函数内部可以直接更改原始值,对 map 和 channel 也是如此。
小结
- new(T) 返回 T 的指针 *T 并指向 T 的零值。
- make(T) 返回的初始化的 T,只能用于 slice,map,channel。
有疑问加站长微信联系(非本文作者)