快捷導(dǎo)航

golang中new與make的區(qū)別講解

更新時間：2023年01月12日 14:53:03 作者：捶捶自己

new只能開辟單個空間，不能為引用類型開辟多個空間，并且new是對類型進(jìn)行內(nèi)存的開辟，返回一個指向該內(nèi)存空間的指針類型，如果使用new去初始化引用數(shù)據(jù)類型，不是很合適（當(dāng)然，new一個對象還是可以的），因此就需要用到另一個內(nèi)置函數(shù)make，需要的朋友可以參考下

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的：這個內(nèi)置函數(shù)功能是分配內(nèi)存。第一個參數(shù)是一個自定義類型，并不是一個值，返回值為一個指向新分配好的內(nèi)存空間的一個指定類型指針，并且這個內(nèi)存空間會被清零（也就是變?yōu)樵擃愋偷牧阒担?/p>

使用new初始化

至于使用new進(jìn)行初始化，根據(jù)語言規(guī)范：The built-in function new takes a type T and returns a value of type *T. The memory [pointed to] is initialized as described in the section on initial values.因為go中的函數(shù)不能被重載，并且這不是可變參數(shù)，所以無法傳遞任何初始化數(shù)據(jù)。取而代之的是，go將使用對類型和任何成員字段適當(dāng)?shù)娜魏?版本進(jìn)行初始化。

零值

go語言總共分為四大類型：基本數(shù)據(jù)類型、復(fù)雜數(shù)據(jù)類型、引用數(shù)據(jù)類型和接口類型。零值是指基本數(shù)據(jù)類型和指針的初始值。
數(shù)值型零值為0、string的零值為""、bool的零值為false、指針的零值為nil。

使用示例（new也可以為數(shù)組分配內(nèi)存）

 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)
 
 運行結(jié)果:
 類型為:*int, 值為:0xc0000a6058
 類型為:int, 值為:0               
 類型為:*string, 值為:0xc000088220
 類型為:string, 值為:             
 類型為:**int, 值為:0xc0000ca020  
 類型為:*int, 值為:<nil>

new(struct)和&struct{}區(qū)別

因為struct{}這種操作可以對類型進(jìn)行初始化，并且基于上述new的理解之后就會發(fā)現(xiàn)&struct{}和new(struct)其實這兩種聲明方式幾乎沒有區(qū)別。但我們在項目中經(jīng)常會使用到這兩種操作，就自然會想這兩者的區(qū)別（跟本人一樣）。

在我調(diào)查了一些資料后，我個人覺得他們唯一的區(qū)別就在于new只能聲明一個零值的該類型的指針并返回，但是&struct{}可以在聲明的同時進(jìn)行初始化操作。

func main(){
	A := new(struct) // 只能返回一個struct的指針
	B := &struct{Id:1,Name:"張三"} // 可以返回一個帶有默認(rèn)值的struct的指針
}

上述例子就很好的說明了這個問題。

小結(jié)

new只能開辟單個空間，不能為引用類型開辟多個空間。并且new是對類型進(jìn)行內(nèi)存的開辟，返回一個指向該內(nèi)存空間的指針類型。如果使用new去初始化引用數(shù)據(jù)類型，不是很合適（當(dāng)然，new一個對象還是可以的）。因此就需要用到另一個內(nèi)置函數(shù)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的：該函數(shù)功能是分配內(nèi)存并且初始化一個切片(slice/map/channel)類型的對象。相比較內(nèi)置函數(shù)new而言，make的第一個參數(shù)也是一個自定義類型，不是一個值。但make的返回類型是一個和他傳入的自定義參數(shù)類型完全相同的類型。并不是一個指針去指向這個新開辟的內(nèi)存空間。

make 也是用于內(nèi)存分配的，但是和 new 不同，它只用于 chan、map 以及 slice 的內(nèi)存創(chuàng)建，而且它返回的類型就是這三個類型本身，而不是他們的指針類型，因為這三種類型就是引用類型，所以就沒有必要返回他們的指針了。

簡述make的初始化(slice/map/channel)

在這里插入圖片描述

make在對slice/map/channel這三種類型進(jìn)行初始化時，在編譯初期階段，go語言就已經(jīng)將代表make關(guān)鍵字的OMAKE節(jié)點根據(jù)參數(shù)類型的不同轉(zhuǎn)換成了OMAKESLICE、OMAKEMAP、OMAKECHAN三種不同類型的節(jié)點。這些不同的節(jié)點最終會調(diào)用不同的運行時函數(shù)來初始化數(shù)據(jù)結(jié)構(gòu)。

使用示例

var a []int
fmt.Println(a[0])
// 運行結(jié)果
panic: runtime error: index out of range [0] with length 0

如果不對切片進(jìn)行初始化，就無法使用

 var a []int
 a = make([]int, 1)
 fmt.Println(a[0])

map和chan也同理。切片需要指定長度大小，容量可以自動擴(kuò)容。如果下標(biāo)超出指定的長度也會出現(xiàn)數(shù)組越界的情況。但是map不會發(fā)生該情況。即使初始化map容量為0，map底層也會自動進(jìn)行擴(kuò)容。對于channel來說初始化容量就是初始化緩沖區(qū)長度。

總結(jié)：

make和new共同點都是可以開辟內(nèi)存空間，給變量分配內(nèi)存。
不同點在于：

兩者的作用類型不同，new給int、string、數(shù)組分配內(nèi)存，make給slice、map、channel分配內(nèi)存。
兩者的返回值不同，new的返回值類型為一個指向新分配好的內(nèi)存空間的一個指定類型指針。而make的返回值類型為它本身。
new分配的內(nèi)存空間會被清零。make分配空間之后會被初始化。
new分配的內(nèi)存空間不一定會在堆上分配，當(dāng)指向這個內(nèi)存空間的指針變量作用域不會在作用域外被使用，或者說這個變量只使用一次就不再使用。那么new分配的內(nèi)存空間就會在當(dāng)前的函數(shù)棧中隨著棧的結(jié)束而被銷毀。make則會在棧上開辟一塊棧幀，棧幀里面有棧的指針和棧頂指針，分別記錄棧幀的空間，隨著函數(shù)的執(zhí)行完畢，棧里的棧幀就會自動清空。