网站首页 返回列表像“草根”一样，紧贴着地面，低调的存在，冬去春来，枯荣无恙。

goroutine访问宿主函数局部变量

2020-06-10 02:57:46 admin 970

我们知道goroutine函数会在一个不同于当前调用者线程的环境中运行；那么当调用者线程结束，或者调用者函数返回之后，goroutine函数还能不能使用调用者函数的局部变量呢。  
下面代码例子描述这个问题

package main
    
    import (
      "log"
      "time"
    )
    
    func foo() {
      defer log.Println("defer foo()")
      i := int(1);
      j := int(2);
    
      go func (p int) {
        defer log.Println("defer goroute")
        for k := 0; k < 5; k++ {
          i += 10
          log.Printf("p=%d,i=%d\n", p, i)
          time.Sleep(2*time.Second)
        }
        log.Println("exit of goroute")
      }(i)
    
      for k := 0; k < 5; k++ {
        i += 100
        j += 100
        time.Sleep(1*time.Second)
      }
      log.Println("exit of foo")
    }
    
    func main() {
      defer log.Println("defer main")
      foo()
    
      for j := 0; j < 8; j++ {
        time.Sleep(1*time.Second)
      }
      log.Println("exit of main")
    }

首先main函数会调用foo函数，foo函数内部会起来一个匿名goroutine，在这个匿名routine里面会访问foo的局部变量i。  
函数里面的time.Sleep()语句用来保证foo函数优先结束，然后是匿名goroutine，最后是main主函数。  
运行结果如下：

2017/09/17 15:58:48 p=1,i=111
    2017/09/17 15:58:50 p=1,i=321
    2017/09/17 15:58:52 p=1,i=531
    2017/09/17 15:58:53 exit of foo
    2017/09/17 15:58:53 defer foo()
    2017/09/17 15:58:54 p=1,i=541
    2017/09/17 15:58:56 p=1,i=551
    2017/09/17 15:58:58 exit of goroute
    2017/09/17 15:58:58 defer goroute
    2017/09/17 15:59:01 exit of main
    2017/09/17 15:59:01 defer main
    
    or
    
    2017/09/17 15:59:05 p=1,i=111
    2017/09/17 15:59:07 p=1,i=221
    2017/09/17 15:59:09 p=1,i=431
    2017/09/17 15:59:10 exit of foo
    2017/09/17 15:59:10 defer foo()
    2017/09/17 15:59:11 p=1,i=541
    2017/09/17 15:59:13 p=1,i=551
    2017/09/17 15:59:15 exit of goroute
    2017/09/17 15:59:15 defer goroute
    2017/09/17 15:59:18 exit of main
    2017/09/17 15:59:18 defer main

可以看到匿名goroutine函数正常的使用了foo函数中定义的局部变量i，尽管函数foo已经退出，并且foo的defer部分已经执行了，那为什么局部变量i还能继续需用呢？答案是我们在前面文章也分析过了，go语言编译器会根据变量的逃逸分析，自动做出选择把一个变量分配的堆还是栈，在这个例子中很显然局部变量i被分配在了堆中。

我们看一下foo的汇编代码片段；为了便于区分，foo同时定义了两个局部变量i和j，i被goroutine使用了，而j没有：

0x00d6 00214 (/.../src/main/main.go:10)  LEAQ  type.int(SB), AX
      0x00dd 00221 (/.../src/main/main.go:11)  MOVQ  AX, (SP)
      0x00e1 00225 (/.../src/main/main.go:11)  PCDATA  $0, $1
      0x00e1 00225 (/.../src/main/main.go:11)  CALL  runtime.newobject(SB)
      0x00e6 00230 (/.../main/main.go:11)  MOVQ  8(SP), AX
      0x00eb 00235 (/.../src/main/main.go:11)  MOVQ  AX, "".&i+104(SP)
      0x00f0 00240 (/.../src/main/main.go:11)  MOVQ  $1, (AX)
      0x00f7 00247 (/.../src/main/main.go:12)  MOVQ  $2, "".j+48(SP)

可以看出i被分配到了堆里面通过runtime.newobject出一个对象，而j直接分配在了栈上；所以不管foo是否已经退出，匿名goroutine都可以在堆中访问到i的值。

转载文章，原文链接： goroutine访问宿主函数局部变量

关键字词goroutine 局部变量

分享到：

上一篇：golang实现微信聊天机器人

下一篇：go语言局部变量分配在栈还是堆

如需留言，请登录，没有账号？请注册

0 条评论 0 人参与

网站首页 返回列表像“草根”一样，紧贴着地面，低调的存在，冬去春来，枯荣无恙。

goroutine访问宿主函数局部变量

zhou 2年前

zhou 2年前

zhou 2年前

zhou 2年前

武云 2年前

网站首页 返回列表 像“草根”一样，紧贴着地面，低调的存在，冬去春来，枯荣无恙。

goroutine访问宿主函数局部变量

zhou 2年前

zhou 2年前

zhou 2年前

zhou 2年前

武云 2年前

网站首页返回列表像“草根”一样，紧贴着地面，低调的存在，冬去春来，枯荣无恙。