如果局部变量在放入通道后失去作用域会怎样？

Question

尤其是在局部范围内生成变量时。它的存活时间有多长？

例如，给定一个循环创建 10 只狗并将指针传递到一个通道中，例如

for i := 0; i < 10; i++ {
    dogAddr := produce(i)    // assume we already have: func produce(i int) *Dog 
    c <- dogAddr             // c: channel
}

循环结束后，狗会立即放生吗？它们会只存活一段神奇的时间等待被消耗吗？它们会在被消耗后被释放吗？

我用一个简单的代码测试了这个，结果似乎表明局部变量将永远存在。

package main

import (
    "fmt"
    "time"
)
func main() {
    var a int
    var c chan *int = make(chan *int, 1000)
    var m map[int]*int = make(map[int]*int)
    for i := 0; i < 10; i++ {                     // this is generation-loop
        x := i
        m[i] = &x
        fmt.Println(i, "mapping to: ", &a)
        c <- &x
    }                                            // the generation-loop breaks here
    for i := 0; i < 10; i++ {
        fmt.Println(i, "stored pointer: ", m[i]) // we can still call the variables 
    }
    for i := 0; i < 10; i++ {
        fmt.Println(i, "stored value: ", *m[i])  // we can still call the variables 
        p := <-c
        fmt.Println(i, "channel value: ", *p)    // we can still call the variables 
    }
    time.Sleep(20 * time.Second)

}

我很困惑为什么会发生这种情况。只要局部块完成，局部变量不会失去生命吗？如果我使用的方式是错误的，那么在 Go 中将局部变量传递给外部用户的正确方式是什么？

Answer 1

Go 是垃圾收集器。当不再有对资源的引用时，资源将被释放，包括当前保存在缓冲通道中的引用。您不必担心释放后使用，returning/sending 指向“本地”变量的指针没有任何问题。

Aren't local variables lose their life as long as local blocks get finished?

不，当垃圾收集器找不到对它们值的进一步引用时，它们“失去了生命”。超出其封闭范围的变量会自动分配到堆上，并且在从封闭范围流出 returns 并且其堆栈内存丢失后可以安全使用。

这样想：在 Go 中不存在超出其作用域的“局部”变量。那是不可能的。一个超出其声明范围的变量在定义上不是“本地”的，它会自动移动到堆中，只要任何东西继续引用它就会一直存在。

值得扩展的内容：

for i := 0; i < 10; i++ {
   dogAddr := produce(i)    // assume we already have: func produce(i int) *Dog 
   c <- dogAddr             // c: channel
}

When the loop ends, will the dogs be released immediately?

您的困惑似乎源于 dogAddr 变量本身在某种程度上与它指向的内存同义的想法，或者源于 dogAddr 指针超出范围的错误想法会以某种方式导致它指向的内存被回收，而其他东西仍然指向它，这在任何语言中都是不正确的，垃圾收集与否。

dogAddr指针只包含一个地址。该变量确实在循环的每次迭代中超出范围，但它持有的值（堆上 Dog 对象的地址）已经按值复制进入频道。是的，dogAddr 是一个“局部”变量，但这并不真正相关。它的值不是“local”，它的值是在 process().

内部分配的一些非本地 Dog 对象的内存地址

I tested this in a simple code, and results seems to show that the local variables will survive forever.

不，您刚刚表明，只要您引用了一段内存，该内存就不会被垃圾回收。

如果局部变量在放入通道后失去作用域会怎样？

What happens if a local variable loses its scope after being put into a channel?

scope

for-loop

channel

go