Go初始化變數的招式

大愚Talk發表於2019-02-16
Go變數

年初的立的各種Flag，已經被我拋到九霄雲外去了。2018年已經過去了一半，終於開始了第三篇文章，距離全年30篇的輸出計劃，僅剩27本，我很有“信心完成”剩下的部分。

2018年伊始，開始從PHP轉到Go的開發方向，雖然說學習路線並不是非常陡峭，但是過程中遇到不少坑以及有意思的地方，忍不住想總結分享給大家。今天先來聊一聊Go中初始化變數的幾種方式。

Go中初始化值型別的招式

Golang的資料型別可以分為：值型別 與 引用型別，我先來總結一下Go中值型別（以 string 為例）的初始化方式：

var a1 string
fmt.Printf("a1: %#v 
", a1) // a1: ""

var a2 *string
fmt.Printf("a2: %#v 
", a2) // a2: (*string)(nil)
// panic: runtime error: invalid memory address or nil pointer dereference
//fmt.Printf(**"a2: %#v 
"**, *a2)

a3 := new(string)
fmt.Printf("a3: %#v 
", a3) // a3: (*string)(0xc42000e200)
fmt.Printf(**"a3: %#v 
"**, *a3) // a3: ""

a4 := "hello"
fmt.Printf("a4: %#v 
", a4) // a4: "hello"

a5 := string("hello")
fmt.Printf("a5: %#v 
", a5) // a5: "hello"

a6 := &a5
fmt.Printf("a6: %#v 
", a6) // a6: (*string)(0xc42000e1e0)

// 報錯，cannot make type string
//a7 := make(string, 1)

// 報錯，cannot take the address of string("hello")
//a8 := &string("hello")

註釋部分是輸出的資訊，可以看到有的結果打出來是個值，有的是一個指標。這一部分重點我只想說明兩個點：

  1. Go會自動將申明變數初始化為0值，所謂的0值是：int就是0，string就是空字元，bool就是false等
  2. 對於通過new建立的變數，是一個指標，它與var宣告的變數是不同的，var宣告的變數僅是一個nil。而new(string) 為string分配一片記憶體，初始化為 0。通過上面註釋的報錯資訊大家可以理解。

Go中初始化引用型別的招式

這是我想說的重點，Go中的引用型別僅有三種：::map:: ::slice:: ::channel::，這裡舉例就用slice來進行。

var s1 []string
fmt.Printf("s1: %#v
", s1) // s1: []string(nil)
s1 = append(s1, "hello")
fmt.Printf("s1: %#v
", s1) // s1: []string{"hello"}

var s2 *[]string
fmt.Printf("s2: %#v
", s2) // s2: (*[]string)(nil)

s3 := []string{"a", "b", "c"}
fmt.Printf("s3: %#v
", s3) // s3: []string{"a", "b", "c"}

s4 := &[]string{}
fmt.Printf("s4: %#v
", s4) // s4: &[]string{}

s5 := &s3
fmt.Printf("s5: %#v
", s5) // s5: &[]string{"a", "b", "c"}

s6 := new([]string)
fmt.Printf("s6: %#v
", s6) // s6: &[]string(nil)
// first argument to append must be slice; have *[]string
//s6 = append(s6, "hello") // 這是一個空引用的指標，所以報錯

s7 := make([]string, 0)
fmt.Printf("s7: %#v
", s7) // s7: []string{}

// 有毛病才用這種方式
s8 := new([]string)
*s8 = make([]string, 0)
fmt.Printf("s8: %#v
", s8) // s8: &[]string{}

arr := [5]string{"a", "b", "c"}
s9 := arr[:]
fmt.Printf("s9: %#v
", s9) // s9: []string{"a", "b", "c", "", ""}

這裡我重點分析一下s6、s7、s8這三種初始化方式。先說s6，使用的是new。

new(T) 為每個新的型別T分配一片記憶體，初始化為 0 並且返回型別為*T的記憶體地址：這種方法 返回一個指向型別為 T，值為 0 的地址的指標
這裡所謂的值為0，並不是數值0，而是go的預設0值，對應 ::slice:: 就是nil。

在Go中絕對不會採用這種方式來初始化 ::slice:: 的，原因是為什麼呢？我這裡先簡單說一下，是因為Go中::slice::是如下定義的：

type slice struct{
    array unsafe.Pointer
    len   int
    cap   int
}

如果用 new 因為返回的是 T 的記憶體地址，無法完成對 ::slice::的初始化，無法讓slice正常使用，想要讓他可以正常使用，就得像s8的處理方式一樣，再用make對應 T 進行一次初始化。如果這麼幹，你說是不是有毛病才用的方式？

slice 的初始化需要初始化 len、cap的值，讓 array 指向一個陣列的指標。完成這些初始化後，slice才能正常使用。

總結

關於自定義結構的初始化與上面string的初始化一樣，map、channel與slice一樣。大家可以自己寫點程式碼試試

  • 記住make只用於map，slice和channel，並且不返回指標。
  • 要獲得一個顯式的指標，使用new進行分配，或者顯式地使用一個變數的地址。

接下來計劃分享的內容：

  1. Go中值、引用、指標方面的知識，重點是函式引數的傳參方式
  2. Go中::slice::與::array::的親密關係
  3. Go中介面的知識，從::sort::的原始碼角度來介紹

相關文章