细数在用golang&beego做api server过程中的坑(一)

栏目: Go · 发布时间: 5年前

内容简介:在介绍之前先说明一下,标题中带有【beego】标签的,是beego框架使用中遇到的坑。如果没有,那就是golang本身的坑。当然,此坑并非人家代码有问题,有几个地方反而是出于性能等各方面的考量有意而为之。但这些地方却是一门语言或框架的初学者大概率会遇到的困惑。在go中,slice/map的迭代循环的常用方式为:这其中value就是遍历时的当前值。

在介绍之前先说明一下,标题中带有【beego】标签的,是beego框架使用中遇到的坑。如果没有,那就是golang本身的坑。当然,此坑并非人家代码有问题,有几个地方反而是出于性能等各方面的考量有意而为之。但这些地方却是一门语言或框架的初学者大概率会遇到的困惑。

1、slice/map遍历时的修改问题

go 中,slice/map的迭代循环的常用方式为:

slice:
for index,value := range _slice {
}
map:
for key,value := range _map {
}

这其中value就是遍历时的当前值。

按照我们之前在 java 中的遍历习惯,当遍历到第几个时,拿到的就是指向第几个对象的引用,因此对对象的所有修改行为本质上修改的都是原值。但是在这里并不是。看一个例子:

//tag1
var structs = []testModel{
        testModel{
            A: "一",
            B: "一一",
            C: 1,
        },
        testModel{
            A: "二",
            B: "二二",
            C: 2,
        },
        testModel{
            A: "三",
            B: "三三",
            C: 3,
        },
    }
//tag2
    for _, val := range structs {
        val.A = "四"
        val.B = "四四"
        val.C = 4
    }
//tag3
    for _, val := range structs {
        fmt.Print(val.A)
        fmt.Print(val.B)
        fmt.Println(val.C)
    }

代码逻辑很简单。

  • 我们在tag1处定义了一个数组,里面包含三个testModel实例。每个testModel实例有三个字段,并且他们的字段值都是互不相同的。
  • 按照事先的想法,是要在tag2处将所有testModel实例的字段值修改为相同的。
  • tag3检查一下修改结果。
    结果console输出如下;
=== RUN   TestLogic
一一一1
二二二2
三三三3
--- PASS: TestLogic (0.00s)
PASS

打印的仍然是旧值。那这是为什么呢?

原因是:在range遍历时,map中的key&value,slice中的index&value,都是新的临时变量,这个临时变量被每一次迭代所共用,临时变量的值也是由被遍历元素复制而来。因此在该变量上修改是无效的。

那如何才能有效呢? 很简单,对上例的tag2部分做如下修改:

for key, _ := range structs {
        structs[key].A = "四"
        structs[key].B = "四"
        structs[key].C = 4
    }

同理Slice修改时也需要用slice[index].column = newValue 的方式进行。

2、map/slice遍历时多协程问题(multi-goroutines)

在map遍历时,我们有可能会在map中使用go routines进行一些操作,例如下面这个例子:

var values = []int{1, 2, 3, 4, 5, 6, 7, 8, 9}

    var block = make(chan int, 2)
//wrong
    for i, val := range values {
        go func() {
            fmt.Println(1000 + val)
            if i == len(values)-1 {
                block <- 1
            }
        }()
    }
    for i := 0; i < 2; i++ {
        <-block
    }
}

我们想用map中迭代的当前值,在协程中做一番大事业,潜意识的写法可能就是按照wrong中的写法那样,直接把value拿过来就用。但是却得到这样的结果:

=== RUN   TestLogic
1009
1009
1009
1009
1009
1009
1009
1009
1009
--- PASS: TestLogic (0.00s)
PASS

也就是说,在goroutine中的val,值竟然都是map遍历的最后一个!导致这一现象的原因有两个:

  • for range下的迭代变量val的值是共用的,这一点在《slice/map遍历时修改问题 》中有提到
  • main函数所在的goroutine和后续启动的goroutines存在竞争关系
    为了证实这一点,修改代码为如下:
for i, val := range values {
        fmt.Println(&val)
        go func() {
            fmt.Println(1000 + val)
            if i == len(values)-1 {
                block <- 1
            }
        }()
    }

加了一行代码,打印val的内存地址,结果如下:

0xc000287738
0xc000287738
0xc000287738
0xc000287738
0xc000287738
0xc000287738
0xc000287738
0xc000287738
0xc000287738
1005
1009
1009
1009
1009
1009

val的地址在每次遍历时是同一个!证明第一点;goroutines在不同的遍历中存在变化,例如1005,证明第二点;当然也可用go run -trace ***.go 命令来查看协程的变化,就不多赘述。

那如何修改呢?只需要使用 函数参数复制 做一次数据复制即可,而不是闭包:

for i, val := range values {
        go func(val int) {
            fmt.Println(2000 + val)
            if i == len(values)-1 {
                block <- 1
            }
        }(val)
    }

关于map遍历时多协程并发问题也可参考: https://github.com/golang/go/wiki/CommonMistakes

3、数组与值拷贝

首先把结论放在这,然后再展开讨论:

go语言数组的一切传递都是值拷贝,包括但不限于以下三个方面:

  • 1、数组之间的直接赋值。
  • 2、数组作为函数参数。
  • 3、数组内嵌到struct中。

数组之间的直接赋值

看下面一段代码:

a := []int{1,2,3}

    //值复制
    b := a
    fmt.Printf("%p, %v\n", &a, a) //0xc0000bf660, [1 2 3]
    fmt.Printf("%p, %v\n", &b, b) //0xc0000bf680, [1 2 3]

    a = append(a, 4)
    a[0] = 4
    fmt.Println(len(b))//3
    for e := range a {//0123
        fmt.Print(e)
    }

首先定义了一个数组a,a中有3个元素。然后通过一次赋值操作,将a赋值给了b。

在java中,数组之间的赋值,是引用的传递,在a中修改后再通过b进行打印输出,会得到修改后的值。但是刚才说过,go中数组之间的复制操作是值拷贝。因此打印b仍然还是修改前的样子,会发现a和b在内存中是完全不同的两块内存区域。

数组作为函数参数传递

因为golang中函数参数的传递都是值拷贝,因此这一点放在数组上也不难理解。

在如上代码添加一句:test4(a)

a := []int{1,2,3}

    //值复制
    b := a

    fmt.Printf("%p, %v\n", &a, a) //0xc0000bf660, [1 2 3]
    fmt.Printf("%p, %v\n", &b, b) //0xc0000bf680, [1 2 3]

    a = append(a, 4)
    a[0] = 4
    fmt.Println(len(b))//3
    for e := range a {//0123
        fmt.Print(e)
    }

    test4(a)

其中test4代码如下:

func test4(param []int) {
    fmt.Printf("%p, %v\n", &param, param) //01230xc0000bf700, [4 2 3 4]
}

会发现a & b & c各有各的内存地址~~

数组内嵌到struct中

a := []string{"1", "22"}
    var c = struct {
        S []string
    }{
        S: []string{"1", "22"},
    }

    //结构是值拷贝,内部的数组也是值拷贝
    b := c

    //修改c中的数组元素值不影响b
    c.S[0] = "2"

    //修改b中的数组元素不影响c
    b.S[0] = "3"

    //地址不相同,说明每一个变量在内存中是独立的内存区域
    fmt.Printf("%p,%v\n", &a, a)     //0xc0000bd660,[1 22]
    fmt.Printf("%p,%v\n", &b.S, b.S) //0xc0000bd720,[3 22]
    fmt.Printf("%p,%v\n", &c.S, c.S) //0xc0000bd6a0,[3 22]

以上所述就是小编给大家介绍的《细数在用golang&beego做api server过程中的坑(一)》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

Automate This

Automate This

Christopher Steiner / Portfolio / 2013-8-9 / USD 25.95

"The rousing story of the last gasp of human agency and how today's best and brightest minds are endeavoring to put an end to it." It used to be that to diagnose an illness, interpret legal docume......一起来看看 《Automate This》 这本书的介绍吧!

HTML 压缩/解压工具
HTML 压缩/解压工具

在线压缩/解压 HTML 代码

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

UNIX 时间戳转换
UNIX 时间戳转换

UNIX 时间戳转换