Go 语言中的 new() 和 make()的区别

时间:2022-01-18 13:53:05

本文是看了文章之后的心得。 在此感谢。

概述

Go 语言中的 new 和 make 一直是新手比较容易混淆的东西,咋一看很相似。不过解释两者之间的不同也非常容易。 他们所做的事情,和应用的类型也不相同。 
二者都是用来分配空间。

new 函数

  • new 是内建函数,函数原型为
func new(Type) *Type
  • 1

官方文档描述为:

The new build-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. 
翻译如下: 
内置函数 new 分配空间。传递给new 函数的是一个类型,不是一个值。返回值是 指向这个新分配的零值的指针。

根据这段描述,我们也可以自己实现一个类似 new 的功能

    func newInt *int {
var i int
return &i //为何可以返回局部变量呢?
}
someInt := newInt()
  • 1
  • 2
  • 3
  • 4
  • 5

这里要注意的第一点是,返回值是一个指针。 
然后,为何一个golang 中的函数可以返回局部变量呢?

make 函数

make 也是内建函数,你可以从 http://golang.org/pkg/builtin/#make 看到它, 它的函数原型 比 new 多了一个(长度)参数,返回值也不同。 
函数原型是:

func make(Type, size IntegerType) Type 
  • 1
  • 第一个参数是一个类型,第二个参数是长度
  • 返回值是一个类型

官方描述为:

The make built-in function allocates and initializes an object(分配空间 + 初始化) of type slice, map or chan**(only)**. Like new , the first arguement is a type, not a value. Unlike new, make’s return type is the same as the type of its argument, not a pointer to it. The specification of the result depends on the type. 
翻译为: 
内建函数 make 分配并且初始化 一个 slice, 或者 map 或者 chan 对象。 并且只能是这三种对象。 和 new 一样,第一个参数是 类型,不是一个值。 但是make 的返回值就是这个类型(即使一个引用类型),而不是指针。 具体的返回值,依赖具体传入的类型。

Slice : 第二个参数 size 指定了它的长度,此时它的容量和长度相同。
你可以传入第三个参数 来指定不同的容量值,但是必须不能比长度值小。
比如: make([]int, 0, 10)
Map: 根据size 大小来初始化分配内存,不过分配后的 map 长度为0。 如果 size 被忽略了,那么会在初始化分配内存的时候 分配一个小尺寸的内存。
Channel: 管道缓冲区依据缓冲区容量被初始化。如果容量为 0 或者被 忽略,管道是没有缓冲区的。
  • 1
  • 2
  • 3
  • 4
  • 5

var p *[]int = new([]int) 
var v []int = make([]int, 10) 
上述第一条语句 使用 new() 函数为 切片结构分配内存,*p == nil (这意味着什么? 意味着没有对Slice结构进行初始化), 但是在实际中这种用法很少使用。 
第二条语句使用 make() 函数创建了一个有10个元素的 Slice对象。

总结

new 的作用是 初始化 一个指向类型的指针 (*T), make 的作用是为 slicemap 或者 channel 初始化,并且返回引用 T

make(T, args)函数的目的与new(T)不同。它仅仅用于创建 Slice, Map 和 Channel,并且返回类型是 T(不是T*)的一个初始化的(不是零值)的实例。 这中差别的出现是由于这三种类型实质上是对在使用前必须进行初始化的数据结构的引用。 例如, Slice是一个 具有三项内容的描述符,包括 指向数据(在一个数组内部)的指针,长度以及容量。在这三项内容被初始化之前,Slice的值为nil。对于Slice,Map和Channel, make()函数初始化了其内部的数据结构,并且准备了将要使用的值。

问题:栈中分配的变量,出栈的时候不会被释放吗?

我们注意到有如下函数:

    func newInt *int {
var i int
return &i //为何可以返回局部变量呢?
}
someInt := newInt()
  • 1
  • 2
  • 3
  • 4
  • 5

有个回答回答的很好: golang 和 c 语言不一样,栈区分配的存储空间不会随着函数的返回而释放,本地变量地址所占据的存储空间会生存下来。

那么: 什么时候会释放呢? 什么情况下才会释放呢? (好问题,今天我一定回答了)