简介

Go语言中的内建函数new和make是两个用于内存分配的原语(allocation primitives)。new 和 make 都可以用来分配空间,初始化类型,但是它们确有不同。

make 只能用于 slice,map,channel
slice := make([]int, 3)
hash := make(map[int]bool, 10)
ch := make(chan int, 5)

make(T, args) 返回的是初始化之后的 T 类型的值,这个新值并不是 T 类型的零值, 也不是指针 *T,是经过初始化之后的 T 的引用

slice 的零值是 nil,使用 make 之后 slice 是一个初始化的 slice, 即 slice 的长度、容量、底层指向的 array 都被 make 完成初始化,此时 slice 内容被类型 int 的零值填充,形式是 [0 0 0], map 和 channel 也是类似的。

new

new是一个用来分配内存的内建函数,但是与C++不一样的是,它并不初始化内存,只是将其置零。new(T)会为T类型的新项目,分配被置零的存储,并且返回它的地址,一个类型为*T的值。其返回一个指向新分配的类型为T的指针,这个指针指向的内容的值为零(zero value),但并不是指针为零。

p1 := new(int)
fmt.Printf("p1 --> %#v n ", p1)  
fmt.Printf("p1 point to --> %#v n ", *p1) 

var p2 *int
i := 0
p2 = &i
fmt.Printf("p2 --> %#v n ", p2) 
fmt.Printf("p2 point to --> %#v n ", *p2)

执行结果如下

 p1 --> (*int)(0xc0004f9420) 
 p1 point to --> 0 
 p2 --> (*int)(0xc0004f9428) 
 p2 point to --> 0 

Notice

开发过程中new是很少使用的, 如下 struct 初始化的过程

   type Foo struct {
     age  int
    }
    //声明初始化
 var foo1 Foo
 fmt.Printf("foo1 --> %#vn ", foo1) 
 foo1.age = 1
 fmt.Println(foo1.age)

 //struct literal 初始化
 foo2 := Foo{}
 fmt.Printf("foo2 --> %#vn ", foo2) 
 foo2.age = 2
 fmt.Println(foo2.age)

 //指针初始化
 foo3 := &Foo{}
 fmt.Printf("foo3 --> %#vn ", foo3) 
 foo3.age = 3
 fmt.Println(foo3.age)

 //new 初始化
 foo4 := new(Foo)
 fmt.Printf("foo4 --> %#vn ", foo4) 
 foo4.age = 4
 fmt.Println(foo4.age)

 //声明指针并用 new 初始化
 var foo5 *Foo = new(Foo)
 fmt.Printf("foo5 --> %#vn ", foo5) 
 foo5.age = 5
 fmt.Println(foo5.age)

结果如下

foo1 --> service.Foo{age:0}
 1
foo2 --> service.Foo{age:0}
 2
foo3 --> &service.Foo{age:0}
 3
foo4 --> &service.Foo{age:0}
 4
foo5 --> &service.Foo{age:0}
 5

foo1 和 foo2 是同样的类型,都是 Foo 类型的值,foo1 是通过 var 声明,Foo 的 filed 自动初始化为每个类型的零值,foo2 是通过字面量的完成初始化。foo3,foo4 和 foo5 是一样的类型,都是 Foo 的指针 Foo。

如果 x 是可寻址的,&x 的 filed 集合包含 m,x.m 和 (&x).m 是等同的,go 自动做转换,也就是 foo1.age 和 foo3.age 调用是等价的,go 自动做了转换。

因而可以直接使用 struct literal 的方式创建对象,能达到和 new 创建是一样的情况而不需要使用 new。

总结

make 和 new 关键字的实现原理, make 关键字的作用是创建切片、哈希表和 Channel 等内置的数据结构, new 的作用是为类型申请一片内存空间,并返回类型零值指向这片内存的指针。