Go語言中new和make都是用來內存分配的原語(allocation primitives)。簡單的說,new只分配內存,make用於slice,map,和channel的初始化。
new
new(T)函數是一個分配內存的內建函數。
我們都知道,對於一個已經存在變量,可對其指針進行賦值。
示例
var p int
var v *int
v = &p
*v = 11
fmt.Println(*v)
那麼,如果不是已經存在的變量會如何呢?能對其直接賦值嗎?
示例
var v *int
*v = 8
fmt.Println(*v)
結果會報如下錯誤
panic: runtime error: invalid memory address or nil pointer dereference
[signal 0xc0000005 code=0x1 addr=0x0 pc=0x48df66]
如何解決?通過Go提供了new來初始化一地址就可以解決。
var v *int
v = new(int)
*v = 8
fmt.Println(*v)
那麼我們來分析一下
var v *int
fmt.Println(*v)
fmt.Println(v) //<nil>
v = new(int)
fmt.Println(*v)//
fmt.Println(v)//0xc00004c088
我們可以看到初始化一個指針變量,其值爲nil,nil的值是不能直接賦值的。通過new其返回一個指向新分配的類型爲int的指針,指針值爲0xc00004c088,這個指針指向的內容的值爲零(zero value)。
同時,需要注意的是不同的指針類型零值是不同的。
示例
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()處理過後是如何賦值的,這裏再講一下對複合類型(數組,slice,map,channel等),new()處理過後,如何賦值。
數組示例
var a [5]int
fmt.Printf("a: %p %#v \n", &a, a)//a: 0xc04200a180 [5]int{0, 0, 0, 0, 0}
av := new([5]int)
fmt.Printf("av: %p %#v \n", &av, av)//av: 0xc000074018 &[5]int{0, 0, 0, 0, 0}
(*av)[1] = 8
fmt.Printf("av: %p %#v \n", &av, av)//av: 0xc000006028 &[5]int{0, 8, 0, 0, 0}
silce 示例
var a *[]int
fmt.Printf("a: %p %#v \n", &a, a) //a: 0xc042004028 (*[]int)(nil)
av := new([]int)
fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000074018 &[]int(nil)
(*av)[0] = 8
fmt.Printf("av: %p %#v \n", &av, av) //panic: runtime error: index out of range
map 示例
var m map[string]string
fmt.Printf("m: %p %#v \n", &m, m)//m: 0xc042068018 map[string]string(nil)
mv := new(map[string]string)
fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc000006028 &map[string]string(nil)
(*mv)["a"] = "a"
fmt.Printf("mv: %p %#v \n", &mv, mv)//這裏會報錯panic: assignment to entry in nil map
channel示例
cv := new(chan string)
fmt.Printf("cv: %p %#v \n", &cv, cv)//cv: 0xc000074018 (*chan string)(0xc000074020)
//cv <- "good" //會報 invalid operation: cv <- "good" (send to non-chan type *chan string)
通過上面示例我們看到數組通過new處理,數組av初始化零值,數組雖然是複合類型,但不是引用類型,其他silce、map、channel類型也屬於引用類型,go會給引用類型初始化爲nil,nil是不能直接賦值的。並且不能用new分配內存。無法直接賦值。那麼用make函數處理會是怎麼樣呢?
make
示例
av := make([]int, 5)
fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000046400 []int{0, 0, 0, 0, 0}
av[0] = 1
fmt.Printf("av: %p %#v \n", &av, av) //av: 0xc000046400 []int{1, 0, 0, 0, 0}
mv := make(map[string]string)
fmt.Printf("mv: %p %#v \n", &mv, mv) //mv: 0xc000074020 map[string]string{}
mv["m"] = "m"
fmt.Printf("mv: %p %#v \n", &mv, mv) //mv: 0xc000074020 map[string]string{"m":"m"}
chv := make(chan string)
fmt.Printf("chv: %p %#v \n", &chv, chv) //chv: 0xc000074028 (chan string)(0xc00003e060)
go func(message string) {
chv <- message // 存消息
}("Ping!")
fmt.Println(<-chv) // 取消息 //"Ping!"
close(chv)
make不僅可以開闢一個內存,還能給這個內存的類型初始化其零值。
它和new還能配合使用
示例
var mv *map[string]string
fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc042004028 (*map[string]string)(nil)
mv = new(map[string]string)
fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc000006028 &map[string]string(nil)
(*mv) = make(map[string]string)
(*mv)["a"] = "a"
fmt.Printf("mv: %p %#v \n", &mv, mv)//mv: 0xc042004028 &map[string]string{"a":"a"}
通過new給指針變量mv分配了一個內存,並賦予其內存地址。Map是引用類型,其零值爲nil,使用make初始化 map,然後變量就能使用*
給指針變量mv賦值了。
小結:
- make和new都是golang用來分配內存的內建函數,且在堆上分配內存,make 即分配內存,也初始化內存。new只是將內存清零,並沒有初始化內存。
- make返回的還是引用類型本身;而new返回的是指向類型的指針。
- make只能用來分配及初始化類型爲slice,map,channel的數據;new可以分配任意類型的數據。