天天看點

Golang 新手可能會踩的 50 個坑

Go 是一門簡單有趣的程式設計語言,與其他語言一樣,在使用時不免會遇到很多坑,不過它們大多不是 Go 本身的設計缺陷。如果你剛從其他語言轉到 Go,那這篇文章裡的坑多半會踩到。

如果花時間學習官方 doc、wiki、讨論郵件清單、 Rob Pike 的大量文章以及 Go 的源碼,會發現這篇文章中的坑是很常見的,新手跳過這些坑,能減少大量調試代碼的時間。

在其他大多數語言中,<code>{</code> 的位置你自行決定。Go 比較特别,遵守分号注入規則(automatic semicolon injection):編譯器會在每行代碼尾部特定分隔符後加 <code>;</code> 來分隔多條語句,比如會在 <code>)</code> 後加分号:

// 錯誤示例

funcmain() { println("hello world") } // 等效于 func main(); // 無函數體 { println("hello world") }

./main.go: missing function body ./main.go: syntax error: unexpected semicolon or newline before {

// 正确示例

funcmain() { println("hello world") }

如果在函數體代碼中有未使用的變量,則無法通過編譯,不過全局變量聲明但不使用是可以的。

即使變量聲明後為變量指派,依舊無法通過編譯,需在某處使用它:

var gvar int// 全局變量,聲明不使用也可以

funcmain() { var one int// error: one declared and not used two := 2 // error: two declared and not used var three int // error: three declared and not used three = 3 } // 正确示例 // 可以直接注釋或移除未使用的變量 func main() { var one int _ = one two := 2 println(two) var three int one = three var four int four = four }

如果你 import 一個包,但包中的變量、函數、接口和結構體一個都沒有用到的話,将編譯失敗。

可以使用 <code>_</code> 下劃線符号作為别名來忽略導入的包,進而避免編譯錯誤,這隻會執行 package 的 <code>init()</code>

import (

"fmt"// imported and not used: "fmt"

"log"// imported and not used: "log" "time" // imported and not used: "time" ) func main() { } // 正确示例 // 可以使用 goimports 工具來注釋或移除未使用到的包 import ( _ "fmt" "log" "time" ) func main() { _ = log.Println _ = time.Now }

myvar := 1// syntax error: non-declaration statement outside function body

funcmain() { } // 正确示例 var myvar = 1 func main() { }

不能用簡短聲明方式來單獨為一個變量重複聲明, <code>:=</code> 左側至少有一個新變量,才允許多變量的重複聲明:

funcmain() { one := 0 one := 1// error: no new variables on left side of := } // 正确示例 func main() { one := 0 one, two := 1, 2 // two 是新變量,允許 one 的重複聲明。比如 error 處理經常用同名變量 err one, two = two, one // 交換兩個變量值的簡寫 }

struct 的變量字段不能使用 <code>:=</code> 來指派以使用預定義的變量來避免解決:

type info struct {

result int

}

funcwork()(int, error) { return3, nil } funcmain() { var data info data.result, err := work() // error: non-name data.result on left side of := fmt.Printf("info: %+v\n", data) } // 正确示例 func main() { var data info var err error // err 需要預聲明 data.result, err = work() if err != nil { fmt.Println(err) return } fmt.Printf("info: %+v\n", data) }

對從動态語言轉過來的開發者來說,簡短聲明很好用,這可能會讓人誤會 <code>:=</code> 是一個指派操作符。

如果你在新的代碼塊中像下邊這樣誤用了 <code>:=</code>,編譯不會報錯,但是變量不會按你的預期工作:

funcmain() {

x := 1println(x) // 1 { println(x) // 1 x := 2 println(x) // 2 // 新的 x 變量的作用域隻在代碼塊内部 } println(x) // 1 }

這是 Go 開發者常犯的錯,而且不易被發現。

可使用 vet 工具來診斷這種變量覆寫,Go 預設不做覆寫檢查,添加 <code>-shadow</code> 選項來啟用:

&gt; go tool vet -shadow main.go

main .go:9: declaration of "x" shadows declaration at main.go:5

注意 vet 不會報告全部被覆寫的變量,可以使用 go-nyet 來做進一步的檢測:

&gt;$GOPATH/bin/go-nyet main.go

main .go:10:3:Shadowing variable `x`

<code>nil</code> 是 interface、function、pointer、map、slice 和 channel 類型變量的預設初始值。但聲明時不指定類型,編譯器也無法推斷出變量的具體類型。

funcmain() { var x = nil// error: use of untyped nil _ = x } // 正确示例 func main() { var x interface{} = nil _ = x }

允許對值為 nil 的 slice 添加元素,但對值為 nil 的 map 添加元素則會造成運作時 panic

// map 錯誤示例

funcmain() { var m map[string]int m["one"] = 1// error: panic: assignment to entry in nil map // m := make(map[string]int)// map 的正确聲明,配置設定了實際的記憶體 } // slice 正确示例 func main() { var s []int s = append(s, 1) }

在建立 map 類型的變量時可以指定容量,但不能像 slice 一樣使用 <code>cap()</code> 來檢測配置設定空間的大小:

funcmain() { m := make(map[string]int, 99) println(cap(m)) // error: invalid argument m1 (type map[string]int) for cap }

對那些喜歡用 <code>nil</code> 初始化字元串的人來說,這就是坑:

funcmain() { var s string = nil// cannot use nil as type string in assignment if s == nil { // invalid operation: s == nil (mismatched types string and nil) s = "default" } } // 正确示例 func main() { var s string // 字元串類型的零值是空串 "" if s == "" { s = "default" } }

在 C/C++ 中,數組(名)是指針。将數組作為參數傳進函數時,相當于傳遞了數組記憶體位址的引用,在函數内部會改變該數組的值。

在 Go 中,數組是值。作為參數傳進函數時,傳遞的是數組的原始值拷貝,此時在函數内部是無法更新該數組的:

// 數組使用值拷貝傳參

funcmain() { x := [3]int{1,2,3} func(arr [3]int) { arr[0] = 7 fmt.Println(arr) // [7 2 3] }(x) fmt.Println(x) // [1 2 3] // 并不是你以為的 [7 2 3] }

如果想修改參數數組:

直接傳遞指向這個數組的指針類型:

// 傳址會修改原資料

funcmain() { x := [3]int{1,2,3} func(arr *[3]int) { (*arr)[0] = 7 fmt.Println(arr) // &amp;[7 2 3] }(&amp;x) fmt.Println(x) // [7 2 3] }

直接使用 slice:即使函數内部得到的是 slice 的值拷貝,但依舊會更新 slice 的原始資料(底層 array)

// 會修改 slice 的底層 array,進而修改 slice

funcmain() { x := []int{1, 2, 3} func(arr []int) { arr[0] = 7 fmt.Println(x) // [7 2 3] }(x) fmt.Println(x) // [7 2 3] }

與其他程式設計語言中的 <code>for-in</code> 、<code>foreach</code> 周遊語句不同,Go 中的 <code>range</code> 在周遊時會生成 2 個值,第一個是元素索引,第二個是元素的值:

funcmain() { x := []string{"a", "b", "c"} for v := range x { fmt.Println(v) // 1 2 3 } } // 正确示例 func main() { x := []string{"a", "b", "c"} for _, v := range x { // 使用 _ 丢棄索引 fmt.Println(v) } }

看起來 Go 支援多元的 array 和 slice,可以建立數組的數組、切片的切片,但其實并不是。

對依賴動态計算多元數組值的應用來說,就性能和複雜度而言,用 Go 實作的效果并不理想。

可以使用原始的一維數組、“獨立“ 的切片、“共享底層數組”的切片來建立動态的多元數組。

使用原始的一維數組:要做好索引檢查、溢出檢測、以及當數組滿時再添加值時要重新做記憶體配置設定。

使用“獨立”的切片分兩步:

建立外部 slice

對每個内部 slice 進行記憶體配置設定

注意内部的 slice 互相獨立,使得任一内部 slice 增縮都不會影響到其他的 slice

// 使用各自獨立的 6 個 slice 來建立 [2][3] 的動态多元數組

funcmain() { x := 2 y := 4 table := make([][]int, x) for i := range table { table[i] = make([]int, y) } }

使用“共享底層數組”的切片

建立一個存放原始資料的容器 slice

建立其他的 slice

切割原始 slice 來初始化其他的 slice

h, w := 2, 4 raw := make([]int, h*w) for i := range raw { raw[i] = i } // 初始化原始 slice fmt.Println(raw, &amp;raw[4]) // [0 1 2 3 4 5 6 7] 0xc420012120 table := make([][]int, h) for i := range table { // 等間距切割原始 slice,建立動态多元數組 table // 0: raw[0*4: 0*4 + 4] // 1: raw[1*4: 1*4 + 4] table[i] = raw[i*w : i*w + w] } fmt.Println(table, &amp;table[1][0]) // [[0 1 2 3] [4 5 6 7]] 0xc420012120 }

更多關于多元數組的參考

go-how-is-two-dimensional-arrays-memory-representation

what-is-a-concise-way-to-create-a-2d-slice-in-go

和其他程式設計語言類似,如果通路了 map 中不存在的 key 則希望能傳回 nil,比如在 PHP 中:

Go 則會傳回元素對應資料類型的零值,比如 <code>nil</code>、<code>''</code> 、<code>false</code> 和 0,取值操作總有值傳回,故不能通過取出來的值來判斷 key 是不是在 map 中。

檢查 key 是否存在可以用 map 直接通路,檢查傳回的第二個參數即可:

// 錯誤的 key 檢測方式

funcmain() { x := map[string]string{"one": "2", "two": "", "three": "3"} if v := x["two"]; v == "" { fmt.Println("key two is no entry") // 鍵 two 存不存在都會傳回的空字元串 } } // 正确示例 func main() { x := map[string]string{"one": "2", "two": "", "three": "3"} if _, ok := x["two"]; !ok { fmt.Println("key two is no entry") } }

嘗試使用索引周遊字元串,來更新字元串中的個别字元,是不允許的。

string 類型的值是隻讀的二進制 byte slice,如果真要修改字元串中的字元,将 string 轉為 []byte 修改後,再轉為 string 即可:

// 修改字元串的錯誤示例

funcmain() { x := "text" x[0] = "T"// error: cannot assign to x[0] fmt.Println(x) } // 修改示例 func main() { x := "text" xBytes := []byte(x) xBytes[0] = 'T' // 注意此時的 T 是 rune 類型 x = string(xBytes) fmt.Println(x) // Text }

注意: 上邊的示例并不是更新字元串的正确姿勢,因為一個 UTF8 編碼的字元可能會占多個位元組,比如漢字就需要 3~4 個位元組來存儲,此時更新其中的一個位元組是錯誤的。

更新字串的正确姿勢:将 string 轉為 rune slice(此時 1 個 rune 可能占多個 byte),直接更新 rune 中的字元

x := "text" xRunes := []rune(x) xRunes[0] = '我' x = string(xRunes) fmt.Println(x) // 我ext }

當進行 string 和 byte slice 互相轉換時,參與轉換的是拷貝的原始值。這種轉換的過程,與其他程式設計語的強制類型轉換操作不同,也和新 slice 與舊 slice 共享底層數組不同。

Go 在 string 與 byte slice 互相轉換上優化了兩點,避免了額外的記憶體配置設定:

在 <code>map[string]</code> 中查找 key 時,使用了對應的 <code>[]byte</code>,避免做 <code>m[string(key)]</code> 的記憶體配置設定

使用 <code>for range</code> 疊代 string 轉換為 []byte 的疊代:<code>for i,v := range []byte(str) {...}</code>

霧:參考原文

對字元串用索引通路傳回的不是字元,而是一個 byte 值。

這種處理方式和其他語言一樣,比如 PHP 中:

&gt; php -r '$name="中文"; var_dump($name);'# "中文" 占用 6 個位元組

string(6) "中文" &gt; php -r '$name="中文"; var_dump($name[0]);' # 把第一個位元組當做 Unicode 字元讀取,顯示 U+FFFD string(1) "�" &gt; php -r '$name="中文"; var_dump($name[0].$name[1].$name[2]);' string(3) "中"

x := "ascii" fmt.Println(x[0]) // 97 fmt.Printf("%T\n", x[0])// uint8 }

如果需要使用 <code>for range</code> 疊代通路字元串中的字元(unicode code point / rune),标準庫中有 <code>"unicode/utf8"</code> 包來做 UTF8 的相關解碼編碼。另外 utf8string 也有像 <code>func (s *String) At(i int) rune</code> 等很友善的庫函數。

string 的值不必是 UTF8 文本,可以包含任意的值。隻有字元串是文字字面值時才是 UTF8 文本,字串可以通過轉義來包含其他資料。

判斷字元串是否是 UTF8 文本,可使用 "unicode/utf8" 包中的 <code>ValidString()</code> 函數:

str1 := "ABC" fmt.Println(utf8.ValidString(str1)) // true str2 := "A\xfeC" fmt.Println(utf8.ValidString(str2)) // false str3 := "A\\xfeC" fmt.Println(utf8.ValidString(str3)) // true // 把轉義字元轉義成字面值 }

在 Python 中:

data = u'♥'

print(len(data)) # 1

然而在 Go 中:

char := "♥" fmt.Println(len(char)) // 3 }

Go 的内建函數 <code>len()</code> 傳回的是字元串的 byte 數量,而不是像 Python 中那樣是計算 Unicode 字元數。

如果要得到字元串的字元數,可使用 "unicode/utf8" 包中的 <code>RuneCountInString(str string) (n int)</code>

char := "♥" fmt.Println(utf8.RuneCountInString(char)) // 1 }

注意: <code>RuneCountInString</code> 并不總是傳回我們看到的字元數,因為有的字元會占用 2 個 rune:

char := "é" fmt.Println(len(char)) // 3 fmt.Println(utf8.RuneCountInString(char)) // 2 fmt.Println("cafe\u0301") // café // 法文的 cafe,實際上是兩個 rune 的組合 }

參考:normalization

x := []int { 1, 2// syntax error: unexpected newline, expecting comma or } } y := []int{1,2,} z := []int{1,2} // ... }

聲明語句中 <code>}</code> 折疊到單行後,尾部的 <code>,</code> 不是必需的。

log 标準庫提供了不同的日志記錄等級,與其他語言的日志庫不同,Go 的 log 包在調用 <code>Fatal*()</code>、<code>Panic*()</code> 時能做更多日志外的事,如中斷程式的執行等:

log.Fatal("Fatal level log: log entry") // 輸出資訊後,程式終止執行 log.Println("Nomal level log: log entry") }

盡管 Go 本身有大量的特性來支援并發,但并不保證并發的資料安全,使用者需自己保證變量等資料以原子操作更新。

goroutine 和 channel 是進行原子操作的好方法,或使用 "sync" 包中的鎖。

range 得到的索引是字元值(Unicode point / rune)第一個位元組的位置,與其他程式設計語言不同,這個索引并不直接是字元在字元串中的位置。

注意一個字元可能占多個 rune,比如法文單詞 café 中的 é。操作特殊字元可使用norm 包。

for range 疊代會嘗試将 string 翻譯為 UTF8 文本,對任何無效的碼點都直接使用 0XFFFD rune(�)UNicode 替代字元來表示。如果 string 中有任何非 UTF8 的資料,應将 string 儲存為 byte slice 再進行操作。

data := "A\xfe\x02\xff\x04"for _, v := range data { fmt.Printf("%#x ", v) // 0x41 0xfffd 0x2 0xfffd 0x4 // 錯誤 } for _, v := range []byte(data) { fmt.Printf("%#x ", v) // 0x41 0xfe 0x2 0xff 0x4 // 正确 } }

如果你希望以特定的順序(如按 key 排序)來疊代 map,要注意每次疊代都可能産生不一樣的結果。

Go 的運作時是有意打亂疊代順序的,是以你得到的疊代結果可能不一緻。但也并不總會打亂,得到連續相同的 5 個疊代結果也是可能的,如:

m := map[string]int{"one": 1, "two": 2, "three": 3, "four": 4} for k, v := range m { fmt.Println(k, v) } }

如果你去 Go Playground 重複運作上邊的代碼,輸出是不會變的,隻有你更新代碼它才會重新編譯。重新編譯後疊代順序是被打亂的:

<code>switch</code> 語句中的 <code>case</code> 代碼塊會預設帶上 break,但可以使用 <code>fallthrough</code> 來強制執行下一個 case 代碼塊。

isSpace := func(char byte)bool { switch char { case' ': // 空格符會直接 break,傳回 false // 和其他語言不一樣 // fallthrough // 傳回 true case '\t': return true } return false } fmt.Println(isSpace('\t')) // true fmt.Println(isSpace(' ')) // false }

不過你可以在 case 代碼塊末尾使用 <code>fallthrough</code>,強制執行下一個 case 代碼塊。

也可以改寫 case 為多條件判斷:

isSpace := func(char byte)bool { switch char { case' ', '\t': returntrue } returnfalse } fmt.Println(isSpace('\t')) // true fmt.Println(isSpace(' ')) // true }

很多程式設計語言都自帶前置後置的 <code>++</code>、<code>--</code> 運算。但 Go 特立獨行,去掉了前置操作,同時 <code>++</code>、<code>—</code> 隻作為運算符而非表達式。

funcmain() { data := []int{1, 2, 3} i := 0 ++i // syntax error: unexpected ++, expecting } fmt.Println(data[i++]) // syntax error: unexpected ++, expecting : } // 正确示例 func main() { data := []int{1, 2, 3} i := 0 i++ fmt.Println(data[i]) // 2 }

很多程式設計語言使用 <code>~</code> 作為一進制按位取反(NOT)操作符,Go 重用 <code>^</code> XOR 操作符來按位取反:

// 錯誤的取反操作

funcmain() { fmt.Println(~2) // bitwise complement operator is ^ } // 正确示例 func main() { var d uint8 = 2 fmt.Printf("%08b\n", d) // 00000010 fmt.Printf("%08b\n", ^d) // 11111101 }

同時 <code>^</code> 也是按位異或(XOR)操作符。

一個操作符能重用兩次,是因為一進制的 NOT 操作 <code>NOT 0x02</code>,與二進制的 XOR 操作 <code>0x22 XOR 0xff</code> 是一緻的。

Go 也有特殊的操作符 AND NOT <code>&amp;^</code> 操作符,不同位才取1。

var a uint8 = 0x82var b uint8 = 0x02 fmt.Printf("%08b [A]\n", a) fmt.Printf("%08b [B]\n", b) fmt.Printf("%08b (NOT B)\n", ^b) fmt.Printf("%08b ^ %08b = %08b [B XOR 0xff]\n", b, 0xff, b^0xff) fmt.Printf("%08b ^ %08b = %08b [A XOR B]\n", a, b, a^b) fmt.Printf("%08b &amp; %08b = %08b [A AND B]\n", a, b, a&amp;b) fmt.Printf("%08b &amp;^%08b = %08b [A 'AND NOT' B]\n", a, b, a&amp;^b) fmt.Printf("%08b&amp;(^%08b)= %08b [A AND (NOT B)]\n", a, b, a&amp;(^b)) }

10000010 [A]

00000010 [B]

11111101 (NOT B)

00000010 ^ 11111111 = 11111101 [B XOR 0xff] 10000010 ^ 00000010 = 10000000 [A XOR B] 10000010 &amp; 00000010 = 00000010 [A AND B] 10000010 &amp;^00000010 = 10000000 [A 'AND NOT' B] 10000010&amp;(^00000010)= 10000000 [A AND (NOT B)]

除了位清除(bit clear)操作符,Go 也有很多和其他語言一樣的位操作符,但優先級另當别論。

fmt.Printf("0x2 &amp; 0x2 + 0x4 -&gt; %#x\n", 0x2&amp;0x2+0x4) // &amp; 優先 + //prints: 0x2 &amp; 0x2 + 0x4 -&gt; 0x6 //Go: (0x2 &amp; 0x2) + 0x4 //C++: 0x2 &amp; (0x2 + 0x4) -&gt; 0x2 fmt.Printf("0x2 + 0x2 &lt;&lt; 0x1 -&gt; %#x\n", 0x2+0x2&lt;&lt;0x1) // &lt;&lt; 優先 + //prints: 0x2 + 0x2 &lt;&lt; 0x1 -&gt; 0x6 //Go: 0x2 + (0x2 &lt;&lt; 0x1) //C++: (0x2 + 0x2) &lt;&lt; 0x1 -&gt; 0x8 fmt.Printf("0xf | 0x2 ^ 0x2 -&gt; %#x\n", 0xf|0x2^0x2) // | 優先 ^ //prints: 0xf | 0x2 ^ 0x2 -&gt; 0xd //Go: (0xf | 0x2) ^ 0x2 //C++: 0xf | (0x2 ^ 0x2) -&gt; 0xf }

優先級清單:

Precedence Operator

5 * / % &lt;&lt; &gt;&gt; &amp; &amp;^

4 + - | ^

3 == != &lt; &lt;= &gt; &gt;=

2 &amp;&amp;

1 ||

以小寫字母開頭的字段成員是無法被外部直接通路的,是以 <code>struct</code> 在進行 json、xml、gob 等格式的 encode 操作時,這些私有字段會被忽略,導出時得到零值:

in := MyData{1, "two"} fmt.Printf("%#v\n", in) // main.MyData{One:1, two:"two"} encoded, _ := json.Marshal(in) fmt.Println(string(encoded)) // {"One":1} // 私有字段 two 被忽略了 var out MyData json.Unmarshal(encoded, &amp;out) fmt.Printf("%#v\n", out) // main.MyData{One:1, two:""} }

程式預設不等所有 goroutine 都執行完才退出,這點需要特别注意:

// 主程式會直接退出

funcmain() { workerCount := 2for i := 0; i &lt; workerCount; i++ { go doIt(i) } time.Sleep(1 * time.Second) fmt.Println("all done!") } funcdoIt(workerID int) { fmt.Printf("[%v] is running\n", workerID) time.Sleep(3 * time.Second) // 模拟 goroutine 正在執行 fmt.Printf("[%v] is done\n", workerID) }

如下,<code>main()</code> 主程式不等兩個 goroutine 執行完就直接退出了:

常用解決辦法:使用 "WaitGroup" 變量,它會讓主程式等待所有 goroutine 執行完畢再退出。

如果你的 goroutine 要做消息的循環處理等耗時操作,可以向它們發送一條 <code>kill</code> 消息來關閉它們。或直接關閉一個它們都等待接收資料的 channel:

// 等待所有 goroutine 執行完畢

// 進入死鎖

funcmain() { var wg sync.WaitGroup done := make(chanstruct{}) workerCount := 2for i := 0; i &lt; workerCount; i++ { wg.Add(1) go doIt(i, done, wg) } close(done) wg.Wait() fmt.Println("all done!") } funcdoIt(workerID int, done &lt;-chanstruct{}, wg sync.WaitGroup) { fmt.Printf("[%v] is running\n", workerID) defer wg.Done() &lt;-done fmt.Printf("[%v] is done\n", workerID) }

執行結果:

看起來好像 goroutine 都執行完了,然而報錯:

fatal error: all goroutines are asleep - deadlock!

為什麼會發生死鎖?goroutine 在退出前調用了 <code>wg.Done()</code> ,程式應該正常退出的。

原因是 goroutine 得到的 "WaitGroup" 變量是 <code>var wg WaitGroup</code> 的一份拷貝值,即 <code>doIt()</code> 傳參隻傳值。是以哪怕在每個 goroutine 中都調用了 <code>wg.Done()</code>, 主程式中的 <code>wg</code> 變量并不會受到影響。

// 使用傳址方式為 WaitGroup 變量傳參

// 使用 channel 關閉 goroutine

funcmain() { var wg sync.WaitGroup done := make(chanstruct{}) ch := make(chaninterface{}) workerCount := 2for i := 0; i &lt; workerCount; i++ { wg.Add(1) go doIt(i, ch, done, &amp;wg) // wg 傳指針,doIt() 内部會改變 wg 的值 } for i := 0; i &lt; workerCount; i++ { // 向 ch 中發送資料,關閉 goroutine ch &lt;- i } close(done) wg.Wait() close(ch) fmt.Println("all done!") } func doIt(workerID int, ch &lt;-chan interface{}, done &lt;-chan struct{}, wg *sync.WaitGroup) { fmt.Printf("[%v] is running\n", workerID) defer wg.Done() for { select { case m := &lt;-ch: fmt.Printf("[%v] m =&gt; %v\n", workerID, m) case &lt;-done: fmt.Printf("[%v] is done\n", workerID) return } } }

運作效果:

隻有在資料被 receiver 處理時,sender 才會阻塞。因運作環境而異,在 sender 發送完資料後,receiver 的 goroutine 可能沒有足夠的時間處理下一個資料。如:

ch := make(chanstring) gofunc() { for m := range ch { fmt.Println("Processed:", m) time.Sleep(1 * time.Second) // 模拟需要長時間運作的操作 } }() ch &lt;- "cmd.1" ch &lt;- "cmd.2" // 不會被接收處理 }

從已關閉的 channel 接收資料是安全的:

接收狀态值 <code>ok</code> 是 <code>false</code> 時表明 channel 中已沒有資料可以接收了。類似的,從有緩沖的 channel 中接收資料,緩存的資料擷取完再沒有資料可取時,狀态值也是 <code>false</code>

向已關閉的 channel 中發送資料會造成 panic:

ch := make(chanint) for i := 0; i &lt; 3; i++ { gofunc(idx int) { ch &lt;- idx }(i) } fmt.Println(&lt;-ch) // 輸出第一個發送的值 close(ch) // 不能關閉,還有其他的 sender time.Sleep(2 * time.Second) // 模拟做其他的操作 }

運作結果:

針對上邊有 bug 的這個例子,可使用一個廢棄 channel <code>done</code> 來告訴剩餘的 goroutine 無需再向 ch 發送資料。此時 <code>&lt;- done</code> 的結果是 <code>{}</code>:

ch := make(chanint) done := make(chanstruct{}) for i := 0; i &lt; 3; i++ { gofunc(idx int) { select { case ch &lt;- (idx + 1) * 2: fmt.Println(idx, "Send result") case &lt;-done: fmt.Println(idx, "Exiting") } }(i) } fmt.Println("Result: ", &lt;-ch) close(done) time.Sleep(3 * time.Second) }

在一個值為 nil 的 channel 上發送和接收資料将永久阻塞:

var ch chanint// 未初始化,值為 nil for i := 0; i &lt; 3; i++ { go func(i int) { ch &lt;- i }(i) } fmt.Println("Result: ", &lt;-ch) time.Sleep(2 * time.Second) }

runtime 死鎖錯誤:

goroutine 1 [chan receive (nil chan)]

利用這個死鎖的特性,可以用在 select 中動态的打開和關閉 case 語句塊:

inCh := make(chanint) outCh := make(chanint) gofunc() { var in &lt;-chanint = inCh var out chan&lt;- intvar val intfor { select { case out &lt;- val: println("--------") out = nil in = inCh case val = &lt;-in: println("++++++++++") out = outCh in = nil } } }() gofunc() { for r := range outCh { fmt.Println("Result: ", r) } }() time.Sleep(0) inCh &lt;- 1 inCh &lt;- 2 time.Sleep(3 * time.Second) }

方法 receiver 的參數與一般函數的參數類似:如果聲明為值,那方法體得到的是一份參數的值拷貝,此時對參數的任何修改都不會對原有值産生影響。

除非 receiver 參數是 map 或 slice 類型的變量,并且是以指針方式更新 map 中的字段、slice 中的元素的,才會更新原有值:

type data struct {

num int

key *string

items map[string]bool } func(this *data)pointerFunc() { this.num = 7 } func(this data)valueFunc() { this.num = 8 *this.key = "valueFunc.key" this.items["valueFunc"] = true } funcmain() { key := "key1" d := data{1, &amp;key, make(map[string]bool)} fmt.Printf("num=%v key=%v items=%v\n", d.num, *d.key, d.items) d.pointerFunc() // 修改 num 的值為 7 fmt.Printf("num=%v key=%v items=%v\n", d.num, *d.key, d.items) d.valueFunc() // 修改 key 和 items 的值 fmt.Printf("num=%v key=%v items=%v\n", d.num, *d.key, d.items) }

使用 HTTP 标準庫發起請求、擷取響應時,即使你不從響應中讀取任何資料或響應為空,都需要手動關閉響應體。新手很容易忘記手動關閉,或者寫在了錯誤的位置:

// 請求失敗造成 panic

funcmain() { resp, err := http.Get("https://api.ipify.org?format=json") defer resp.Body.Close() // resp 可能為 nil,不能讀取 Body if err != nil { fmt.Println(err) return } body, err := ioutil.ReadAll(resp.Body) checkError(err) fmt.Println(string(body)) } func checkError(err error) { if err != nil{ log.Fatalln(err) } }

上邊的代碼能正确發起請求,但是一旦請求失敗,變量 <code>resp</code> 值為 <code>nil</code>,造成 panic:

panic: runtime error: invalid memory address or nil pointer dereference

應該先檢查 HTTP 響應錯誤為 <code>nil</code>,再調用 <code>resp.Body.Close()</code> 來關閉響應體:

// 大多數情況正确的示例

funcmain() { resp, err := http.Get("https://api.ipify.org?format=json") checkError(err) defer resp.Body.Close() // 絕大多數情況下的正确關閉方式 body, err := ioutil.ReadAll(resp.Body) checkError(err) fmt.Println(string(body)) }

輸出:

Get  https://api.ipify.org?format=...: x509: certificate signed by unknown authority

絕大多數請求失敗的情況下,<code>resp</code> 的值為 <code>nil</code> 且 <code>err</code> 為 <code>non-nil</code>。但如果你得到的是重定向錯誤,那它倆的值都是 <code>non-nil</code>,最後依舊可能發生記憶體洩露。2 個解決辦法:

可以直接在處理 HTTP 響應錯誤的代碼塊中,直接關閉非 nil 的響應體。

手動調用 <code>defer</code> 來關閉響應體:

funcmain() { resp, err := http.Get("http://www.baidu.com") // 關閉 resp.Body 的正确姿勢 if resp != nil { defer resp.Body.Close() } checkError(err) defer resp.Body.Close() body, err := ioutil.ReadAll(resp.Body) checkError(err) fmt.Println(string(body)) }

<code>resp.Body.Close()</code> 早先版本的實作是讀取響應體的資料之後丢棄,保證了 keep-alive 的 HTTP 連接配接能重用處理不止一個請求。但 Go 的最新版本将讀取并丢棄資料的任務交給了使用者,如果你不處理,HTTP 連接配接可能會直接關閉而非重用,參考在 Go 1.5 版本文檔。

如果程式大量重用 HTTP 長連接配接,你可能要在處理響應的邏輯代碼中加入:

如果你需要完整讀取響應,上邊的代碼是需要寫的。比如在解碼 API 的 JSON 響應資料:

一些支援 HTTP1.1 或 HTTP1.0 配置了 <code>connection: keep-alive</code> 選項的伺服器會保持一段時間的長連接配接。但标準庫 "net/http" 的連接配接預設隻在伺服器主動要求關閉時才斷開,是以你的程式可能會消耗完 socket 描述符。解決辦法有 2 個,請求結束後:

直接設定請求變量的 <code>Close </code>字段值為 <code>true</code>,每次請求結束後就會主動關閉連接配接。

設定 Header 請求頭部選項 <code>Connection: close</code>,然後伺服器傳回的響應頭部也會有這個選項,此時 HTTP 标準庫會主動斷開連接配接。

// 主動關閉連接配接

funcmain() { req, err := http.NewRequest("GET", "http://golang.org", nil) checkError(err) req.Close = true//req.Header.Add("Connection", "close") // 等效的關閉方式 resp, err := http.DefaultClient.Do(req) if resp != nil { defer resp.Body.Close() } checkError(err) body, err := ioutil.ReadAll(resp.Body) checkError(err) fmt.Println(string(body)) }

你可以建立一個自定義配置的 HTTP transport 用戶端,用來取消 HTTP 全局的複用連接配接:

tr := http.Transport{DisableKeepAlives: true} client := http.Client{Transport: &amp;tr} resp, err := client.Get("https://golang.google.cn/") if resp != nil { defer resp.Body.Close() } checkError(err) fmt.Println(resp.StatusCode) // 200 body, err := ioutil.ReadAll(resp.Body) checkError(err) fmt.Println(len(string(body))) }

根據需求選擇使用場景:

若你的程式要向同一伺服器發大量請求,使用預設的保持長連接配接。

若你的程式要連接配接大量的伺服器,且每台伺服器隻請求一兩次,那收到請求後直接關閉連接配接。或增加最大檔案打開數 <code>fs.file-max</code> 的值。

在 encode/decode JSON 資料時,Go 預設會将數值當做 float64 處理,比如下邊的代碼會造成 panic:

var data = []byte(`{"status": 200}`) var result map[string]interface{} if err := json.Unmarshal(data, &amp;result); err != nil { log.Fatalln(err) } fmt.Printf("%T\n", result["status"]) // float64 var status = result["status"].(int) // 類型斷言錯誤 fmt.Println("Status value: ", status) }

panic: interface conversion: interface {} is float64, not int

如果你嘗試 decode 的 JSON 字段是整型,你可以:

将 int 值轉為 float 統一使用

将 decode 後需要的 float 值轉為 int 使用

// 将 decode 的值轉為 int 使用

funcmain() { var data = []byte(`{"status": 200}`) var result map[string]interface{} if err := json.Unmarshal(data, &amp;result); err != nil { log.Fatalln(err) } var status = uint64(result["status"].(float64)) fmt.Println("Status value: ", status) }

使用 <code>Decoder</code> 類型來 decode JSON 資料,明确表示字段的值類型

// 指定字段類型

funcmain() { var data = []byte(`{"status": 200}`) var result map[string]interface{} var decoder = json.NewDecoder(bytes.NewReader(data)) decoder.UseNumber() if err := decoder.Decode(&amp;result); err != nil { log.Fatalln(err) } var status, _ = result["status"].(json.Number).Int64() fmt.Println("Status value: ", status) } // 你可以使用 string 來存儲數值資料,在 decode 時再決定按 int 還是 float 使用 // 将資料轉為 decode 為 string func main() { var data = []byte({"status": 200}) var result map[string]interface{} var decoder = json.NewDecoder(bytes.NewReader(data)) decoder.UseNumber() if err := decoder.Decode(&amp;result); err != nil { log.Fatalln(err) } var status uint64 err := json.Unmarshal([]byte(result["status"].(json.Number).String()), &amp;status); checkError(err) fmt.Println("Status value: ", status) }

​- 使用 <code>struct</code> 類型将你需要的資料映射為數值型

// struct 中指定字段類型

funcmain() { var data = []byte(`{"status": 200}`) var result struct { Status uint64`json:"status"` } err := json.NewDecoder(bytes.NewReader(data)).Decode(&amp;result) checkError(err) fmt.Printf("Result: %+v", result) }

可以使用 <code>struct</code> 将數值類型映射為 <code>json.RawMessage</code> 原生資料類型

适用于如果 JSON 資料不着急 decode 或 JSON 某個字段的值類型不固定等情況:

// 狀态名稱可能是 int 也可能是 string,指定為 json.RawMessage 類型

funcmain() { records := [][]byte{ []byte(`{"status":200, "tag":"one"}`), []byte(`{"status":"ok", "tag":"two"}`), } for idx, record := range records { var result struct { StatusCode uint64 StatusName string Status json.RawMessage `json:"status"` Tag string`json:"tag"` } err := json.NewDecoder(bytes.NewReader(record)).Decode(&amp;result) checkError(err) var name string err = json.Unmarshal(result.Status, &amp;name) if err == nil { result.StatusName = name } var code uint64 err = json.Unmarshal(result.Status, &amp;code) if err == nil { result.StatusCode = code } fmt.Printf("[%v] result =&gt; %+v\n", idx, result) } }

可以使用相等運算符 <code>==</code> 來比較結構體變量,前提是兩個結構體的成員都是可比較的類型:

fp float32

complexcomplex64 str string char rune yes bool events &lt;-chanstring handler interface{} ref *byte raw [10]byte } funcmain() { v1 := data{} v2 := data{} fmt.Println("v1 == v2: ", v1 == v2) // true }

如果兩個結構體中有任意成員是不可比較的,将會造成編譯錯誤。注意數組成員隻有在數組元素可比較時候才可比較。

checks [10]func()bool // 無法比較 doItfunc()bool // 無法比較 mmap[string]string // 無法比較 bytes []byte // 無法比較 } funcmain() { v1 := data{} v2 := data{} fmt.Println("v1 == v2: ", v1 == v2) }

invalid operation: v1 == v2 (struct containing [10]func() bool cannot be compared)

Go 提供了一些庫函數來比較那些無法使用 <code>==</code> 比較的變量,比如使用 "reflect" 包的 <code>DeepEqual()</code> :

// 比較相等運算符無法比較的元素

funcmain() { v1 := data{} v2 := data{} fmt.Println("v1 == v2: ", reflect.DeepEqual(v1, v2)) // true m1 := map[string]string{"one": "a", "two": "b"} m2 := map[string]string{"two": "b", "one": "a"} fmt.Println("v1 == v2: ", reflect.DeepEqual(m1, m2)) // true s1 := []int{1, 2, 3} s2 := []int{1, 2, 3} // 注意兩個 slice 相等,值和順序必須一緻 fmt.Println("v1 == v2: ", reflect.DeepEqual(s1, s2)) // true }

這種比較方式可能比較慢,根據你的程式需求來使用。<code>DeepEqual()</code> 還有其他用法:

var b1 []byte = nil b2 := []byte{} fmt.Println("b1 == b2: ", reflect.DeepEqual(b1, b2)) // false }

注意:

<code>DeepEqual()</code> 并不總适合于比較 slice

var str = "one"var in interface{} = "one" fmt.Println("str == in: ", reflect.DeepEqual(str, in)) // true v1 := []string{"one", "two"} v2 := []string{"two", "one"} fmt.Println("v1 == v2: ", reflect.DeepEqual(v1, v2)) // false data := map[string]interface{}{ "code": 200, "value": []string{"one", "two"}, } encoded, _ := json.Marshal(data) var decoded map[string]interface{} json.Unmarshal(encoded, &amp;decoded) fmt.Println("data == decoded: ", reflect.DeepEqual(data, decoded)) // false }

如果要大小寫不敏感來比較 byte 或 string 中的英文文本,可以使用 "bytes" 或 "strings" 包的 <code>ToUpper()</code> 和 <code>ToLower()</code> 函數。比較其他語言的 byte 或 string,應使用 <code>bytes.EqualFold()</code> 和 <code>strings.EqualFold()</code>

如果 byte slice 中含有驗證使用者身份的資料(密文哈希、token 等),不應再使用 <code>reflect.DeepEqual()</code>、<code>bytes.Equal()</code>、 <code>bytes.Compare()</code>。這三個函數容易對程式造成 timing attacks,此時應使用 "crypto/subtle" 包中的 <code>subtle.ConstantTimeCompare()</code> 等函數

<code>reflect.DeepEqual()</code> 認為空 slice 與 nil slice 并不相等,但注意 <code>byte.Equal()</code> 會認為二者相等:

var b1 []byte = nil b2 := []byte{} // b1 與 b2 長度相等、有相同的位元組序 // nil 與 slice 在位元組上是相同的 fmt.Println("b1 == b2: ", bytes.Equal(b1, b2)) // true }

在一個 defer 延遲執行的函數中調用 <code>recover()</code> ,它便能捕捉 / 中斷 panic

// 錯誤的 recover 調用示例

funcmain() { recover() // 什麼都不會捕捉 panic("not good") // 發生 panic,主程式退出 recover() // 不會被執行 println("ok") } // 正确的 recover 調用示例 func main() { defer func() { fmt.Println("recovered: ", recover()) }() panic("not good") }

從上邊可以看出,<code>recover()</code> 僅在 defer 執行的函數中調用才會生效。

// 錯誤的調用示例

funcmain() { deferfunc() { doRecover() }() panic("not good") } funcdoRecover() { fmt.Println("recobered: ", recover()) }

recobered: &lt;nil&gt; panic: not good

在 range 疊代中,得到的值其實是元素的一份值拷貝,更新拷貝并不會更改原來的元素,即是拷貝的位址并不是原有元素的位址:

data := []int{1, 2, 3} for _, v := range data { v *= 10// data 中原有元素是不會被修改的 } fmt.Println("data: ", data) // data: [1 2 3] }

如果要修改原有元素的值,應該使用索引直接通路:

data := []int{1, 2, 3} for i, v := range data { data[i] = v * 10 } fmt.Println("data: ", data) // data: [10 20 30] }

如果你的集合儲存的是指向值的指針,需稍作修改。依舊需要使用索引通路元素,不過可以使用 range 出來的元素直接更新原有值:

data := []*struct{ num int }{{1}, {2}, {3},} for _, v := range data { v.num *= 10// 直接使用指針更新 } fmt.Println(data[0], data[1], data[2]) // &amp;{10} &amp;{20} &amp;{30} }

從 slice 中重新切出新 slice 時,新 slice 會引用原 slice 的底層數組。如果跳了這個坑,程式可能會配置設定大量的臨時 slice 來指向原底層數組的部分資料,将導緻難以預料的記憶體使用。

可以通過拷貝臨時 slice 的資料,而不是重新切片來解決:

舉個簡單例子,重寫檔案路徑(存儲在 slice 中)

分割路徑來指向每個不同級的目錄,修改第一個目錄名再重組子目錄名,建立新路徑:

// 錯誤使用 slice 的拼接示例

funcmain() { path := []byte("AAAA/BBBBBBBBB") sepIndex := bytes.IndexByte(path, '/') // 4 println(sepIndex) dir1 := path[:sepIndex] dir2 := path[sepIndex+1:] println("dir1: ", string(dir1)) // AAAA println("dir2: ", string(dir2)) // BBBBBBBBB dir1 = append(dir1, "suffix"...) println("current path: ", string(path)) // AAAAsuffixBBBB path = bytes.Join([][]byte{dir1, dir2}, []byte{'/'}) println("dir1: ", string(dir1)) // AAAAsuffix println("dir2: ", string(dir2)) // uffixBBBB println("new path: ", string(path)) // AAAAsuffix/uffixBBBB // 錯誤結果 }

拼接的結果不是正确的 <code>AAAAsuffix/BBBBBBBBB</code>,因為 dir1、 dir2 兩個 slice 引用的資料都是 <code>path</code> 的底層數組,第 13 行修改 <code>dir1</code>同時也修改了 <code>path</code>,也導緻了 <code>dir2</code> 的修改

解決方法:

重新配置設定新的 slice 并拷貝你需要的資料

使用完整的 slice 表達式:<code>input[low:high:max]</code>,容量便調整為 max - low

// 使用 full slice expression

funcmain() { path := []byte("AAAA/BBBBBBBBB") sepIndex := bytes.IndexByte(path, '/') // 4 dir1 := path[:sepIndex:sepIndex] // 此時 cap(dir1) 指定為4, 而不是先前的 16 dir2 := path[sepIndex+1:] dir1 = append(dir1, "suffix"...) path = bytes.Join([][]byte{dir1, dir2}, []byte{'/'}) println("dir1: ", string(dir1)) // AAAAsuffix println("dir2: ", string(dir2)) // BBBBBBBBB println("new path: ", string(path)) // AAAAsuffix/BBBBBBBBB }

第 6 行中第三個參數是用來控制 dir1 的新容量,再往 dir1 中 append 超額元素時,将配置設定新的 buffer 來儲存。而不是覆寫原來的 path 底層數組

當你從一個已存在的 slice 建立新 slice 時,二者的資料指向相同的底層數組。如果你的程式使用這個特性,那需要注意 "舊"(stale) slice 問題。

某些情況下,向一個 slice 中追加元素而它指向的底層數組容量不足時,将會重新配置設定一個新數組來存儲資料。而其他 slice 還指向原來的舊底層數組。

// 超過容量将重新配置設定數組來拷貝值、重新存儲

funcmain() { s1 := []int{1, 2, 3} fmt.Println(len(s1), cap(s1), s1) // 3 3 [1 2 3 ] s2 := s1[1:] fmt.Println(len(s2), cap(s2), s2) // 2 2 [2 3] for i := range s2 { s2[i] += 20 } // 此時的 s1 與 s2 是指向同一個底層數組的 fmt.Println(s1) // [1 22 23] fmt.Println(s2) // [22 23] s2 = append(s2, 4) // 向容量為 2 的 s2 中再追加元素,此時将配置設定新數組來存 for i := range s2 { s2[i] += 10 } fmt.Println(s1) // [1 22 23] // 此時的 s1 不再更新,為舊資料 fmt.Println(s2) // [32 33 14] }

從一個現有的非 interface 類型建立新類型時,并不會繼承原有的方法:

// 定義 Mutex 的自定義類型

type myMutex sync.Mutex

funcmain() { var mtx myMutex mtx.Lock() mtx.UnLock() }

mtx.Lock undefined (type myMutex has no field or method Lock)...

如果你需要使用原類型的方法,可将原類型以匿名字段的形式嵌到你定義的新 struct 中:

// 類型以字段形式直接嵌入

type myLocker struct {

sync.Mutex

funcmain() { var locker myLocker locker.Lock() locker.Unlock() }

interface 類型聲明也保留它的方法集:

type myLocker sync.Locker

沒有指定标簽的 break 隻會跳出 switch/select 語句,若不能使用 return 語句跳出的話,可為 break 跳出标簽指定的代碼塊:

// break 配合 label 跳出指定代碼塊

funcmain() { loop: for { switch { casetrue: fmt.Println("breaking out...") //break // 死循環,一直列印 breaking out... break loop } } fmt.Println("out...") }

<code>goto</code> 雖然也能跳轉到指定位置,但依舊會再次進入 for-switch,死循環。

for 語句中的疊代變量在每次疊代中都會重用,即 for 中建立的閉包函數接收到的參數始終是同一個變量,在 goroutine 開始執行時都會得到同一個疊代值:

data := []string{"one", "two", "three"} for _, v := range data { gofunc() { fmt.Println(v) }() } time.Sleep(3 * time.Second) // 輸出 three three three }

最簡單的解決方法:無需修改 goroutine 函數,在 for 内部使用局部變量儲存疊代值,再傳參:

data := []string{"one", "two", "three"} for _, v := range data { vCopy := v gofunc() { fmt.Println(vCopy) }() } time.Sleep(3 * time.Second) // 輸出 one two three }

另一個解決方法:直接将目前的疊代值以參數形式傳遞給匿名函數:

data := []string{"one", "two", "three"} for _, v := range data { gofunc(in string) { fmt.Println(in) }(v) } time.Sleep(3 * time.Second) // 輸出 one two three }

注意下邊這個稍複雜的 3 個示例差別:

type field struct {

name string

func(p *field)print() { fmt.Println(p.name) } // 錯誤示例 func main() { data := []field{{"one"}, {"two"}, {"three"}} for _, v := range data { go v.print() } time.Sleep(3 * time.Second) // 輸出 three three three } // 正确示例 func main() { data := []field{{"one"}, {"two"}, {"three"}} for _, v := range data { v := v go v.print() } time.Sleep(3 * time.Second) // 輸出 one two three } // 正确示例 func main() { data := []*field{{"one"}, {"two"}, {"three"}} for _, v := range data { // 此時疊代值 v 是三個元素值的位址,每次 v 指向的值不同 go v.print() } time.Sleep(3 * time.Second) // 輸出 one two three }

對 defer 延遲執行的函數,它的參數會在聲明時候就會求出具體值,而不是在執行時才求值:

// 在 defer 函數中參數會提前求值

funcmain() { var i = 1defer fmt.Println("result: ", func()int { return i * 2 }()) i++ }

result: 2

對 defer 延遲執行的函數,會在調用它的函數結束時執行,而不是在調用它的語句塊結束時執行,注意區分開。

比如在一個長時間執行的函數裡,内部 for 循環中使用 defer 來清理每次疊代産生的資源調用,就會出現問題:

// 指令行參數指定目錄名

// 周遊讀取目錄下的檔案

funcmain() { iflen(os.Args) != 2 { os.Exit(1) } dir := os.Args[1] start, err := os.Stat(dir) if err != nil || !start.IsDir() { os.Exit(2) } var targets []string filepath.Walk(dir, func(fPath string, fInfo os.FileInfo, err error)error { if err != nil { return err } if !fInfo.Mode().IsRegular() { returnnil } targets = append(targets, fPath) returnnil }) for _, target := range targets { f, err := os.Open(target) if err != nil { fmt.Println("bad target:", target, "error:", err) //error:too many open files break } defer f.Close() // 在每次 for 語句塊結束時,不會關閉檔案資源 // 使用 f 資源 } }

先建立 10000 個檔案:

#!/bin/bash

for n in {1..10000}; do

echo content &gt; "file${n}.txt" done

解決辦法:defer 延遲執行的函數寫入匿名函數中:

// 目錄周遊正常

funcmain() { // ... for _, target := range targets { func() { f, err := os.Open(target) if err != nil { fmt.Println("bad target:", target, "error:", err) return // 在匿名函數内使用 return 代替 break 即可 } defer f.Close() // 匿名函數執行結束,調用關閉檔案資源 // 使用 f 資源 }() } }

當然你也可以去掉 defer,在檔案資源使用完畢後,直接調用 <code>f.Close()</code> 來關閉。

在類型斷言語句中,斷言失敗則會傳回目标類型的“零值”,斷言變量與原來變量混用可能出現異常情況:

funcmain() { var data interface{} = "great"// data 混用 if data, ok := data.(int); ok { fmt.Println("[is an int], data: ", data) } else { fmt.Println("[not an int], data: ", data) // [isn't a int], data: 0 } } // 正确示例 func main() { var data interface{} = "great" if res, ok := data.(int); ok { fmt.Println("[is an int], data: ", res) } else { fmt.Println("[not an int], data: ", data) // [not an int], data: great } }

在 2012 年 Google I/O 大會上,Rob Pike 的 Go Concurrency Patterns 演講讨論 Go 的幾種基本并發模式,如 完整代碼 中從資料集中擷取第一條資料的函數:

在搜尋重複時依舊每次都起一個 goroutine 去處理,每個 goroutine 都把它的搜尋結果發送到結果 channel 中,channel 中收到的第一條資料會直接傳回。

傳回完第一條資料後,其他 goroutine 的搜尋結果怎麼處理?他們自己的協程如何處理?

在 <code>First()</code> 中的結果 channel 是無緩沖的,這意味着隻有第一個 goroutine 能傳回,由于沒有 receiver,其他的 goroutine 會在發送上一直阻塞。如果你大量調用,則可能造成資源洩露。

為避免洩露,你應該確定所有的 goroutine 都能正确退出,有 2 個解決方法:

使用帶緩沖的 channel,確定能接收全部 goroutine 的傳回結果:

使用 <code>select</code> 語句,配合能儲存一個緩沖值的 channel <code>default</code> 語句:

<code>default</code> 的緩沖 channel 保證了即使結果 channel 收不到資料,也不會阻塞 goroutine

使用特殊的廢棄(cancellation) channel 來中斷剩餘 goroutine 的執行:

Rob Pike 為了簡化示範,沒有提及演講代碼中存在的這些問題。不過對于新手來說,可能會不加思考直接使用。

隻要值是可尋址的,就可以在值上直接調用指針方法。即是對一個方法,它的 receiver 是指針就足矣。

但不是所有值都是可尋址的,比如 map 類型的元素、通過 interface 引用的變量:

type printer interface { print() } func(p *data)print() { fmt.Println("name: ", p.name) } funcmain() { d1 := data{"one"} d1.print() // d1 變量可尋址,可直接調用指針 receiver 的方法 var in printer = data{"two"} in.print() // 類型不比對 m := map[string]data{ "x": data{"three"}, } m["x"].print() // m["x"] 是不可尋址的 // 變動頻繁 }

cannot use data literal (type data) as type printer in assignment: data does not implement printer (print method has pointer receiver) cannot call pointer method on m["x"] cannot take the address of m["x"]

如果 map 一個字段的值是 struct 類型,則無法直接更新該 struct 的單個字段:

// 無法直接更新 struct 的字段值

funcmain() { m := map[string]data{ "x": {"Tom"}, } m["x"].name = "Jerry" }

cannot assign to struct field m["x"].name in map

因為 map 中的元素是不可尋址的。需區分開的是,slice 的元素可尋址:

繼續閱讀