Go語言make與new區別

Go語言中的內建函數new和make是兩個用於內存分配的原語（allocation primitives）。new 和 make 均可以用來分配空間，初始化類型，可是它們確有不一樣。

1、new(T) 返回的是 T 的指針

new是一個用來分配內存的內建函數，可是與C++不同的是，它並不初始化內存，只是將其置零。也就是說，new(T)會爲T類型的新項目，分配被置零的存儲，而且返回它的地址，一個類型爲*T的值。在Go的術語中，其返回一個指向新分配的類型爲T的指針，這個指針指向的內容的值爲零（zero value），但並非指針爲零。

p1 := new(int)//默認初始值爲0
fmt.Printf("p1 --> %#v \n ", p1) //p1 --> (*int)(0xc000060080) 
fmt.Printf("p1 point to --> %#v \n ", *p1) //p1 point to --> 0 

var p2 *int
i := 0
p2 = &i
fmt.Printf("p2 --> %#v \n ", p2) //p2 --> (*int)(0xc0000600b0) 
fmt.Printf("i --> %#p \n ", p2) //i --> (*int)(0xc0000600b0) 
fmt.Printf("p2 point to --> %#v \n ", *p2) //p2 point to --> 0 

複製代碼

上面的代碼是等價的，new(int) 將分配的空間初始化爲 int 的零值，也就是 0，並返回 int 的指針，這和直接聲明指針並初始化的效果是相同的。

2、make 只能用於 slice,map,channel

make 只能用於 slice，map，channel三種類型，make(T, args)返回的是初始化以後的 T 類型的值，這個新值並非 T 類型的零值，也不是指針 *T，是通過初始化以後的 T 的引用。之因此有所不一樣，是由於這三個類型的背後引用了使用前必須初始化的數據結構。例如，slice是一個三元描述符，包含一個指向數據（在數組中）的指針，長度，以及容量，在這些項被初始化以前，slice都是nil的。對於slice，map和channel，make初始化這些內部數據結構，並準備好可用的值。

var s1 []int
if s1 == nil {
    fmt.Printf("s1 is nil --> %#v \n", s1) // s1 is nil --> []int(nil) 
}

s2 := make([]int, 3) //slice
if s2 == nil {
    fmt.Printf("s2 is nil --> %#v \n", s2)
} else {
    fmt.Printf("s2 is not nill --> %#v \n", s2)// s2 is not nill --> []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) //m1 is nil --> 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) //m2 is not nill --> map[int]string{} 
}


var c1 chan string
if c1 == nil {
    fmt.Printf("c1 is nil --> %#v \n ", c1) //c1 is nil --> (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)//c2 is not nill --> (chan string)(0xc000044060) 
複製代碼

記住make只用於map，slice和channel，而且不返回指針。要得到一個顯式的指針，使用new進行分配，或者顯式地使用一個變量的地址。

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

若是不特殊聲明，go 的函數默認都是按值傳參，即經過函數傳遞的參數是值的副本，在函數內部對值修改不影響值的自己，可是 make(T, args) 返回的值經過函數傳遞參數以後能夠直接修改，即 map，slice，channel 經過函數傳參以後在函數內部修改將影響函數外部的值。

func modifyValue(s []int) {
	s[0] = 1
}
複製代碼

使用modifyValue():

s2 := make([]int, 3)
fmt.Printf("old: %#v \n", s2) //old: []int{0, 0, 0} 

modifyValue(s2)

fmt.Printf("new: %#v \n", s2) //new: []int{1, 0, 0} 
複製代碼

與之相反：

func modifyValue(s [5]int) {//
	s[0] = 1
}
複製代碼

注意modifySlice(s [5]int)的參數，能夠看到參數類型爲[5]int。這是由於咱們將傳入的變量是s2，而它的數值類型爲[5]int，

var s2 [5]int//聲明數組
fmt.Printf("old: %#v \n", s2) //old: [5]int{0, 0, 0, 0, 0} 
modifyValue(s2)
fmt.Printf("new: %#v \n", s2) //new: [5]int{0, 0, 0, 0, 0} 
複製代碼

這樣的數據類型傳參時，就是按值傳參的。