开启掘金成长之旅!这是我参与「掘金日新计划 · 12 月更文挑战」的第8天,点击查看活动详情
new和make
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
对于官方是这么解释new
的:这个内置函数功能是分配内存。第一个参数是一个自定义类型,并不是一个值,返回值为一个指向新分配好的内存空间的一个指定类型指针,并且这个内存空间会被清零(也就是变为该类型的零值)。
零值
go语言总共分为四大类型:基本数据类型、复杂数据类型、引用数据类型和接口类型。零值是指基本数据类型和指针的初始值。
数值型零值为0
、string的零值为""
、bool的零值为false
、指针的零值为nil
。
使用示例(new也可以为数组分配内存)
a := new(int)
fmt.Printf("类型为:%T, 值为:%v\n", a, a)
fmt.Printf("类型为:%T, 值为:%v\n", *a, *a)
b := new(string)
fmt.Printf("类型为:%T, 值为:%v\n", b, b)
fmt.Printf("类型为:%T, 值为:%v\n", *b, *b)
c := new(*int)
fmt.Printf("类型为:%T, 值为:%v\n", c, c)
fmt.Printf("类型为:%T, 值为:%v\n", *c, *c)
运行结果:
类型为:*int, 值为:0xc0000a6058
类型为:int, 值为:0
类型为:*string, 值为:0xc000088220
类型为:string, 值为:
类型为:**int, 值为:0xc0000ca020
类型为:*int, 值为:<nil>
小结
new
只能开辟单个空间,不能为引用类型开辟多个空间。并且new
是对类型进行内存的开辟,返回一个指向该内存空间的指针类型。如果使用new
去初始化引用数据类型,不是很合适(当然,new一个对象还是可以的)。因此就需要用到另一个内置函数make
。
make
// The make built-in function allocates and initializes an object of type // slice, map, or chan (only). Like new, the first argument 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:
func make(t Type, size ...IntegerType) Type
对于官方是这么解释make
的:该函数功能是分配内存并且初始化一个切片(slice/map/channel)类型的对象。相比较内置函数new
而言,make
的第一个参数也是一个自定义类型,不是一个值。但make的返回类型是一个和他传入的自定义参数类型完全相同的类型。并不是一个指针去指向这个新开辟的内存空间。
make 也是用于内存分配的,但是和 new 不同,它只用于 chan、map 以及 slice 的内存创建,而且它返回的类型就是这三个类型本身,而不是他们的指针类型,因为这三种类型就是引用类型,所以就没有必要返回他们的指针了。
简述make的初始化(slice/map/channel)
make在对slice/map/channel
这三种类型进行初始化时,在编译初期阶段,go语言就已经将代表make关键字的OMAKE
节点根据参数类型的不同转换成了OMAKESLICE
、OMAKEMAP
、OMAKECHAN
三种不同类型的节点。这些不同的节点最终会调用不同的运行时函数来初始化数据结构。
使用示例
var a []int
fmt.Println(a[0])
panic: runtime error: index out of range [0] with length 0
如果不对切片进行初始化,就无法使用
var a []int
a = make([]int, 1)
fmt.Println(a[0])
0
map
和chan
也同理。切片需要指定长度大小,容量可以自动扩容。如果下标超出指定的长度也会出现数组越界的情况。但是map
不会发生该情况。即使初始化map
容量为0,map
底层也会自动进行扩容。对于channel
来说初始化容量就是初始化缓冲区长度。
总结:
make和new共同点都是可以开辟内存空间,给变量分配内存。
不同点在于:
- 两者的作用类型不同,new给
int
、string
、数组分配内存,make给slice
、map
、channel
分配内存。 - 两者的返回值不同,new的返回值类型为一个指向新分配好的内存空间的一个指定类型指针。而make的返回值类型为它本身。
- new分配的内存空间会被清零。make分配空间之后会被初始化。
- new分配的内存空间不一定会在堆上分配,当指向这个内存空间的指针变量作用域不会在作用域外被使用,或者说这个变量只使用一次就不再使用。那么new分配的内存空间就会在当前的函数栈中随着栈的结束而被销毁。make则会在栈上开辟一块栈帧,栈帧里面有栈的指针和栈顶指针,分别记录栈帧的空间,随着函数的执行完毕,栈里的栈帧就会自动清空。
简单的说,new
只分配内存,make
用于slice
,map
,和channel
的初始化,并且不返回指针。要获得一个显式的指针,使用new进行分配,或者显式地使用一个变量的地址。