登录
首页 >  Golang >  Go问答

封闭所容纳的环境范围是什么?

来源:stackoverflow

时间:2024-04-25 13:42:34 494浏览 收藏

学习知识要善于思考,思考,再思考!今天golang学习网小编就给大家带来《封闭所容纳的环境范围是什么?》,以下内容主要包含等知识点,如果你正在学习或准备学习Golang,就都不要错过本文啦~让我们一起来看看吧,能帮助到你就更好了!

问题内容

我模仿网上关于闭包的教程,写了下面的代码。

func foo1() func() {
    xvalue := 1
    x := &xvalue
    defer func() {
        xvalue = 2
    }()
    return func() {
        *x = *x + 1
        fmt.printf("foo1 val = %d\n", *x)
    }
}

func main() {

    f1 := foo1()
    f1()
    f1()
    f1()
}

我很困惑,在执行 f1 := foo1() 后,变量 xvalue 似乎应该被回收,因此使用 *x 应该是错误的,但上面的代码没有错误并且执行罚款,给出输出

foo1 val = 3
foo1 val = 4
foo1 val = 5

所以我想知道闭包除了保存指针本身之外还保存了指针的值还是go语言的垃圾回收机制导致xvalue没有被删除?


正确答案


在 Go 中,闭包获取对其关闭的任何变量(的地址)的引用。引用语言参考

函数文字是闭包:它们可以引用周围函数中定义的变量。然后,这些变量在周围的函数和函数文字之间共享,并且只要可访问,它们就会一直存在。

因此,在您的示例中:

  1. f1 := foo1()

    1. 使 xValue 变量存在(编译器可能会在堆上分配它)。它将以其类型的零值 0 开始。
    2. 使变量 x 存在并为其分配 xValue 的地址。
    3. defer-red 闭包运行并将值 2 分配给 xValue
    4. 返回一个关闭变量 x 的闭包。

    后一点可能有点棘手:由于返回的闭包引用了变量 x,编译器保证即使在 foo 返回后该变量也存在。由于 x 包含 xValue 的地址(因此是对它的实时引用),因此该地址仍然存在,并且不能被垃圾收集。 使用相同的转义分析方法,编译器保证 xValue 在其声明的函数返回后仍然存在。

  2. 您执行返回的闭包,该闭包通过指向它的指针修改 xValue – 这里没有发生任何魔法。另外两个调用执行相同的操作。

总而言之,也许您被 C++ 知识绊倒了,一旦从该函数返回控制权,函数中声明的任何变量都将不再存在,因此该函数外部存在的对该变量的任何引用都将变为无效的。在 Go 中,情况并非如此:在这方面,该语言被显式定义为安全:编译器确保任何变量都有适当的分配,以便在返回(或以其他方式传达)对它的引用时在创建它的函数调用中生存下来。从该函数调用到外部世界。

以上就是本文的全部内容了,是否有顺利帮助你解决问题?若是能给你带来学习上的帮助,请大家多多支持golang学习网!更多关于Golang的相关知识,也可关注golang学习网公众号。

声明:本文转载于:stackoverflow 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>