快捷導(dǎo)航

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

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

new只能開(kāi)辟單個(gè)空間，不能為引用類型開(kāi)辟多個(gè)空間，并且new是對(duì)類型進(jìn)行內(nèi)存的開(kāi)辟，返回一個(gè)指向該內(nèi)存空間的指針類型，如果使用new去初始化引用數(shù)據(jù)類型，不是很合適（當(dāng)然，new一個(gè)對(duì)象還是可以的），因此就需要用到另一個(gè)內(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

對(duì)于官方是這么解釋new的：這個(gè)內(nèi)置函數(shù)功能是分配內(nèi)存。第一個(gè)參數(shù)是一個(gè)自定義類型，并不是一個(gè)值，返回值為一個(gè)指向新分配好的內(nèi)存空間的一個(gè)指定類型指針，并且這個(gè)內(nèi)存空間會(huì)被清零（也就是變?yōu)樵擃愋偷牧阒担?/p>

使用new初始化

至于使用new進(jìn)行初始化，根據(jù)語(yǔ)言規(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.因?yàn)間o中的函數(shù)不能被重載，并且這不是可變參數(shù)，所以無(wú)法傳遞任何初始化數(shù)據(jù)。取而代之的是，go將使用對(duì)類型和任何成員字段適當(dāng)?shù)娜魏?版本進(jìn)行初始化。

零值

go語(yǔ)言總共分為四大類型：基本數(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)
 
 運(yùn)行結(jié)果:
 類型為:*int, 值為:0xc0000a6058
 類型為:int, 值為:0               
 類型為:*string, 值為:0xc000088220
 類型為:string, 值為:             
 類型為:**int, 值為:0xc0000ca020  
 類型為:*int, 值為:<nil>

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

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

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

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

上述例子就很好的說(shuō)明了這個(gè)問(wèn)題。

小結(jié)

new只能開(kāi)辟單個(gè)空間，不能為引用類型開(kāi)辟多個(gè)空間。并且new是對(duì)類型進(jìn)行內(nèi)存的開(kāi)辟，返回一個(gè)指向該內(nèi)存空間的指針類型。如果使用new去初始化引用數(shù)據(jù)類型，不是很合適（當(dāng)然，new一個(gè)對(duì)象還是可以的）。因此就需要用到另一個(gè)內(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

對(duì)于官方是這么解釋make的：該函數(shù)功能是分配內(nèi)存并且初始化一個(gè)切片(slice/map/channel)類型的對(duì)象。相比較內(nèi)置函數(shù)new而言，make的第一個(gè)參數(shù)也是一個(gè)自定義類型，不是一個(gè)值。但make的返回類型是一個(gè)和他傳入的自定義參數(shù)類型完全相同的類型。并不是一個(gè)指針去指向這個(gè)新開(kāi)辟的內(nèi)存空間。

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

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

在這里插入圖片描述

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

使用示例

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

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

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

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

總結(jié)：

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

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