Golang make和new的區別

deanglc發表於2018-10-31

new 和 make 都可以用來分配空間,初始化型別,但是它們確有不同。 先上原始碼:

// $GOROOT/1.11.5/libexec/src/builtin/builtin.go
func make(t Type, size ...IntegerType) Type
複製程式碼
func new(Type) *Type
複製程式碼

由原始碼可知,new(T) 返回的是 T 的指標

new(T) 為一個 T 型別新值分配空間並將此空間初始化為 T 的零值,返回的是新值的地址,也就是 T 型別的指標 *T,該指標指向 T 的新分配的零值。

p1 := new(int)
fmt.Printf("p1 --> %#v \n ", p1) //(*int)(0xc42000e250) 
fmt.Printf("p1 point to --> %#v \n ", *p1) //0
var p2 *int
i := 0
p2 = &i
fmt.Printf("p2 --> %#v \n ", p2) //(*int)(0xc42000e278) 
fmt.Printf("p2 point to --> %#v \n ", *p2) //0
複製程式碼

上面的程式碼是等價的,new(int) 將分配的空間初始化為 int 的零值,也就是 0,並返回 int 的指標,這和直接宣告指標並初始化的效果是相同的。

make 只能用於 slice,map,channel

make 只能用於 slice,map,channel 三種型別,make(T, args) 返回的是初始化之後的 T 型別的值,這個新值並不是 T 型別的零值,也不是指標 *T,是經過初始化之後的 T 的引用。

var s1 []int
if s1 == nil {
    fmt.Printf("s1 is nil --> %#v \n ", s1) // []int(nil)
}
s2 := make([]int, 3)
if s2 == nil {
    fmt.Printf("s2 is nil --> %#v \n ", s2)
} else {
    fmt.Printf("s2 is not nill --> %#v \n ", s2)// []int{0, 0, 0}
}
複製程式碼

slice 的零值是 nil,使用 make 之後 slice 是一個初始化的 slice,即 slice 的長度、容量、底層指向的 array 都被 make 完成初始化,此時 slice 內容被型別 int 的零值填充,形式是 [0 0 0],map 和 channel 也是類似的。

var m1 map[int]string
if m1 == nil {
    fmt.Printf("m1 is nil --> %#v \n ", m1) //map[int]string(nil)
}
m2 := make(map[int]string)
if m2 == nil {
    fmt.Printf("m2 is nil --> %#v \n ", m2)
} else {
    fmt.Printf("m2 is not nill --> %#v \n ", m2) map[int]string{} 
}
var c1 chan string
if c1 == nil {
    fmt.Printf("c1 is nil --> %#v \n ", c1) //(chan string)(nil)
}
c2 := make(chan string)
if c2 == nil {
    fmt.Printf("c2 is nil --> %#v \n ", c2)
} else {
    fmt.Printf("c2 is not nill --> %#v \n ", c2)//(chan string)(0xc420016120)
}
複製程式碼

make(T, args) 返回的是 T 的 引用

如果不特殊宣告,go 的函式預設都是按值穿參,即通過函式傳遞的引數是值的副本,在函式內部對值修改不影響值的本身,但是 make(T, args) 返回的值通過函式傳遞引數之後可以直接修改,即 map,slice,channel 通過函式穿參之後在函式內部修改將影響函式外部的值。

func modifySlice(s []int) {
    s[0] = 1
}
s2 := make([]int, 3)
fmt.Printf("%#v", s2) //[]int{0, 0, 0}
modifySlice(s2)
fmt.Printf("%#v", s2) //[]int{1, 0, 0}
複製程式碼

這說明 make(T, args) 返回的是引用型別,在函式內部可以直接更改原始值,對 map 和 channel 也是如此。

func modifyMap(m map[int]string) {
    m[0] = "string"
}
func modifyChan(c chan string) {
    c <- "string"
}
m2 := make(map[int]string)
if m2 == nil {
    fmt.Printf("m2 is nil --> %#v \n ", m2) 
} else {
    fmt.Printf("m2 is not nill --> %#v \n ", m2) //map[int]string{}
}
modifyMap(m2)
fmt.Printf("m2 is not nill --> %#v \n ", m2) // map[int]string{0:"string"}
c2 := make(chan string)
if c2 == nil {
    fmt.Printf("c2 is nil --> %#v \n ", c2)
} else {
    fmt.Printf("c2 is not nill --> %#v \n ", c2)
}
go modifyChan(c2)
fmt.Printf("c2 is not nill --> %#v ", <-c2) //"string"
複製程式碼

很少需要使用 new

以下程式碼演示了 struct 初始化的過程,可以說明不使用 new 一樣可以完成 struct 的初始化工作。

type Foo struct {
    name string
    age  int
}
//宣告初始化
var foo1 Foo
fmt.Printf("foo1 --> %#v\n ", foo1) //main.Foo{age:0, name:""}
foo1.age = 1
fmt.Println(foo1.age)
//struct literal 初始化
foo2 := Foo{}
fmt.Printf("foo2 --> %#v\n ", foo2) //main.Foo{age:0, name:""}
foo2.age = 2
fmt.Println(foo2.age)
//指標初始化
foo3 := &Foo{}
fmt.Printf("foo3 --> %#v\n ", foo3) //&main.Foo{age:0, name:""}
foo3.age = 3
fmt.Println(foo3.age)
//new 初始化
foo4 := new(Foo)
fmt.Printf("foo4 --> %#v\n ", foo4) //&main.Foo{age:0, name:""}
foo4.age = 4
fmt.Println(foo4.age)
//宣告指標並用 new 初始化
var foo5 *Foo = new(Foo)
fmt.Printf("foo5 --> %#v\n ", foo5) //&main.Foo{age:0, name:""}
foo5.age = 5
fmt.Println(foo5.age)
複製程式碼

foo1 和 foo2 是同樣的型別,都是 Foo 型別的值,foo1 是通過 var 宣告,Foo 的 filed 自動初始化為每個型別的零值,foo2 是通過字面量的完成初始化。

foo3,foo4 和 foo5 是一樣的型別,都是 Foo 的指標 *Foo。

但是所有 foo 都可以直接使用 Foo 的 filed,讀取或修改,為什麼?

如果 x 是可定址的,&x 的 filed 集合包含 m,x.m 和 (&x).m 是等同的,go 自動做轉換,也就是 foo1.age 和 foo3.age 呼叫是等價的,go 在下面自動做了轉換。

因而可以直接使用 struct literal 的方式建立物件,能達到和 new 建立是一樣的情況而不需要使用 new。

小結

Golang make和new的區別

new(T) 返回 T 的指標 *T 並指向 T 的零值。 make(T) 返回的初始化的 T,只能用於 slice,map,channel。

相關文章