📕作者简介: 过去日记,致力于Java、golang,Rust等多种编程语言,热爱技术,喜欢游戏的博主。
📗本文收录于go进阶系列,大家有兴趣的可以看一看
📘相关专栏Rust初阶教程、go语言基础系列、spring教程等,大家有兴趣的可以看一看
📙Java并发编程系列,设计模式系列、go web开发框架 系列正在发展中,喜欢Java,GoLang,Rust,的朋友们可以关注一下哦!
前言
本文主要给大家介绍了Go语言中函数new与make的使用和区别,关于Go语言中new和make是内建的两个函数,主要用来创建分配类型内存。在我们定义生成变量的时候,可能会觉得有点迷惑,不知道什么时候该使用make,什么时候该使用new,其实他们的规则很简单,下面我们就通过一些示例说明他们的区别和使用。
变量的声明
var i int
var s string
变量的声明我们可以通过var关键字,然后就可以在程序中使用。当我们不指定变量的默认值时,这些变量的默认值是他们的零值,比如int类型的零值是0,string类型的零值是"",引用类型的零值是nil。
对于例子中的两种类型的声明,我们可以直接使用,对其进行赋值输出。但是如果我们换成指针类型呢?
test1.go
package main
import (
"fmt"
)
func main() {
var i *int
*i=10
fmt.Println(*i)
}
$ go run test1.go
panic: runtime error: invalid memory address or nil pointer dereference
[signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0x4849df]
goroutine 1 [running]:
main.main()
/home/onenewcode/go/src/golang_deeper/make_new/t
从这个提示中可以看出,对于引用类型的变量,我们不光要声明它,还要为它分配内容空间,否则我们的值放在哪里去呢?这就是上面错误提示的原因。
对于值类型的声明不需要,是因为已经默认帮我们分配好了。
因为要分配内存,就引出来今天的内存分配函数new和make。
new
对于上面的问题我们如何解决呢?既然我们知道了没有为其分配内存,那么我们使用new分配一个吧。
func main() {
var i *int
i=new(int)
*i=10
fmt.Println(*i)
}
现在再运行程序,完美PASS,打印10。现在让我们看下new这个内置的函数。
// The new built-in function allocates memory. The first argument is a type,
// not a value, and the value returned is a pointer to a newly
// allocated zero value of that type.
func new(Type) *Type
把上面的英语翻译可以得出以下信息:
它只接受一个参数,这个参数是一个类型,分配好内存后,返回一个指向该类型内存地址的指针。同时请注意它同时把分配的内存置为零,也就是类型的零值。
我们的例子中,如果没有*i=10,那么打印的就是0。这里体现不出来new函数这种内存置为零的好处,我们再看一个例子。
test2.go
package main
import (
"fmt"
"sync"
)
type user struct {
lock sync.Mutex
name string
age int
}
func main() {
u := new(user) //默认给u分配到内存全部为0
u.lock.Lock() //可以直接使用,因为lock为0,是开锁状态
u.name = "张三"
u.lock.Unlock()
fmt.Println(u)
}
运行
$ go run test2.go
&{{0 0} 张三 0}
示例中的user类型中的lock字段我不用初始化,直接可以拿来用,不会有无效内存引用异常,因为它已经被零值了。
这就是new,它返回的永远是类型的指针,指向分配类型的内存地址。
make
make也是用于内存分配的,但是和new不同。
它只用于,chan,map,slice的内存创建,而且它返回的类型就是这三个类型本身,而不是他们的指针类型,因为这三种类型就是引用类型,所以就没有必要返回他们的指针了。
注意,因为这三种类型是引用类型,所以必须得初始化,但是不是置为零值,这个和new是不一样的。
func make(t Type, size ...IntegerType) Type
从函数声明中可以看到,返回的还是该类型。
make与new的异同
相同点:
- 都是内建函数,用于内存管理。
- 都涉及到动态内存的分配。
不同点:
-
用途和适用类型:
- new(T):适用于任何类型的内存分配,包括但不限于结构体、数组、指针等。它会为指定的类型 T 分配内存,并将内存初始化为其零值,然后返回指向该内存区域的指针(类型为 *T)。
- make(T, args…):仅适用于三个内建的引用类型,即切片(slice)、映射(map)和通道(channel)。对于这三种类型,make 不仅仅是分配内存,还会执行额外的初始化操作,如设置内部数据结构、哈希表大小以及 channel 缓冲区等。make 函数的返回值直接是初始化后的 slice/map/channel 类型,而不是指针。
-
使用方式和返回值:
- new() 的调用形式相对简单:p := new(Type),返回的是一个指向新分配内存的指针。
- make() 的调用需要提供额外参数以初始化相应的类型,例如创建切片时需要长度和可选的容量:s := make([]int, length, capacity);创建 map 或 channel 时无需指定大小,但可以对通道指定缓冲区大小。
-
初始化内容:
-
new() 只做最基本的内存分配并填充零值。
-
make() 初始化的内容更复杂,例如:
- 对于切片,会创建底层数组并设置长度和容量;
- 对于映射,会初始化一个空的哈希表;
- 对于通道,会创建一个通信的数据结构,并可选择性地分配缓冲区。
总之,在 Go 语言中,当你需要为自定义类型或基本类型分配内存且不涉及特定初始化逻辑时,使用 new();而当你需要初始化 slice、map 或 channel 这些内建的引用类型时,则必须使用 make()。