區別:1、make只能用來分配及初始化類型為slice、map、chan的數據;而new可以分配任意類型的數據。2、new分配返回的是指針,即類型“*Type”;而make返回引用,即Type。3、new分配的空間會被清零;make分配空間后,會進行初始化。
本教程操作環境:windows7系統、GO 1.18版本、Dell G3電腦。
new 和 make 是 Go 語言中用于內存分配的原語。簡單來說,new 只分配內存,make 用于初始化 slice、map 和 channel。
new
new(T) 函數是一個分配內存的內置函數,為每個類型分配一片內存,并初始化為零值且返回其內存地址。
語法是 func new(Type) *Type
眾所周知,一個已經存在的變量可以賦值給它的指針。
var p int var v *int v = &p *v = 11 fmt.Println(*v)
那么如果它還不是一個變量呢?你可以直接賦值嗎?
func main() { var v *int *v = 8 fmt.Println(*v) // panic: runtime error: invalid memory address or nil pointer dereference // [signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0x47df36] // goroutine 1 [running]: // main.main() // /tmp/sandbox1410772957/prog.go:9 +0x16 }
報錯結果如代碼中的注釋。
如何解決?可以通過 Go 提供 new 初始化地址來解決。
func main() { var v *int // v 是一個 int 類型的指針,v 的地址和 v 的值 0xc0000ba018 <nil> fmt.Println("v 是一個 int 類型的指針,v 的地址和 v 的值 ", &v, v) // 分配給 v 一個指向的變量 v = new(int) // v 是一個 int 類型的指針,v 的地址和 v 的值 0xc0000ba018 0xc000018030 0,此時已經分配給了 v 指針一個指向的變量,但是變量為零值 fmt.Println("v 是一個 int 類型的指針,v 的地址, v 的值和 v 指向的變量的值 ", &v, v, *v) *v = 8 // v 是一個 int 類型的指針,v 的地址和 v 的值 0xc0000ba018 0xc000018030 8,此時又像這個變量中裝填了一個值 8 fmt.Println("v 是一個 int 類型的指針,v 的地址, v 的值和 v 指向的變量的值 ", &v, v, *v) // 整個過程可以理解為給 v 指針指向了一個匿名變量 }
我們可以看到,初始化一個值為nil的指針變量并不是直接賦值。通過new返回一個值為0xc000018030 的指針指向新賦值的int類型,零值為其值。
此外,重要的是要注意,不同指針類型的零值是不同的。具體的你可以參考這篇文章。或者你可以瀏覽下面的代碼。
type Name struct { P string } var av *[5]int var iv *int var sv *string var tv *Name av = new([5]int) fmt.Println(*av) //[0 0 0 0 0 0] iv = new(int) fmt.Println(*iv) // 0 sv = new(string) fmt.Println(*sv) // tv = new(Name) fmt.Println(*tv) //{}
上面介紹了處理普通類型new()后如何賦值,這里是處理復合類型(array、struct)后如何賦值。但是在這里,我認為原文的作者講述有錯誤,因為對 slice,map 和 channel 來說,new 只能開辟
數組實例
func main() { // 聲明一個數組指針 var a *[5]int fmt.Printf("a: %p %#v n", &a, a) //a: 0xc04200a180 [5]int{0, 0, 0, 0, 0} // 分配一個內存地址給 a(數組指針)指向 a = new([5]int) fmt.Printf("a: %p %#v n", &a, a) //av: 0xc000074018 &[5]int{0, 0, 0, 0, 0} // 修改這個數組中的值 (*a)[1] = 8 fmt.Printf("a: %p %#v n", &a, a) //av: 0xc000006028 &[5]int{0, 8, 0, 0, 0} }
結構體實例
type mystruct struct { name string age int } func main() { var people *mystruct people = new(mystruct) people.name = "zhangsan" people.age = 11 fmt.Printf("%v, %v", people.name, people.age) // zhangsan, 11 }
make
make 專門用于創建 chan,map 和 slice 三種類型的內容分配,并且可以初始化它們。make 的返回類型與其參數的類型相同,而不是指向它的指針,因為這三種數據類型本身就是引用類型。
其語法為:func make(t Type, size ...IntegerType) Type
,可以看到第二個為變長參數,用于指定開辟內存的大小,比如對 slice 而言,需要指定 cap 和 length(cap 表示容量,length 表示長度,即可以使用的大?。?,要求 cap 是比 length 大的。
對于 slice 的 cap 和 length 這里不做過多介紹,你可以理解為,現在有一套房子,這個房子是毛坯房,它所有房間有 3 間(cap),其中已經裝修好了 1 間(length)。
至于為什么不使用 new 來為這三種分配內存呢?我們來做一個實驗。
func main() { var s *[]int fmt.Printf("s 的地址是: %p, s 的值是 %pn", &s, s) // s 的地址是: 0xc00000e028, s 的值是 0x0 s = new([]int) fmt.Printf("s 的地址是: %p, s 的值是 %pn", &s, s) // s 的地址是: 0xc00000e028, s 的值是 0xc00011a018 (*s)[0] = 1 fmt.Println("s 的地址是: %p, s 的值是 %pn", &s, s) // panic: runtime error: index out of range [0] with length 0 } }
可以看到在為 slice 賦值的時候報錯了 length 為 0,至于具體的原因,有知道的朋友可以在評論區留言。
因此常推薦使用 make 來進行這三種類型的創建。
slice 實例
func main() { // 第一個 size 是 length,第二個 size 是 cap a := make([]int, 5, 10) // a: 0xc00011a018 []int{0, 0, 0, 0, 0},cap: 10, length: 5 fmt.Printf("a: %p %#v,cap: %d, length: %d n", &a, a, cap(a), len(a)) }
map 實例
func main() { // 第一個 string 是 key,第二個 string 是 value mapInstance := make(map[string]string, 5) mapInstance["第一名"] = "張三" mapInstance["第二名"] = "李四" mapInstance["第三名"] = "王五" fmt.Println(mapInstance) // map[第一名:張三 第三名:王五 第二名:李四] }
通道實例
func countNum(temp int, ch chan int) { i := temp + 1 ch <- i fmt.Println("已經將 i 發往通道 c 中") } func main() { ch := make(chan int) go countNum(1, ch) res := <-ch fmt.Println("已經從 ch 中獲取 i 并保存在 res 中") fmt.Println("res 是", res) }
總結:
make 函數只用于 map,slice 和 channel,并且不返回指針。如果想要獲得一個顯式的指針,可以使用 new 函數進行分配,或者顯式地使用一個變量的地址。
Go語言中的 new 和 make 主要區別如下:
-
make 只能用來分配及初始化類型為 slice、map、chan 的數據;new 可以分配任意類型的數據。
-
new 分配返回的是指針,即類型 *Type;make 返回引用,即 Type。
-
new 分配的空間被清零;make 分配空間后,會進行初始化。
【