go語言的31個坑

[TOC]html

go語言的31個坑

資源來自於以下連接:c++

http://devs.cloudimmunity.com...

打開以後他是長這個樣子的:golang

逐個理解並操做以後,篩選出以下31個GOLANG的坑,與你們分享分享編程

1.左大括號不能單獨放一行 {

在其餘大多數語言中,{ 的位置你自行決定。Go比較特別,遵照分號注入規則(automatic semicolon injection):編譯器會在每行代碼尾部特定分隔符後加;來分隔多條語句,好比會在 ) 後加分號:json

// 錯誤示例
func main()                    
{
    println("www.topgoer.com是個不錯的go語言中文文檔")
}

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

// 正確示例
func main() {
    println("Golang新手可能會踩的50個坑")
}

上述錯誤示例編譯報錯以下:api

2.不能使用簡短聲明來設置字段的值

struct 的變量字段不能使用 := 來賦值以使用預約義的變量來避免解決:數組

// 錯誤示例
package main

import "fmt"

type info struct {
    result int
}

func work() (int, error) {
    return 3, nil
}

func main() {
    var data info
    data.result, err := work() // error: non-name data.result on left side of :=
    if err != nil{
        fmt.Println(err)
        return
    }
    fmt.Printf("info: %+v\n", data)
}



// 正確示例
func work() (int, error) {
    return 3, nil
}

func main() {

    tmp, err := work() // error: non-name data.result on left side of :=
    if err != nil {
        fmt.Println(err)
        return
    }
    fmt.Printf("info: %+v\n", tmp)
}

上述錯誤示例 錯誤提示以下:緩存

3.不當心覆蓋了變量

對從動態語言轉過來的開發者來講,簡短聲明很好用,這可能會讓人誤會 := 是一個賦值操做符。若是你在新的代碼塊中像下邊這樣誤用了 :=,編譯不會報錯,可是變量不會按你的預期工做:安全

func main() {
    x := 1
    println(x)        // 1
    {
        println(x)    // 1
        x := 2
        println(x)    // 2    // 新的 x 變量的做用域只在代碼塊內部
    }
    println(x)        // 1
}

這是 Go 開發者常犯的錯,並且不易被發現。可以使用 vet工具來診斷這種變量覆蓋,Go 默認不作覆蓋檢查,添加 -shadow 選項來啓用:bash

> go tool vet -shadow main.go
    main.go:9: declaration of "x" shadows declaration at main.go:5

注意 vet 不會報告所有被覆蓋的變量,可使用 go-nyet 來作進一步的檢測:

> $GOPATH/bin/go-nyet main.go
    main.go:10:3:Shadowing variable `x`

4.顯式類型的變量沒法使用 nil 來初始化

nil 是 一下 6 種 類型變量的默認初始值。但聲明時不指定類型,編譯器也沒法推斷出變量的具體類型。

  • interface
  • function
  • pointer
  • map
  • slice
  • channel
// 錯誤示例
func main() {
    var x = nil    // error: use of untyped nil
    _ = x
}


// 正確示例
func main() {
    var x interface{} = nil
    _ = x
}

5.直接使用值爲 nil 的 slice、map

  • 容許對值爲 nil 的 slice 添加元素

    由於切片是實現方式是相似於c++ 的 vector,動態擴展內存的

  • 對值爲 nil 的 map添加元素則會形成運行時 panic

    map的初始化必須分配好內存,不然直接報錯

// map 錯誤示例
func main() {
    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)
}

func main() {
    //m := map[string]int{}
    m := make(map[string]int, 1)
    m["one"] = 1
}

6.map 容量

在建立 map 類型的變量時能夠指定容量,但不能像 slice 同樣使用 cap() 來檢測分配空間的大小:

// 錯誤示例
func main() {
    m := make(map[string]int, 99)
    println(cap(m))     // error: invalid argument m1 (type map[string]int) for cap  
}

按照官方文檔 cap函數參數中能夠放以下類型:

  • array
  • pointer
  • sliice
  • channel

7.string 類型的變量值不能爲 nil

對那些喜歡用 nil 初始化字符串的人來講,這就是坑:

初始化字符串爲空,能夠用var 直接定義便可,默認就是空 ""

// 錯誤示例
func main() {
    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"
    }
}

能初始化爲 nil 的類型有以下6種,上述也有提到過

  • 指針
  • 通道
  • 函數
  • 接口
  • map
  • 切片

8.Array 類型的值做爲函數參數

在 C/C++ 中,數組(名)是指針。將數組做爲參數傳進函數時,至關於傳遞了數組內存地址的引用,在函數內部會改變該數組的值。

Go 中,數組是值。做爲參數傳進函數時,傳遞的是數組的原始值拷貝,此時在函數內部是沒法更新該數組的:

// 數組使用值拷貝傳參
func main() {
    x := [3]int{3,4,5}

    func(arr [3]int) {
        arr[0] = 8
        fmt.Println(arr)    // [8 4 5]
    }(x)
    fmt.Println(x)            // [3 4 5]    // 並非你覺得的 [8 4 5]
}

若是想修改參數中的原有數組的值,有以下2種方式:

  • 直接傳遞指向這個數組的指針類型
// 傳址會修改原數據
func main() {
    x := [3]int{3,4,5}

    func(arr *[3]int) {
        (*arr)[0] = 8    
        fmt.Println(arr)    // &[8 4 5]
    }(&x)
    fmt.Println(x)    // [8 4 5]
}
  • 直接使用 slice:即便函數內部獲得的是 slice 的值拷貝,但依舊會更新 slice 的原始數據(底層 array)

    由於slice是引用的方式傳遞

// 會修改 slice 的底層 array,從而修改 slice
func main() {
    x := []int{1, 2, 3}
    func(arr []int) {
        arr[0] = 7
        fmt.Println(x)    // [8 4 5]
    }(x)
    fmt.Println(x)    // [8 4 5]
}

golang中分爲值類型和引用類型

  • 值類型分別有

    int系列、float系列、bool、string、數組和結構體

  • 引用類型有:

    指針、slice切片、管道channel、接口interface、map、函數等

  • 值類型的特色是

    變量直接存儲值,內存一般在棧中分配

  • 引用類型的特色是

    變量存儲的是一個地址,這個地址對應的空間裏纔是真正存儲的值,內存一般在堆中分配

9.訪問 map 中不存在的 key

和其餘編程語言相似,若是訪問了 map 中不存在的 key 則但願能返回 nil,

Go 則會返回元素對應數據類型的零值,好比 nil、'' 、false 和 0,取值操做總有值返回,故不能經過取出來的值來判斷 key 是否是在 map 中。

  • 對於值類型:布爾類型爲 false, 數值類型爲 0,字符串爲 ""

    • 數組和結構會遞歸初始化其元素或字段
    • 其初始值取決於元素類型或字段
  • 對於引用類型均爲 nil,包括指針 pointer,函數 function,接口 interface,切片 slice,管道 channel,映射 map。

檢查 key 是否存在能夠用 map 直接訪問,檢查返回的第二個參數便可:

// 錯誤的 key 檢測方式
func main() {
    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")
    }
}

10.string 類型的值是常量,不可更改,可使用rune來轉換

嘗試使用索引遍歷字符串,來更新字符串中的個別字符,是不容許的,由於 string 類型的值是常量

解決方式分爲英文字符串,和中文字符串2種

  • 英文字符串

    string 類型的值是隻讀的二進制 byte slice,將 string 轉爲 []byte 修改後,再轉爲 string 便可

// 修改字符串的錯誤示例
func main() {
    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個字節來存儲,此時須要使用以下作法,使用 rune slice

    將 string 轉爲 rune slice(此時 1 個 rune 可能佔多個 byte),直接更新 rune 中的字符

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

11.string 與索引操做符

對字符串用索引訪問返回的不是字符,而是一個 byte 值。

若是須要使用 for range 迭代訪問字符串中的字符(unicode code point / rune),標準庫中有 "unicode/utf8" 包來作 UTF8 的相關解碼編碼。另外 utf8string 也有像 func (s *String) At(i int) rune 等很方便的庫函數。

12.字符串並不都是 UTF8 文本

string 的值沒必要是 UTF8 文本,能夠包含任意的值。只有字符串是文字字面值時纔是 UTF8 文本,字串能夠經過轉義來包含其餘數據。

判斷字符串是不是 UTF8 文本,可以使用 "unicode/utf8" 包中的 ValidString() 函數:

func main() {
    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    // 把轉義字符轉義成字面值
}

13.字符串的長度

在 Go 中:

使用len函數計算字符串的長度,其實是計算byte的數量

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

若是要獲得字符串的字符數,可以使用 "unicode/utf8" 包中的 RuneCountInString(str string) (n int)

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

注意: RuneCountInString 並不老是返回咱們看到的字符數,由於有的字符會佔用 2 個 rune:

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

14.range 迭代 string 獲得的值

range 獲得的索引是字符值(Unicode point / rune)第一個字節的位置,與其餘編程語言不一樣,這個索引並不直接是字符在字符串中的位置。

注意一個字符可能佔多個 rune,好比法文單詞 café 中的 é。操做特殊字符可以使用norm 包。

for range 迭代會嘗試將 string 翻譯爲 UTF8 文本,對任何無效的碼點都直接使用 0XFFFD rune(�)UNicode 替代字符來表示。若是 string 中有任何非 UTF8 的數據,應將 string 保存爲 byte slice 再進行操做。

func main() {
    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    // 正確
    }
}

15.switch 中的 fallthrough 語句

switch 語句中的 case 代碼塊會默認帶上 break,但可使用 fallthrough 來強制執行下一個 case 代碼塊。

func main() {
    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 代碼塊末尾使用 fallthrough,強制執行下一個 case 代碼塊。

16.按位取反

Go 重用 ^ XOR 操做符來按位取反:

// 錯誤的取反操做
func main() {
    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
}

同時 ^ 也是按位異或(XOR)操做符。

一個操做符能重用兩次,是由於一元的 NOT 操做 NOT 0x02,與二元的 XOR 操做 0x22 XOR 0xff 是一致的。

Go 也有特殊的操做符 AND NOT ,&^ 操做符,不一樣位才取1。

func main() {
    var a uint8 = 0x82
    var 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 & %08b = %08b [A AND B]\n", a, b, a&b)
    fmt.Printf("%08b &^%08b = %08b [A 'AND NOT' B]\n", a, b, a&^b)
    fmt.Printf("%08b&(^%08b)= %08b [A AND (NOT B)]\n", a, b, a&(^b))
}
    10000010 [A]
    00000010 [B]
    11111101 (NOT B)
    00000010 ^ 11111111 = 11111101 [B XOR 0xff]
    10000010 ^ 00000010 = 10000000 [A XOR B]
    10000010 & 00000010 = 00000010 [A AND B]
    10000010 &^00000010 = 10000000 [A 'AND NOT' B]
    10000010&(^00000010)= 10000000 [A AND (NOT B)]

17.運算符的優先級

除了位清除(bit clear)操做符,Go 也有不少和其餘語言同樣的位操做符,可是優先級會有一些差異

func main() {
    fmt.Printf("0x2 & 0x2 + 0x4 -> %#x\n", 0x2&0x2+0x4)    // & 優先 +
    //prints: 0x2 & 0x2 + 0x4 -> 0x6
    //Go:    (0x2 & 0x2) + 0x4
    //C++:    0x2 & (0x2 + 0x4) -> 0x2

    fmt.Printf("0x2 + 0x2 << 0x1 -> %#x\n", 0x2+0x2<<0x1)    // << 優先 +
    //prints: 0x2 + 0x2 << 0x1 -> 0x6
    //Go:     0x2 + (0x2 << 0x1)
    //C++:   (0x2 + 0x2) << 0x1 -> 0x8

    fmt.Printf("0xf | 0x2 ^ 0x2 -> %#x\n", 0xf|0x2^0x2)    // | 優先 ^
    //prints: 0xf | 0x2 ^ 0x2 -> 0xd
    //Go:    (0xf | 0x2) ^ 0x2
    //C++:    0xf | (0x2 ^ 0x2) -> 0xf
}

優先級列表:

Precedence    Operator
        5             *  /  %  <<  >>  &  &^
        4             +  -  |  ^
        3             ==  !=  <  <=  >  >=
        2             &&
        1             ||

18.不導出的 struct 字段沒法被 encode

GOLANG

  • 小寫字母開頭的字段成員是沒法被外部直接訪問的
  • 大寫字母開頭的字段成員 外部能夠直接訪問

因此 struct 在進行 json、xml等格式的 encode 操做時,若須要正常使用,那麼要將成員開頭字母要大寫,不然這些私有字段會被忽略,導出時獲得零值

package main

import (
    "encoding/json"
    "fmt"
)

type MyInfo struct {
    Name string
    age int
}

func main() {
    in := MyInfo{"小魔童", 18}
    fmt.Printf("%#v\n", in) // main.MyData{Name:"小魔童", age:18}

    encoded, _ := json.Marshal(in)
    fmt.Println(string(encoded)) // {Name:"小魔童"}    // 私有字段 age 被忽略了

    var out MyInfo
    json.Unmarshal(encoded, &out)
    fmt.Printf("%#v\n", out) // main.MyData{Name:"小魔童", age:0}
}

19.向已關閉的 channel 發送數據會形成 panic

  • 從已關閉的 channel 接收數據是安全的,接收狀態值 ok 是 false 時代表 channel 中已沒有數據能夠接收了
  • 從有緩衝的 channel 中接收數據,緩存的數據獲取完再沒有數據可取時,狀態值也是 false
  • 向已關閉的 channel 中發送數據會形成 panic
func main() {
   ch := make(chan int)

   for i := 0; i < 3; i++ {
      go func(idx int) {
         fmt.Println("i == ", idx)
         select {
         case ch <- (idx + 1) * 2:
            fmt.Println(idx, "Send result")
         }
      }(i)
   }

   fmt.Println("Result: ", <-ch)
   close(ch)
   fmt.Println("-----close ch----")
   time.Sleep(3 * time.Second)
}

針對上面的問題也有解決方式

可以使用一個廢棄 channel done 來告訴剩餘的 goroutine 無需再向 ch 發送數據。此時 <- done 的結果是 {}:

func main() {
   ch := make(chan int)
   done := make(chan struct{})

   for i := 0; i < 3; i++ {
      go func(idx int) {
         fmt.Println("i == ", idx)
         select {
         case ch <- (idx + 1) * 2:
            fmt.Println(idx, "Send result")
         case <-done:
            fmt.Println(idx, "Exiting")
         }
      }(i)
   }

   fmt.Println("Result: ", <-ch)
   close(done)
   fmt.Println("-----close done----")
   time.Sleep(3 * time.Second)
}

20.若函數 receiver 傳參是傳值方式,則沒法修改參數的原有值

方法 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
}

func main() {
    key := "key1"

    d := data{1, &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)
}
  • valueFunc 函數中,data傳的是值,是一個拷貝,而且

    • num 傳的是一個拷貝,所以原值沒有被改變
    • key 是傳的指針,所以原值會被改變
    • items是map ,是屬於引用傳遞,所以也會被改變
  • pointerFunc 函數中, data是傳地址,所以 num原值能夠被改變

21.關閉 HTTP 的響應體

使用 HTTP 標準庫發起請求、獲取響應時,即便你不從響應中讀取任何數據或響應爲空,都須要手動關閉響應體,關於http請求和響應部分有以下坑

  • 請求http響應,關閉響應體的位置錯誤

    以下代碼能正確發起請求,可是一旦請求失敗,變量 resp 值爲 nil,形成 panic

    由於 resp 爲nil , resp.Body.Close() 會是 從 nil 中 去body 而後 close,沒法從空的地址中讀取一段內存,所以會panic

// 請求失敗形成 panic
func main() {
    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)
    }
}
  • 正確的作法爲

    先檢查 HTTP 響應錯誤爲 nil,再調用 resp.Body.Close() 來關閉響應體:

// 大多數狀況正確的示例
func main() {
    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))
}
  • 還會有一種重定向錯誤的狀況,http請求返回的 resp 和 err 都不爲空, 那麼如何處理,有2種方式

一、 能夠直接在處理 HTTP 響應錯誤的代碼塊中,直接關閉非 nil 的響應體。

二、 手動調用 defer 來關閉響應體:

// 正確示例
func main() {
    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))
}

resp.Body.Close() 早先版本的實現是讀取響應體的數據以後丟棄,保證了 keep-alive 的 HTTP 鏈接能重用處理不止一個請求。

但 Go 的最新版本將讀取並丟棄數據的任務交給了用戶,若是你不處理,HTTP 鏈接可能會直接關閉而非重用,參考在 Go 1.5 版本文檔。

若是程序大量重用 HTTP 長鏈接,你可能要在處理響應的邏輯代碼中加入:

_, err = io.Copy(ioutil.Discard, resp.Body) // 手動丟棄讀取完畢的數據

若是你須要完整讀取響應,上邊的代碼是須要寫的。好比在解碼 API 的 JSON 響應數據:

json.NewDecoder(resp.Body).Decode(&data)

22.關閉 HTTP 鏈接

一些支持 HTTP1.1 或 HTTP1.0 配置了 connection: keep-alive 選項的服務器會保持一段時間的長鏈接。但標準庫 "net/http" 的鏈接默認只在服務器主動要求關閉時才斷開,因此你的程序可能會消耗完 socket 描述符。解決辦法有 2 個,請求結束後:

  • 直接設置請求變量的 Close 字段值爲 true,每次請求結束後就會主動關閉鏈接。
  • 設置 Header 請求頭部選項 Connection: close,而後服務器返回的響應頭部也會有這個選項,此時 HTTP 標準庫會主動斷開鏈接。
// 主動關閉鏈接
func main() {
    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))
}

23.struct、array、slice 和 map 的值比較

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

type data struct {
    num     int
    fp      float32
    complex complex64
    str     string
    char    rune
    yes     bool
    events  <-chan string
    handler interface{}
    ref     *byte
    raw     [10]byte
}

func main() {
    v1 := data{}
    v2 := data{}
    fmt.Println("v1 == v2: ", v1 == v2)    // true
}

若是兩個結構體中有任意成員是不可比較的,將會形成編譯錯誤。注意數組成員只有在數組元素可比較時候纔可比較。

type data struct {
    num    int
    checks [10]func() bool        // 沒法比較
    doIt   func() bool        // 沒法比較
    m      map[string]string    // 沒法比較
    bytes  []byte            // 沒法比較
}

func main() {
    v1 := data{}
    v2 := data{}

    fmt.Println("v1 == v2: ", v1 == v2)
}
invalid operation: v1 == v2 (struct containing [10]func() bool cannot be compared)

Go 提供了一些庫函數來比較那些沒法使用 == 比較的變量,好比使用 "reflect" 包的 DeepEqual()

// 比較相等運算符沒法比較的元素
func main() {
    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
}

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

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

注意:

  • DeepEqual() 並不總適合於比較 slice
func main() {
    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, &decoded)
    fmt.Println("data == decoded: ", reflect.DeepEqual(data, decoded))    // false
}

若是要大小寫不敏感來比較 byte 或 string 中的英文文本,可使用 "bytes" 或 "strings" 包的 ToUpper() 和 ToLower() 函數。比較其餘語言的 byte 或 string,應使用 bytes.EqualFold() 和 strings.EqualFold()

若是 byte slice 中含有驗證用戶身份的數據(密文哈希、token 等),不該再使用 reflect.DeepEqual()、bytes.Equal()、 bytes.Compare()。這三個函數容易對程序形成 timing attacks,此時應使用 "crypto/subtle" 包中的 subtle.ConstantTimeCompare() 等函數

  • reflect.DeepEqual() 認爲空 slice 與 nil slice 並不相等,但注意 byte.Equal() 會認爲兩者相等:
func main() {
    var b1 []byte = nil
    b2 := []byte{}

    // b1 與 b2 長度相等、有相同的字節序
    // nil 與 slice 在字節上是相同的
    fmt.Println("b1 == b2: ", bytes.Equal(b1, b2))    // true
}

24.從 panic 中恢復

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

// 錯誤的 recover 調用示例
func main() {
    recover()    // 什麼都不會捕捉
    panic("not good")    // 發生 panic,主程序退出
    recover()    // 不會被執行
    println("ok")
}

// 正確的 recover 調用示例
func main() {
    defer func() {
        fmt.Println("recovered: ", recover())
    }()
    panic("not good")
}

從上邊能夠看出,recover() 僅在 defer 執行的函數中調用纔會生效。

25.在 range 迭代 slice、array、map 時經過更新引用來更新元素

在 range 迭代中,獲得的值實際上是元素的一份值拷貝,更新拷貝並不會更改原來的元素,便是拷貝的地址並非原有元素的地址:

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

若是要修改原有元素的值,應該使用索引直接訪問:

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

若是你的集合保存的是指向值的指針,需稍做修改。依舊須要使用索引訪問元素,不過可使用 range 出來的元素直接更新原有值:

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

26.舊 slice

當你從一個已存在的 slice 建立新 slice 時,兩者的數據指向相同的底層數組。若是你的程序使用這個特性,那須要注意 "舊"(stale) slice 問題。

某些狀況下,向一個 slice 中追加元素而它指向的底層數組容量不足時

將會從新分配一個新數組來存儲數據。而其餘 slice 還指向原來的舊底層數組。

// 超過容量將從新分配數組來拷貝值、從新存儲
func main() {
    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]
}

27.跳出 for-switch 和 for-select 代碼塊

沒有指定標籤的 break 只會跳出 switch/select 語句,若不能使用 return 語句跳出的話,可爲 break 跳出標籤指定的代碼塊:

// break 配合 label 跳出指定代碼塊
func main() {
loop:
    for {
        switch {
        case true:
            fmt.Println("breaking out...")
            //break    // 死循環,一直打印 breaking out...
            break loop
        }
    }
    fmt.Println("out...")
}

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

28.defer 函數的參數值

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

// 在 defer 函數中參數會提早求值
func main() {
    var i = 1
    defer fmt.Println("result: ", func() int { return i * 2 }())
    i++
}

29.defer 函數的執行時機

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

好比在一個長時間執行的函數裏,內部 for 循環中使用 defer 來清理每次迭代產生的資源調用,就須要將defer放到一個匿名函數中才不會有問題

// 目錄遍歷正常
func main() {
    // ...

    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 資源
        }()
    }
}

30.更新 map 字段的值

  • map 中的元素是不可尋址的

    若是 map 一個字段的值是 struct 類型,則沒法直接更新該 struct 的單個字段

// 沒法直接更新 struct 的字段值
type data struct {
    name string
}

func main() {
    m := map[string]data{
        "x": {"Tom"},
    }
    m["x"].name = "Jerry"
}
cannot assign to struct field m["x"].name in map
  • slice 的元素可尋址:
type data struct {
    name string
}

func main() {
    s := []data{{"Tom"}}
    s[0].name = "Jerry"
    fmt.Println(s)    // [{Jerry}]
}

固然仍是有更新 map 中 struct 元素的字段值的方法,有以下 2 個:

  • 使用局部變量

    最值直接用賦值的方式來進行處理

// 提取整個 struct 到局部變量中,修改字段值後再整個賦值
type data struct {
    name string
}

func main() {
    m := map[string]data{
        "x": {"Tom"},
    }
    r := m["x"]
    r.name = "Jerry"
    m["x"] = r
    fmt.Println(m)    // map[x:{Jerry}]
}
  • 使用指向元素的 map 指針

    使用的直接就是指針,無須尋址

func main() {
    m := map[string]*data{
        "x": {"Tom"},
    }

    m["x"].name = "Jerry"    // 直接修改 m["x"] 中的字段
    fmt.Println(m["x"])    // &{Jerry}
}

可是要注意下邊這種誤用:

出現以下問題是之內 m["z"] 並無給他開闢響應的 data 結構體的內存,所以會出現內存泄露的問題

func main() {
    m := map[string]*data{
        "x": {"Tom"},
    }
    m["z"].name = "what???"     
    fmt.Println(m["x"])
}
panic: runtime error: invalid memory address or nil pointer dereference

31.nil interface 和 nil interface 值

雖然 interface 看起來像指針類型,但它不是。interface 類型的變量只有在類型和值均爲 nil 時才爲 nil

若是你的 interface 變量的值是跟隨其餘變量變化的,與 nil 比較相等時當心:

func main() {
    var data *byte
    var in interface{}

    fmt.Println(data, data == nil)    // <nil> true
    fmt.Println(in, in == nil)    // <nil> true

    in = data
    fmt.Println(in, in == nil)    // <nil> false    // data 值爲 nil,但 in 值不爲 nil
}

若是你的函數返回值類型是 interface,更要當心這個坑:

// 錯誤示例
func main() {
    doIt := func(arg int) interface{} {
        var result *struct{} = nil
        if arg > 0 {
            result = &struct{}{}
        }
        return result
    }

    if res := doIt(-1); res != nil {
        fmt.Println("Good result: ", res)    // Good result:  <nil>
        fmt.Printf("%T\n", res)            // *struct {}    // res 不是 nil,它的值爲 nil
        fmt.Printf("%v\n", res)            // <nil>
    }
}


// 正確示例
func main() {
    doIt := func(arg int) interface{} {
        var result *struct{} = nil
        if arg > 0 {
            result = &struct{}{}
        } else {
            return nil    // 明確指明返回 nil
        }
        return result
    }

    if res := doIt(-1); res != nil {
        fmt.Println("Good result: ", res)
    } else {
        fmt.Println("Bad result: ", res)    // Bad result:  <nil>
    }
}

以上爲本期所有內容,若有疑問能夠在評論區或後臺提出你的疑問,咱們一塊兒交流,一塊兒成長。

好傢伙要是文章對你還有點做用的話,請幫忙點個關注,分享到你的朋友圈分享技術,分享快樂

技術是開放的,咱們的心態,更應是開放的。擁抱變化,向陽而生,努力向前行。

做者:小魔童哪吒

相關文章
相關標籤/搜索