区别:1、make只能用来分配及初始化类型为slice、map、chan的数据;而new可以分配任意类型的数据。2、new分配返回的是指针,即类型“*Type”;而make返回引用,即Type。3、new分配的空间会被清零;make分配空间后,会进行初始化。
本教程操作环境:windows7系统、GO 1.18版本、Dell G3电脑。
new 和 make 是 Go 语言中用于内存分配的原语。简单来说,new 只分配内存,make 用于初始化 slice、map 和 channel。
new
new(T) 函数是一个分配内存的内置函数,为每个类型分配一片内存,并初始化为零值且返回其内存地址。
语法是 func new(Type) *Type
众所周知,一个已经存在的变量可以赋值给它的指针。
var p int var v *int v = &p *v = 11 fmt.Println(*v)
那么如果它还不是一个变量呢?你可以直接赋值吗?
func main() { var v *int *v = 8 fmt.Println(*v) // panic: runtime error: invalid memory address or nil pointer dereference // [signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0x47df36] // goroutine 1 [running]: // main.main() // /tmp/sandbox1410772957/prog.go:9 +0x16 }
报错结果如代码中的注释。
如何解决?可以通过 Go 提供 new 初始化地址来解决。
func main() { var v *int // v 是一个 int 类型的指针,v 的地址和 v 的值 0xc0000ba018 <nil> fmt.Println("v 是一个 int 类型的指针,v 的地址和 v 的值 ", &v, v) // 分配给 v 一个指向的变量 v = new(int) // v 是一个 int 类型的指针,v 的地址和 v 的值 0xc0000ba018 0xc000018030 0,此时已经分配给了 v 指针一个指向的变量,但是变量为零值 fmt.Println("v 是一个 int 类型的指针,v 的地址, v 的值和 v 指向的变量的值 ", &v, v, *v) *v = 8 // v 是一个 int 类型的指针,v 的地址和 v 的值 0xc0000ba018 0xc000018030 8,此时又像这个变量中装填了一个值 8 fmt.Println("v 是一个 int 类型的指针,v 的地址, v 的值和 v 指向的变量的值 ", &v, v, *v) // 整个过程可以理解为给 v 指针指向了一个匿名变量 }
我们可以看到,初始化一个值为nil的指针变量并不是直接赋值。通过new返回一个值为0xc000018030 的指针指向新赋值的int类型,零值为其值。
此外,重要的是要注意,不同指针类型的零值是不同的。具体的你可以参考这篇文章。或者你可以浏览下面的代码。
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()后如何赋值,这里是处理复合类型(array、struct)后如何赋值。但是在这里,我认为原文的作者讲述有错误,因为对 slice,map 和 channel 来说,new 只能开辟
数组实例
func main() { // 声明一个数组指针 var a *[5]int fmt.Printf("a: %p %#v n", &a, a) //a: 0xc04200a180 [5]int{0, 0, 0, 0, 0} // 分配一个内存地址给 a(数组指针)指向 a = new([5]int) fmt.Printf("a: %p %#v n", &a, a) //av: 0xc000074018 &[5]int{0, 0, 0, 0, 0} // 修改这个数组中的值 (*a)[1] = 8 fmt.Printf("a: %p %#v n", &a, a) //av: 0xc000006028 &[5]int{0, 8, 0, 0, 0} }
结构体实例
type mystruct struct { name string age int } func main() { var people *mystruct people = new(mystruct) people.name = "zhangsan" people.age = 11 fmt.Printf("%v, %v", people.name, people.age) // zhangsan, 11 }
make
make 专门用于创建 chan,map 和 slice 三种类型的内容分配,并且可以初始化它们。make 的返回类型与其参数的类型相同,而不是指向它的指针,因为这三种数据类型本身就是引用类型。
其语法为:func make(t Type, size ...IntegerType) Type
,可以看到第二个为变长参数,用于指定开辟内存的大小,比如对 slice 而言,需要指定 cap 和 length(cap 表示容量,length 表示长度,即可以使用的大小),要求 cap 是比 length 大的。
对于 slice 的 cap 和 length 这里不做过多介绍,你可以理解为,现在有一套房子,这个房子是毛坯房,它所有房间有 3 间(cap),其中已经装修好了 1 间(length)。
至于为什么不使用 new 来为这三种分配内存呢?我们来做一个实验。
func main() { var s *[]int fmt.Printf("s 的地址是: %p, s 的值是 %pn", &s, s) // s 的地址是: 0xc00000e028, s 的值是 0x0 s = new([]int) fmt.Printf("s 的地址是: %p, s 的值是 %pn", &s, s) // s 的地址是: 0xc00000e028, s 的值是 0xc00011a018 (*s)[0] = 1 fmt.Println("s 的地址是: %p, s 的值是 %pn", &s, s) // panic: runtime error: index out of range [0] with length 0 } }
可以看到在为 slice 赋值的时候报错了 length 为 0,至于具体的原因,有知道的朋友可以在评论区留言。
因此常推荐使用 make 来进行这三种类型的创建。
slice 实例
func main() { // 第一个 size 是 length,第二个 size 是 cap a := make([]int, 5, 10) // a: 0xc00011a018 []int{0, 0, 0, 0, 0},cap: 10, length: 5 fmt.Printf("a: %p %#v,cap: %d, length: %d n", &a, a, cap(a), len(a)) }
map 实例
func main() { // 第一个 string 是 key,第二个 string 是 value mapInstance := make(map[string]string, 5) mapInstance["第一名"] = "张三" mapInstance["第二名"] = "李四" mapInstance["第三名"] = "王五" fmt.Println(mapInstance) // map[第一名:张三 第三名:王五 第二名:李四] }
通道实例
func countNum(temp int, ch chan int) { i := temp + 1 ch <- i fmt.Println("已经将 i 发往通道 c 中") } func main() { ch := make(chan int) go countNum(1, ch) res := <-ch fmt.Println("已经从 ch 中获取 i 并保存在 res 中") fmt.Println("res 是", res) }
总结:
make 函数只用于 map,slice 和 channel,并且不返回指针。如果想要获得一个显式的指针,可以使用 new 函数进行分配,或者显式地使用一个变量的地址。
Go语言中的 new 和 make 主要区别如下:
-
make 只能用来分配及初始化类型为 slice、map、chan 的数据;new 可以分配任意类型的数据。
-
new 分配返回的是指针,即类型 *Type;make 返回引用,即 Type。
-
new 分配的空间被清零;make 分配空间后,会进行初始化。
【