Go 語言中的 new() 和 make()的區別

本文是看了文章之后的心得。 在此感謝。

概述

Go 語言中的 new 和 make 一直是新手比較容易混淆的東西，咋一看很相似。不過解釋兩者之間的不同也非常容易。 他們所做的事情，和應用的類型也不相同。 
二者都是用來分配空間。

new 函數

• new 是內建函數，函數原型為

func new(Type) *Type

官方文檔描述為：

The new build-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. 
翻譯如下： 
內置函數 new 分配空間。傳遞給new 函數的是一個類型，不是一個值。返回值是 指向這個新分配的零值的指針。

根據這段描述，我們也可以自己實現一個類似 new 的功能

    func newInt *int { var i int return &i //為何可以返回局部變量呢？ } someInt := newInt()

這里要注意的第一點是，返回值是一個指針。 
然后，為何一個golang 中的函數可以返回局部變量呢？

make 函數

make 也是內建函數，你可以從 http://golang.org/pkg/builtin/#make 看到它， 它的函數原型 比 new 多了一個（長度）參數，返回值也不同。 
函數原型是：

func make(Type, size IntegerType) Type 

• 第一個參數是一個類型，第二個參數是長度
• 返回值是一個類型

官方描述為：

The make built-in function allocates and initializes an object（分配空間 + 初始化） of type slice, map or chan**(only)**. Like new , the first arguement 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. 
翻譯為： 
內建函數 make 分配並且初始化 一個 slice, 或者 map 或者 chan 對象。 並且只能是這三種對象。 和 new 一樣，第一個參數是 類型，不是一個值。 但是make 的返回值就是這個類型（即使一個引用類型），而不是指針。 具體的返回值，依賴具體傳入的類型。

Slice : 第二個參數 size 指定了它的長度，此時它的容量和長度相同。 你可以傳入第三個參數 來指定不同的容量值，但是必須不能比長度值小。 比如: make([]int, 0, 10) Map: 根據size 大小來初始化分配內存，不過分配后的 map 長度為0。 如果 size 被忽略了，那么會在初始化分配內存的時候 分配一個小尺寸的內存。 Channel: 管道緩沖區依據緩沖區容量被初始化。如果容量為 0 或者被 忽略，管道是沒有緩沖區的。

var p *[]int = new([]int) 
var v []int = make([]int, 10) 
上述第一條語句 使用 new() 函數為 切片結構分配內存，*p == nil （這意味着什么？ 意味着沒有對Slice結構進行初始化）， 但是在實際中這種用法很少使用。 
第二條語句使用 make() 函數創建了一個有10個元素的 Slice對象。

總結

new 的作用是 初始化 一個指向類型的指針 (*T)， make 的作用是為 slice, map 或者 channel 初始化，並且返回引用 T

make(T, args)函數的目的與new(T)不同。它僅僅用於創建 Slice, Map 和 Channel，並且返回類型是 T（不是T*）的一個初始化的（不是零值）的實例。 這中差別的出現是由於這三種類型實質上是對在使用前必須進行初始化的數據結構的引用。 例如, Slice是一個 具有三項內容的描述符，包括 指向數據（在一個數組內部）的指針，長度以及容量。在這三項內容被初始化之前，Slice的值為nil。對於Slice，Map和Channel， make（）函數初始化了其內部的數據結構，並且准備了將要使用的值。

問題：棧中分配的變量，出棧的時候不會被釋放嗎？

我們注意到有如下函數：

    func newInt *int { var i int return &i //為何可以返回局部變量呢？ } someInt := newInt()

有個回答回答的很好： golang 和 c 語言不一樣，棧區分配的存儲空間不會隨着函數的返回而釋放，本地變量地址所占據的存儲空間會生存下來。

那么： 什么時候會釋放呢？ 什么情況下才會釋放呢？ （好問題，今天我一定回答了）