go make 和 new 的區別

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

new 和 make 都可以用來分配空間，初始化類型，但是它們確有不同。

new(T) 返回的是 T 的指標

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

123456789

p1 := new(int)fmt.Printf("p1 --> %#v \n ", p1) //(*int)(0xc42000e250) fmt.Printf("p1 point to --> %#v \n ", *p1) //0var p2 *inti := 0p2 = &ifmt.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 的引用。

1234567891011

var s1 []intif 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 也是類似的。

123456789101112131415161718192021222324

var m1 map[int]stringif 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 stringif 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 通過函數穿參之後在函數內部修改將影響函數外部的值。

12345678

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 也是如此。

12345678910111213141516171819202122232425262728

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

123456789101112131415161718192021222324252627282930

type Foo struct { name string age int}var foo1 Foofmt.Printf("foo1 --> %#v\n ", foo1) //main.Foo{age:0, name:""}foo1.age = 1fmt.Println(foo1.age)foo2 := Foo{}fmt.Printf("foo2 --> %#v\n ", foo2) //main.Foo{age:0, name:""}foo2.age = 2fmt.Println(foo2.age)foo3 := &Foo{}fmt.Printf("foo3 --> %#v\n ", foo3) //&main.Foo{age:0, name:""}foo3.age = 3fmt.Println(foo3.age)foo4 := new(Foo)fmt.Printf("foo4 --> %#v\n ", foo4) //&main.Foo{age:0, name:""}foo4.age = 4fmt.Println(foo4.age)var foo5 *Foo = new(Foo)fmt.Printf("foo5 --> %#v\n ", foo5) //&main.Foo{age:0, name:""}foo5.age = 5fmt.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。

文中代碼

下載代碼