准备开始写技术博客,最近正好在学golang,那就从面试被问的最多的"new和make的区别"开始。

Golang中的new和make是两个内建函数,主要用来创建分配类型内存。在我们定义生成变量的时候可能会觉得迷茫,下面就通过一些示例来说明他们的区别和使用方法。

变量的声明方法

var a int
var b string

变量的声明我们可以通过var关键字,然后在程序中使用。当我们不指定变量的默认值时,这些变量的默认值是他们对应类型的零值。比如int类型的零值是数字0,string类型的零值是"",引用类型的零值是nil。

顺带说明下golang中的值类型和引用类型

1. 值类型包括: 基本数据类型的int, float, bool, string类型和数组以及struct 。 值类型变量直接存储值,内容通常在栈中分配。

2. 引用类型:包括指针,slice,map,channel。引用类型变量存储的是一个地址,地址存储最终的值,内容通常在堆上分配,通过GC回收。

对于上面例子中的a和b两个变量,我们可以直接使用,对其进行赋值输出。但是如果我们换成引用类型呢?

package main

import (
	"fmt"
)

func main() {
	var i *int
	*i=10
	fmt.Println(*i)

}

这个例子会打印什么?0还是10?。以上全错,运行时会panic,原因如下

panic: runtime error: invalid memory address or nil pointer dereference

从这个提示可以看出,对于引用类型的变量,我们不光要声明他,还要为他分配内存空间,否则我们的值放哪里去呢?这就是什么错误提示的原因。

对于值类型的声明不需要,因为已经默认帮我们分配好了。

要分配内存,就引出new和make。

new

对于上面的问题我们如何解决呢?既然我们知道了没有为其分配内存,那么我们使用new来分配一个吧。

func main() {
	var i *int
	i=new(int)
	*i=10
	fmt.Println(*i)

}

 再运行程序,打印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函数这种内存置为零的好处。再举一个例子。

package main

import(
    "fmt"
)

func main(){
    u := new(user)
    u.lock.Lock()
    u.name = "Kaka"
    u.lock.Unlock()

    fmt.Println(u)
}

type user struct{
    lock sync.Mutex
    name string
    age int
}

示例中的user类型中的lock字段我不用初始化,直接可以拿来用,不会有无效内存引用异常,因为他已经被置为零值了。

这就是new,他返回的永远是类型的指针,指向分配类型的内存地址。

make

make也可以用于内存分配,但是和new不同,他只用于channel、map以及slice的内存创建,而且他返回的类型就是这三个本身,而不是他们的指针类型,因为这三种类型是引用类型,所以没必要返回他们的指针。

注意,因为这三种类型是引用类型,所以必须初始化,但是不是置为零值,这个和new不一样。

func make(t Type, size ...IntegerType) Type

这个可以和函数声明中可以看出,返回的还是该类型。

二者异同

从这里可以看出,二者都是内存上的分配,但是make只用于slice,map以及channel的初始化(非零值);而new用于类型的内存分配,并且内存置为零。所以我们在编写程序的时候,就可以根据自己的需要很好的选择了。

make返回的还是这三个引用类型本身;而new返回的指向类型的指针。

其实new不常用

所以有new这个内置函数,可以给我们分配一块内存让我们使用,但是现实的编码中,他是不常用的。我们通常采用短语句声明以及结构体的字面量达到我们的目的,比如:

i := 0
i := user{}

这样更简洁方便, 而且不会涉及指针这种比较麻烦的操作。

make函数是无可替代的,我们在使用slice、map、channel的时候,还是要使用make来进行初始化,然后才可以对他们进行操作。