《50 Shades of Go: Traps, Gotchas, and Common Mistakes for New Golang Devs》
原文地址:http://devs.cloudimmunity.com/gotchas-and-common-mistakes-in-go-golang/index.html
一、初级
1、不允许左大括号单独一行
2、不允许出现未使用的变量
3、不允许出现未使用的import
解决方法:使用_
作为引入包别名
package main
import (
_ "fmt" // 指定别名为`_`
"log"
"time"
)
var _ = log.Println // 变量名为`_`
func main() {
_ = time.Now
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
4、短的变量声明(Short Variable Declarations)只能在函数内部使用
package main
// myvar := 1 // error
var myvar = 1 // ok
func main() {
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
5、不能使用短变量声明(Short Variable Declarations)重复声明
6、不能使用短变量声明(Short Variable Declarations)这种方式来设置字段值
package main
func main() {
one := 0
// one := 1 //error: Redeclaring Variables Using Short Variable Declarations
// data.result, err := work() //error:Can't Use Short Variable Declarations to Set Field Values
data.result, err = work() //ok
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
7、意外的变量幽灵(Accidental Variable Shadowing)
短变量声明语法,很好用,但是代码块中使用短变更声明与外部相同的变量时,
没有语法编译错误,但是代码块中同名短变量声明从声明开始到代码块结束,对变量的修改将不会影响到外部变量!
package main
import "fmt"
func main() {
x := 1
fmt.Println(x) //prints 1
{
fmt.Println(x) //prints 1
// x = 3
x := 2 // 不会影响到外部x变量的值
fmt.Println(x) //prints 2
//x = 5 // 不会影响到外部x变量值
}
fmt.Println(x) //prints 3
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
这种现象称之为幽灵变量
,可以使用go tool vet -shadow you_file.go
检查幽灵变量。
使用go-ynet
命令会执行更多幽灵变量的检测。
8、不能使用nil
初始化一个未指定类型的变量
// var x = nil //error
var x interface{} = nil // OK
_ = x
- 1
- 2
- 3
9、不能直接使用nil
值的Slice和Map
10、map使用make分配内存时可指定capicity,但是不能对map使用cap函数
11、字符串不允许使用nil
值
在golang中,nil只能赋值给指针、channel、func、interface、map或slice类型的变量。
var x string = nil //error
if x == nil { //error
x = "default"
}
//var x string //defaults to "" (zero value)
if x == "" {
x = "default"
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
12、数组用于函数传参时是值复制
注意:方法或函数调用时,传入参数都是值复制(跟赋值一致),除非是map、slice、channel、指针类型这些特殊类型是引用传递。
x := [3]int{1,2,3}
// 数组在函数中传参是值复制
func(arr [3]int) {
arr[0] = 7
fmt.Println(arr) //prints [7 2 3]
}(x)
fmt.Println(x) //prints [1 2 3] (not ok if you need [7 2 3])
// 使用数组指针实现引用传参
func(arr *[3]int) {
(*arr)[0] = 7
fmt.Println(arr) //prints &[7 2 3]
}(&x)
fmt.Println(x) //prints [7 2 3]
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
13、range关键字返回是键值对,而不是值
x := []string{"a","b","c"}
// for v := range x {
// fmt.Println(v) //prints 0, 1, 2
// }
for _, v := range x {
fmt.Println(v) //prints a, b, c
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
14、Slice和Array是一维的
Go表面上看起来像多维的,实际上只是一维的。但可以使用原始的一维数组、一维的切片来实现多维。
15、从不存在key的map中取值时,返回的总是”0值”
x := map[string] string {"one":"1", "two":"2"}
if _,ok := x["two"]; !ok { // 判断是否存在,x[key]始终有返回值
}
- 1
- 2
- 3
- 4
16、字符串是不可变
x := "text"
// x[0] = 'T' // error
xtytes := []byte(x)
xbytes[0] = 'T' // ok
fmt.Println(string(xbytes)) //prints Text
- 1
- 2
- 3
- 4
- 5
- 6
- 7
17、字符串与[]byte
之间的转换是复制(有内存损耗),可以用map[string] []byte建立字符串与[]byte之间映射,也可range来避免内存分配来提高性能
//[]byte:
for i,v := range []byte(str) {
}
- 1
- 2
- 3
18、string的索引操作返回的是byte(或uint8),如想获取字符可使用for range
,也可使用unicode/utf8
包和golang.org/x/exp/utf8string
包的At()
方法。
19、字符串并不总是UTF8的文本
20、len(str)
返回的是字符串的字节数,获取字符串的rune数是使用unicode/utf8.RuneCountInString()
函数,但注意一些字符也可能是由多个rune组成,如é
是两个rune组成。
21、在Slice、Array、Map的多行书写最后的逗号不可省略
x := []int{
1,
// 2 //error
3, // ok
}
y := []int {1, 2, 3,} // ok
z := []int {1, 2, 3} // 单行书写,最后一个元素的逗号可省略
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
22、内置数据结构的操作并不同步,但可把Go提供了并发的特性使用起来:goroutines和channels。
23、使用for range迭代String,是以rune来迭代的。
一个字符,也可以有多个rune组成。需要处理字符,尽量使用golang.org/x/text/unicode/norm
包。
for range总是尝试将字符串解析成utf8的文本,对于它无法解析的字节,它会返回oxfffd
的rune字符。
因此,任何包含非utf8的文本,一定要先将其转换成字符切片([]byte
)。
data := "A\xfe\x02\xff\x04"
for _,v := range data {
fmt.Printf("%#x ",v)
}
//prints: 0x41 0xfffd 0x2 0xfffd 0x4 (not ok)
fmt.Println()
for _,v := range []byte(data) {
fmt.Printf("%#x ",v)
}
//prints: 0x41 0xfe 0x2 0xff 0x4 (good)
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
24、使用for range迭代map时每次迭代的顺序可能不一样,因为map的迭代是随机的。
25、switch的case默认匹配规则不同于其它语言的是,匹配case条件后默认退出,除非使用fallthrough继续匹配;而其它语言是默认继续匹配,除非使用break退出匹配。
26、只有后置自增、后置自减,不存在前置自增、前置自减
27、位运算的非操作是^
(跟异或位运算一样),有别于其它语言的~
。
28、位运算(与、或、异或、取反)优先级高于四则运算(加、减、乘、除、取余),有别于C语言。
29、结构体在序列化时非导出字段(以小写字母开头的字段名)不会被encode,因此在decode时这些非导出字段的值为”0值”
30、程序不等所有goroutine结束就会退出。可通过channel实现主协程(main goroutine)等待所有goroutine完成。
31、对于无缓存区的channel,写入channel的goroutine会阻塞直到被读取,读取channel的goroutine会阻塞直到有数据写入。
32、从一个closed状态的channel读取数据是安全的,可通过返回状态(第二个返回参数)判断是否关闭;而向一个closed状态的channel写数据会导致panic。
33、向一个nil
值(未用make分配空间)的channel发送或读取数据,会导致永远阻塞。
package main
import (
"fmt"
"time"
)
func main() {
var ch chan int
for i := 0; i < 3; i++ {
go func(idx int) {
ch <- (idx + 1) * 2
}(i)
}
//get first result
fmt.Println("result:",<-ch)
//do other work
time.Sleep(2 * time.Second)
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
34、方法接收者是类型(T),接收者只是原对象的值复制,在方法中修改接收者不会修改原始对象的值;如果方法接收者是指针类型(*T),是对原对象的引用,方法中对其修改当然是原对象修改。
type data struct {
num int
key *string
items map[string]bool
}
func (this *data) pmethod() {
this.num = 7
}
func (this data) vmethod() {
this.num = 8
*this.key = "v.key"
this.items["vmethod"] = true
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
35、log包中的log.Fata
l和log.Panic
不仅仅记录日志,还会中止程序。它不同于Logging
库。
二、中级
1、关闭HTTP的Response.Body
使用defer语句关闭资源时要注意nil值,在defer语句之前要进行nill值处理
以下以http包的使用为例
package main
import (
"fmt"
"net/http"
"io/ioutil"
)
func main() {
resp, err := http.Get("https://api.ipify.org?format=json")
if resp != nil {
defer resp.Body.Close() // ok,即使不读取Body中的数据,即使Body是空的,也要调用close方法
}
//defer resp.Body.Close() // (1)Error:在nil值判断之前使用,resp为nil时defer中的语句执行会引发空引用的panic
if err != nil {
fmt.Println(err)
return
}
//defer resp.Body.Close() // (2)Error:排除了nil隐患,但是出现重定向错误时,仍然需要调用close
body, err := ioutil.ReadAll(resp.Body)
if err != nil {
fmt.Println(err)
return
}
fmt.Println(string(body))
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
在Go 1.5之前resp.Body.Close()
会读取并丢失body中的数据,保证在启用keepaliva的http时能够在下一次请求时重用。
在Go 1.5之后,就需要在关闭前手动处理。
_, err = io.Copy(ioutil.Discard, resp.Body)
- 1
如果只是读取Body的部分,就很有必要在关闭Body之前做这种手动处理。例如处理json api响应时json.NewDecoder(resp.Body).Decode(&data)
就需要处理掉剩余的数据。
2、关闭HTTP连接:
(1) 可使用req.Close=true
,表示在http请求完成时关闭连接
(2) 添加Connection: close
的连接请求头。http服务端也会发送Connection: close
的响应头,http库处理响应时会关闭连接。
package main
import (
"fmt"
"net/http"
"io/ioutil"
)
func main() {
req, err := http.NewRequest("GET","http://golang.org",nil)
if err != nil {
fmt.Println(err)
return
}
req.Close = true
//or do this:
//req.Header.Add("Connection", "close")
resp, err := http.DefaultClient.Do(req)
if resp != nil {
defer resp.Body.Close()
}
if err != nil {
fmt.Println(err)
return
}
body, err := ioutil.ReadAll(resp.Body)
if err != nil {
fmt.Println(err)
return
}
fmt.Println(len(string(body)))
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
(3)全局关闭http连接重用。
对于相同http server发送多个请求时,适合保持网络连接;
但对于短时间内向多个HTTP服务器发送一个或两个请求时,最好在每次接收到服务端响应后关闭网络链接
package main
import (
"fmt"
"net/http"
"io/ioutil"
)
func main() {
tr := &http.Transport{DisableKeepAlives: true}
client := &http.Client{Transport: tr}
resp, err := client.Get("http://golang.org")
if resp != nil {
defer resp.Body.Close()
}
if err != nil {
fmt.Println(err)
return
}
fmt.Println(resp.StatusCode)
body, err := ioutil.ReadAll(resp.Body)
if err != nil {
fmt.Println(err)
return
}
fmt.Println(len(string(body)))
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
3、Json反序列化数字到interface{}类型的值中,默认解析为float64类型,在使用时要注意。
var data = []byte(`{"status": 200}`)
var result map[string]interface{}
if err := json.Unmarshal(data, &result); err != nil {
fmt.Println("error:", err)
return
}
//var status = result["status"].(int) //error: panic: interface conversion: interface is float64, not int
var status = uint64(result["status"].(float64)) //ok
fmt.Println("status value:",status)
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
(1) 使用Decoder
类型解析JSON
var data = []byte(`{"status": 200}`)
var decoder = json.NewDecoder(bytes.NewReader(data))
decoder.UseNumber()
if err := decoder.Decode(&result); err != nil {
fmt.Println("error:", err)
return
}
var status,_ = result["status"].(json.Number).Int64() //ok
fmt.Println("status value:",status)
var status2 uint64
if err := json.Unmarshal([]byte(result["status"].(json.Number).String()), &status2); err != nil {
fmt.Println("error:", err)
return
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
(2)使用struct结构体映射
var data = []byte(`{"status": 200}`)
var result struct {
Status uint64 `json:"status"`
}
if err := json.NewDecoder(bytes.NewReader(data)).Decode(&result); err != nil {
fmt.Println("error:", err)
return
}
fmt.Printf("result => %+v",result) //prints: result => {Status:200}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
(3) 使用struct映射数字为json.RawMessage
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"`
}
if err := json.NewDecoder(bytes.NewReader(record)).Decode(&result); err != nil {
fmt.Println("error:", err)
return
}
var sstatus string
if err := json.Unmarshal(result.Status, &sstatus); err == nil {
result.StatusName = sstatus
}
var nstatus uint64
if err := json.Unmarshal(result.Status, &nstatus); err == nil {
result.StatusCode = nstatus
}
fmt.Printf("[%v] result => %+v\n",idx,result)
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
4、Struct、Array、Slice、Map的比较
如果struct结构体的所有字段都能够使用==
操作比较,那么结构体变量也能够使用==
比较。
但是,如果struct字段不能使用==
比较,那么结构体变量使用==
比较会导致编译错误。
同样,array只有在它的每个元素能够使用==
比较时,array变量才能够比较。
Go提供了一些用于比较不能直接使用==
比较的函数,其中最常用的是reflect.DeepEqual()
函数。
DeepEqual()
函数对于nil值的slice与空元素的slice是不相等的,这点不同于bytes.Equal()
函数。
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
}
v1 := data{}
v2 := data{}
fmt.Println("v1 == v2:",v1 == v2) //prints: v1 == v2: true
type data2 struct {
num int //ok
checks [10]func() bool //not comparable
doit func() bool //not comparable
m map[string] string //not comparable
bytes []byte //not comparable
}
v3 := data2{}
v4 := data2{}
fmt.Println("v3 == v4:",v3 == v4) // error
v5 := data2{}
v6 := data2{}
fmt.Println("v5 == v6:",reflect.DeepEqual(v5,v6)) //prints: v5 == v6: true
m1 := map[string]string{"one": "a","two": "b"}
m2 := map[string]string{"two": "b", "one": "a"}
fmt.Println("m1 == m2:",reflect.DeepEqual(m1, m2)) //prints: m1 == m2: true
s1 := []int{1, 2, 3}
s2 := []int{1, 2, 3}
fmt.Println("s1 == s2:",reflect.DeepEqual(s1, s2)) //prints: s1 == s2: true
var b1 []byte = nil
b2 := []byte{}
fmt.Println("b1 == b2:",reflect.DeepEqual(b1, b2)) //prints: b1 == b2: false
var b3 []byte = nil
b4 := []byte{}
fmt.Println("b3 == b4:",bytes.Equal(b3, b4)) //prints: b3 == b4: true
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
DeepEqual()
函数并不总是能够正确处理slice。
var str string = "one"
var in interface{} = "one"
fmt.Println("str == in:",str == in,reflect.DeepEqual(str, in)) //prints: str == in: true true
v1 := []string{"one","two"}
v2 := []interface{}{"one","two"}
fmt.Println("v1 == v2:",reflect.DeepEqual(v1, v2)) //prints: v1 == v2: false (not ok)
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)) //prints: data == decoded: false (not ok)
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
如果要忽略大小写来比较包含文字数据的字节切片(byte slice),
不建议使用bytes
包和strings
包里的ToUpper()
、ToLower()
这些函数转换后再用==
、byte.Equal()
、bytes.Compare()
等比较,
ToUpper()
、ToLower()
只能处理英文文字,对其它语言无效。因此建议使用strings.EqualFold()
和bytes.EqualFold()
如果要比较用于验证用户数据密钥信息的字节切片时,使用reflact.DeepEqual()
、bytes.Equal()
、
bytes.Compare()
会使应用程序遭受计时攻击(Timing Attack),可使用crypto/subtle.ConstantTimeCompare()
避免泄漏时间信息。
5、从panic中恢复
recover()
函数能够捕获或拦截panic,但必须在defer
函数或语句中直接调用,否则无效。
package main
import "fmt"
func doRecover() {
fmt.Println("recovered =>",recover()) //prints: recovered => <nil>
}
func main() {
defer func() {
fmt.Println("recovered:",recover()) // ok
}()
defer func() {
doRecover() //panic is not recovered
}()
// recover() //doesn't do anything
panic("not good")
// recover() //won't be executed :)
fmt.Println("ok")
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
6、在slice、array、map的for range子句中修改和引用数据项
使用range获取的数据项是从集合元素的复制过来的,并非引用原始数据,但使用索引能访问原始数据。
data := []int{1,2,3}
for _,v := range data {
v *= 10 // original item is not changed
}
data2 := []int{1,2,3}
for i,v := range data2 {
data2[i] *= 10 // change original item
}
// 元素是指针类型就不一样了
data3 := []*struct{num int} {{1}, {2}, {3}}
for _,v := range data {
v.num *= 10
}
fmt.Println("data:", data) //prints data: [1 2 3]
fmt.Println("data:", data2) //prints data: [10 20 30]
fmt.Println(data3[0],data3[1],data3[2]) //prints &{10} &{20} &{30}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
7、Slice中的隐藏数据
从一个slice上再生成一个切片slice,新的slice将直接引用原始slice的那个数组,两个slice对同一数组的操作,会相互影响。
可通过为新切片slice重新分配空间,从slice中copy部分的数据来避免相互之间的影响。
raw := make([]byte,10000)
fmt.Println(len(raw),cap(raw),&raw[0]) //prints: 10000 10000 <byte_addr_x>
data := raw[:3]
fmt.Println(len(data),cap(data),&data[0]) //prints: 3 10000 <byte_addr_x>
res := make([]byte,3)
copy(res,raw[:3])
fmt.Println(len(res),cap(res),&res[0]) //prints: 3 3 <byte_addr_y>
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
8、Slice超范围数据覆盖
从已存在的切片slice中继续切片时,新切片的capicity等于原capicity减去新切片之前部分的数量,新切片与原切片都指向同一数组空间。
新生成切片之间capicity区域是重叠的,因此在添加数据时易造成数据覆盖问题。
slice使用append添加的内容时超出capicity时,会重新分配空间。
利用这一点,将要修改的切片指定capicity为切片当前length,可避免切片之间的超范围覆盖影响。
path := []byte("AAAA/BBBBBBBBB")
sepIndex := bytes.IndexByte(path,'/')
dir1 := path[:sepIndex]
// 解决方法
// dir1 := path[:sepIndex:sepIndex] //full slice expression
dir2 := path[sepIndex+1:]
fmt.Println("dir1 =>",string(dir1)) //prints: dir1 => AAAA
fmt.Println("dir2 =>",string(dir2)) //prints: dir2 => BBBBBBBBB
dir1 = append(dir1,"suffix"...)
path = bytes.Join([][]byte{dir1,dir2},[]byte{'/'})
fmt.Println("dir1 =>",string(dir1)) //prints: dir1 => AAAAsuffix
fmt.Println("dir2 =>",string(dir2)) //prints: dir2 => uffixBBBB (not ok)
fmt.Println("new path =>",string(path))
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
9、Slice增加元素重新分配内存导致的怪事
slice在添加元素前,与其它切片共享同一数据区域,修改会相互影响;但添加元素导致内存重新分配之后,不再指向原来的数据区域,修改元素,不再影响其它切片。
s1 := []int{1,2,3}
fmt.Println(len(s1),cap(s1),s1) //prints 3 3 [1 2 3]
s2 := s1[1:]
fmt.Println(len(s2),cap(s2),s2) //prints 2 2 [2 3]
for i := range s2 { s2[i] += 20 }
//still referencing the same array
fmt.Println(s1) //prints [1 22 23]
fmt.Println(s2) //prints [22 23]
s2 = append(s2,4)
for i := range s2 { s2[i] += 10 }
//s1 is now "stale"
fmt.Println(s1) //prints [1 22 23]
fmt.Println(s2) //prints [32 33 14]
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
10、类型重定义与方法继承
从一个已存在的(non-interface)非接口类型重新定义一个新类型时,不会继承原类型的任何方法。
可以通过定义一个组合匿名变量的类型,来实现对此匿名变量类型的继承。
但是从一个已存在接口重新定义一个新接口时,新接口会继承原接口所有方法。
11、从”for switch”和”for select”代码块中跳出。
无label的break只会跳出最内层的switch
/select
代码块。
如需要从switch
/select
代码块中跳出外层的for循环,可以在for循环外部定义label,供break跳出。
return
当然也是可以的,如果在这里可以用的话。
12、在for语句的闭包中使用迭代变量会有问题
在for迭代过程中,迭代变量会一直保留,只是每次迭代值不一样。
因此在for循环中在闭包里直接引用迭代变量,在执行时直接取迭代变量的值,而不是闭包所在迭代的变量值。
如果闭包要取所在迭代变量的值,就需要for中定义一个变量来保存所在迭代的值,或者通过闭包函数传参。
package main
import (
"fmt"
"time"
)
func forState1(){
data := []string{"one","two","three"}
for _,v := range data {
go func() {
fmt.Println(v)
}()
}
time.Sleep(3 * time.Second) //goroutines print: three, three, three
for _,v := range data {
vcopy := v // 使用临时变量
go func() {
fmt.Println(vcopy)
}()
}
time.Sleep(3 * time.Second) //goroutines print: one, two, three
for _,v := range data {
go func(in string) {
fmt.Println(in)
}(v)
}
time.Sleep(3 * time.Second) //goroutines print: one, two, three
}
func main() {
forState1()
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
再看一个坑埋得比较深的例子。
package main
import (
"fmt"
"time"
)
type field struct {
name string
}
func (p *field) print() {
fmt.Println(p.name)
}
func main() {
data := []field{{"one"},{"two"},{"three"}}
for _,v := range data {
// 解决办法:添加如下语句
// v := v
go v.print()
}
time.Sleep(3 * time.Second) //goroutines print: three, three, three
data2 := []*field{{"one"}, {"two"}, {"three"}} // 注意data2是指针数组
for _, v := range data2 {
go v.print() // go执行是函数,函数执行之前,函数的接受对象已经传过来
}
time.Sleep(3 * time.Second) //goroutines print: one, two, three
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
13、defer
函数调用参数
defer
后面必须是函数或方法的调用语句。defer
后面不论是函数还是方法,输入参数的值是在defer
声明时已计算好,
而不是调用开始计算。
要特别注意的是,defer
后面是方法调用语句时,方法的接受者是在defer语句执行时传递的,而不是defer声明时传入的。
type field struct{
num int
}
func(t *field) print(n int){
fmt.println(t.num, n)
}
func main() {
var i int = 1
defer fmt.Println("result2 =>",func() int { return i * 2 }())
i++
v := field{1}
defer v.print(func() int { return i * 2 }())
v = field{2}
i++
// prints:
// 2 4
// result => 2 (not ok if you expected 4)
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
14、defer
语句调用是在当前函数结束之后调用,而不是变量的作用范围。
for _,target := range targets {
f, err := os.Open(target)
if err != nil {
fmt.Println("bad target:",target,"error:",err) //prints error: too many open files
break
}
defer f.Close() //will not be closed at the end of this code block, but closed at end of this function
// 解决方法1:不用defer
// f.Close()
// 解决方法2:将for中的语句添加到匿名函数中执行。
// func () {
// }()
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
15、失败的类型断言
var.(T)
类型断言失败时会返回T
类型的“0值”,而不是变量原始值。
var data interface{} = "great"
if data, ok := data.(int); ok {
fmt.Println("[is an int] value =>",data)
} else {
fmt.Println("[not an int] value =>",data) //prints: [not an int] value => 0 (not "great")
}
if res, ok := data.(int); ok {
fmt.Println("[is an int] value =>",res)
} else {
fmt.Println("[not an int] value =>",data) //prints: [not an int] value => great (as expected)
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
16、阻塞的goroutine与资源泄漏
func First(query string, replicas ...Search) Result {
c := make(chan Result)
// 解决1:使用缓冲的channel: c := make(chan Result,len(replicas))
searchReplica := func(i int) { c <- replicas[i](query) }
// 解决2:使用select-default,防止阻塞
// searchReplica := func(i int) {
// select {
// case c <- replicas[i](query):
// default:
// }
// }
// 解决3:使用特殊的channel来中断原有工作
// done := make(chan struct{})
// defer close(done)
// searchReplica := func(i int) {
// select {
// case c <- replicas[i](query):
// case <- done:
// }
// }
for i := range replicas {
go searchReplica(i)
}
return <-c
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
三、高级
1、用值实例上调用接收者为指针的方法
对于可寻址(addressable)的值变量(而不是指针),可以直接调用接受对象为指针类型的方法。
换句话说,就不需要为可寻址值变量定义以接受对象为值类型的方法了。
但是,并不是所有变量都是可寻址的,像Map的元素就是不可寻址的。
package main
import "fmt"
type data struct {
name string
}
func (p *data) print() {
fmt.Println("name:",p.name)
}
type printer interface {
print()
}
func main() {
d1 := data{"one"}
d1.print() //ok
// var in printer = data{"two"} //error
var in printer = &data{"two"}
in.print()
m := map[string]data {"x":data{"three"}}
//m["x"].print() //error
d2 = m["x"]
d2.print() // ok
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
2、更新map值的字段
如果map的值类型是结构体类型,那么不能更新从map中取出的结构体的字段值。
但是对于结构体类型的slice却是可以的。
package main
type data struct {
name string
}
func main() {
m := map[string]data {"x":{"one"}}
//m["x"].name = "two" //error
r := m["x"]
r.name = "two"
m["x"] = r
fmt.Println(s) // prints: map[x:{two}]
mp := map[string]*data {"x": {"one"}}
mp["x"].name = "two" // ok
s := []data{{"one"}}
s[0].name = "two" // ok
fmt.Println(s) // prints: [{two}]
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
3、nil
值的interface{}
不等于nil
在golang中,nil只能赋值给指针、channel、func、interface、map或slice类型的变量。
interface{}
表示任意类型,可以接收任意类型的值。interface{}
变量在底是由类型和值两部分组成,表示为(T,V),interface{}
变量比较特殊,判断它是nil
时,要求它的类型和值都是nil
,即(nil, nil)。
其它类型变量,只要值是nil,那么此变量就是nil
(为什么?变量类型不是nil
,那当然只能用值来判断了)
声明变量interface{}
,它默认就是nil
,底层类型与值表示是(nil, nil)。
当任何类型T的变量值V给interface{}
变量赋值时,interface{}
变量的底层表示是(T, V)。只要T非nil,即使V是nil,interface{}
变量也不是nil
。
因此,var a interface{}
、var a interface{} = nil
、“
var data *byte
var in interface{}
fmt.Println(data,data == nil) //prints: <nil> true
fmt.Println(in,in == nil) //prints: <nil> true
in = data
fmt.Println(in,in == nil) //prints: <nil> false
//'data' is 'nil', but 'in' is not 'nil'
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) //prints: good result: <nil>
//'res' is not 'nil', but its value is 'nil'
}
doit = func(arg int) interface{} {
var result *struct{} = nil
if(arg > 0) {
result = &struct{}{}
} else {
return nil //return an explicit 'nil'
}
return result
}
if res := doit(-1); res != nil {
fmt.Println("good result:",res)
} else {
fmt.Println("bad result (res is nil)") //here as expected
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
4、变量内存的分配
在C++中使用new操作符总是在heap上分配变量。Go编译器使用new()
和make()
分配内存的位置到底是stack还是heap,
取决于变量的大小(size)和逃逸分析的结果(result of “escape analysis”)。这意味着Go语言中,返回本地变量的引用也不会有问题。
要想知道变量内存分配的位置,可以在go build
、go run
命令指定-gcflags -m
即可:
go run -gcflags -m app.go
5、GOMAXPROCS、Concurrency和Parallelism
Go 1.4及以下版本每个操作系统线程只使用一个执行上下文execution context)。这意味着每个时间片,只有一个goroutine执行。
从Go 1.5开始可以设置执行上下文的数量为CUP内核数量runtime.NumCPU()
,也可以通过GOMAXPROCS
环境变量来设置,
还可调用runtime.GOMAXPROCS()
函数来设置。
注意,GOMAXPROCS并不代表Go运行时能够使用的CPU数量,它是一个小256的数值,可以设置比实际的CPU数量更大的数字。
fmt.Println(runtime.GOMAXPROCS(-1)) //prints: X (1 on play.golang.org)
fmt.Println(runtime.NumCPU()) //prints: X (1 on play.golang.org)
runtime.GOMAXPROCS(20)
fmt.Println(runtime.GOMAXPROCS(-1)) //prints: 20
runtime.GOMAXPROCS(300)
fmt.Println(runtime.GOMAXPROCS(-1)) //prints: 256
- 1
- 2
- 3
- 4
- 5
- 6
6、读写操作排序
Go可能会对一些操作排序,但它保证在goroutine的所有行为保持不变。
但是,它无法保证在跨多个goroutine时的执行顺序。
package main
import (
"runtime"
"time"
)
var _ = runtime.GOMAXPROCS(3)
var a, b int
func u1() {
a = 1
b = 2
}
func u2() {
a = 3
b = 4
}
func p() {
println(a)
println(b)
}
func main() {
go u1()
go u2()
go p()
time.Sleep(1 * time.Second)
// 多次执行可显示以下以几种打印结果
// 1 2
// 3 4
// 0 2 (奇怪吗?)
// 0 0
// 1 4 (奇怪吗?)
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
看到上面显示的02,14这样的值了吗?这没什么奇怪的。以02这样的输出结果,goroutine的执行应该是这样的
-------------------------------------
p函数 | u1函数 | u2函数 |
-------------------------------------
println(a) | | |
| a = 1 | |
| b = 2 | |
println(b) | | |
| | a = 3 |
| | b = 4 |
-------------------------------------
(从上向下为时间执行顺序)
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
7、优先调度
有一些比较流氓的goroutine会阻止其它goroutine的执行。
例如for循环可能就不允许调度器(scheduler)执行。
scheduler会在GC、go语句、阻塞channel的操作、阻塞系统调用、lock操作等语句执行之后立即执行。
也可以显示地执行runtime.Gosched()
(让出时间片)使scheduler执行调度工作。
package main
import (
"fmt"
"runtime"
)
func main() {
done := false
go func(){
done = true
}()
for !done {
// ...
//runtime.Gosched() // 让scheduler执行调度,让出执行时间片
}
fmt.Println("done!")
}
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19