go语言的31个坑

资源来自于如下链接：

devs.cloudimmunity.com/gotchas-and…

打开之后他是长这个样子的：

逐个理解并操作之后，筛选出如下31个GOLANG的坑，与大家分享分享

1.左大括号不能单独放一行 {

在其他大多数语言中，{ 的位置你自行决定。Go比较特别，遵守分号注入规则（automatic semicolon injection）：编译器会在每行代码尾部特定分隔符后加;来分隔多条语句，比如会在 ) 后加分号：

// 错误示例
func main()                    
{
    println("www.topgoer.com是个不错的go语言中文文档")
}
// 等效于
func main();    // 无函数体                    
{
    println("hello world")
}
// 正确示例
func main() {
    println("Golang新手可能会踩的50个坑")
}

上述错误示例编译报错如下：

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 选项来启用：

    > 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原值可以被改变

欢迎点赞，关注，收藏

朋友们，你的支持和鼓励，是我坚持分享，提高质量的动力

好了，本次就到这里

技术是开放的，我们的心态，更应是开放的。拥抱变化，向阳而生，努力向前行。

我是阿兵云原生，欢迎点赞关注收藏，下次见~

go语言的31个坑 | GO主题月

go语言的31个坑

1.左大括号不能单独放一行 {

2.不能使用简短声明来设置字段的值

3.不小心覆盖了变量

4.显式类型的变量无法使用 nil 来初始化

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

6.map 容量

7.string 类型的变量值不能为 nil

8.Array 类型的值作为函数参数

golang中分为值类型和引用类型

9.访问 map 中不存在的 key

10.string 类型的值是常量，不可更改，可以使用rune来转换

11.string 与索引操作符

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

13.字符串的长度

14.range 迭代 string 得到的值

15.switch 中的 fallthrough 语句

16.按位取反

17.运算符的优先级

18.不导出的 struct 字段无法被 encode

19.向已关闭的 channel 发送数据会造成 panic

20.若函数 receiver 传参是传值方式，则无法修改参数的原有值

欢迎点赞，关注，收藏

热门文章

最新文章

相关课程

相关电子书

相关实验场景

热门

活动广场

任务中心

开发者评测

高校计划

乘风者计划

训练营

阿里云MVP

话题

直播

下载

镜像站

技术资料

插件

go语言的31个坑 | GO主题月

go语言的31个坑

1.左大括号不能单独放一行 {

2.不能使用简短声明来设置字段的值

3.不小心覆盖了变量

4.显式类型的变量无法使用 nil 来初始化

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

6.map 容量

7.string 类型的变量值不能为 nil

8.Array 类型的值作为函数参数

golang中分为值类型和引用类型

9.访问 map 中不存在的 key

10.string 类型的值是常量，不可更改，可以使用rune来转换

11.string 与索引操作符

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

13.字符串的长度

14.range 迭代 string 得到的值

15.switch 中的 fallthrough 语句

16.按位取反

17.运算符的优先级

18.不导出的 struct 字段无法被 encode

19.向已关闭的 channel 发送数据会造成 panic

20.若函数 receiver 传参是传值方式，则无法修改参数的原有值

欢迎点赞，关注，收藏

热门文章

最新文章

相关课程

相关电子书

相关实验场景