上一章中對于golang的語言基礎說明如下：

• 1 函數調用
• 2 接口
• 3 反射

接下來我們來對golang的常用關鍵字進行說明，主要內容有：

• 1. for 和 range
• 2. select
• 3. defer
• 4. panic 和 recover
• 5. make 和 new

— — — — — — — — — — — — — — — — — — — — — — — — — — — —

當我們想要在 Go 語言中初始化一個結構時，可能會用到兩個不同的關鍵字 — make 和 new。因為它們的功能相似，所以初學者可能會對這兩個關鍵字的作用感到困惑1，但是它們兩者能夠初始化的卻有較大的不同。

• make 的作用是初始化內置的數據結構，也就是我們在前面提到的切片、哈希表和 Channel2；
• new 的作用是根據傳入的類型分配一片內存空間并返回指向這片內存空間的指針3；

我們在代碼中往往都會使用如下所示的語句初始化這三類基本類型，這三個語句分別返回了不同類型的數據結構：

slice := make([]int, 0, 100) hash := make(map[int]bool, 10) ch := make(chan int, 5)

slice 是一個包含 data、cap 和 len 的私有結構體 internal/reflectlite.sliceHeader；

hash 是一個指向 runtime.hmap 結構體的指針；

ch 是一個指向 runtime.hchan 結構體的指針；

相比與復雜的 make 關鍵字，new 的功能就很簡單了，它只能接收一個類型作為參數然后返回一個指向該類型的指針：

i := new(int)var v int i := &v

上述代碼片段中的兩種不同初始化方法是等價的，它們都會創建一個指向 int 零值的指針。

圖 - make 和 new 初始化的類型

接下來我們將分別介紹 make 和 new 在初始化不同數據結構時的過程，我們會從編譯期間和運行時兩個不同階段理解這兩個關鍵字的原理，不過由于前面的章節已經詳細地分析過 make 的原理，所以這里會將重點放在另一個關鍵字 new 上。

1. make

在前面的章節中我們已經談到過 make 在創建切片、哈希表和 Channel 的具體過程，所以在這一小節，我們只是會簡單提及 make 相關的數據結構的初始化原理。

圖 - make 關鍵字的類型檢查

在編譯期間的類型檢查階段，Go 語言就將代表 make 關鍵字的 OMAKE 節點根據參數類型的不同轉換成了 OMAKESLICE、OMAKEMAP 和 OMAKECHAN 三種不同類型的節點，這些節點會調用不同的運行時函數來初始化相應的數據結構。

2. new

編譯器會在中間代碼生成階段通過以下兩個函數處理該關鍵字：

cmd/compile/internal/gc.callnew 函數會將關鍵字轉換成 ONEWOBJ 類型的節點2；

cmd/compile/internal/gc.state.expr 函數會根據申請空間的大小分兩種情況處理：

如果申請的空間為 0，就會返回一個表示空指針的 zerobase 變量；

在遇到其他情況時會將關鍵字轉換成 runtime.newobject 函數：

func callnew(t *types.Type) *Node {...n := nod(ONEWOBJ, typename(t), nil)...return n }func (s *state) expr(n *Node) *ssa.Value {switch n.Op {case ONEWOBJ:if n.Type.Elem().Size() == 0 {return s.newValue1A(ssa.OpAddr, n.Type, zerobaseSym, s.sb)}typ := s.expr(n.Left)vv := s.rtcall(newobject, true, []*types.Type{n.Type}, typ)return vv[0]} }

需要注意的是，無論是直接使用 new，還是使用 var 初始化變量，它們在編譯器看來就是 ONEWOBJ 和 ODCL 節點。這些節點在這一階段都會被 cmd/compile/internal/gc.walkstmt 轉換成通過 runtime.newobject 函數在堆上申請內存：

func walkstmt(n *Node) *Node {switch n.Op {case ODCL:v := n.Leftif v.Class() == PAUTOHEAP {if prealloc[v] == nil {prealloc[v] = callnew(v.Type)}nn := nod(OAS, v.Name.Param.Heapaddr, prealloc[v])nn.SetColas(true)nn = typecheck(nn, ctxStmt)return walkstmt(nn)}case ONEW:if n.Esc == EscNone {r := temp(n.Type.Elem())r = nod(OAS, r, nil)r = typecheck(r, ctxStmt)init.Append(r)r = nod(OADDR, r.Left, nil)r = typecheck(r, ctxExpr)n = r} else {n = callnew(n.Type.Elem())}} }

不過這也不是絕對的，如果通過 var 或者 new 創建的變量不需要在當前作用域外生存，例如不用作為返回值返回給調用方，那么就不需要初始化在堆上。

runtime.newobject 函數會是獲取傳入類型占用空間的大小，調用 runtime.mallocgc 在堆上申請一片內存空間并返回指向這片內存空間的指針：

func newobject(typ *_type) unsafe.Pointer {return mallocgc(typ.size, typ, true) }

runtime.mallocgc 函數的實現大概有 200 多行代碼，我們會在后面的章節中詳細分析 Go 語言的內存管理機制。

3. 小結

到了最后，簡單總結一下 Go 語言中 make 和 new 關鍵字的實現原理，make 關鍵字的作用是創建切片、哈希表和 Channel 等內置的數據結構，而 new 的作用是為類型申請一片內存空間，并返回指向這片內存的指針。

全套教程點擊下方鏈接直達：

IT實戰：Go語言設計與實現自學教程?zhuanlan.zhihu.com

總結

以上是生活随笔為你收集整理的golang 切片 接口_Golang语言常用关键字之 make 和 new的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。