function - Golang 在编写函数闭包时是否会自动将变量分配为参数？

Question

这是我指的代码:

package main

import "fmt"

func adder() func(int) int {
    sum := 0
    return func(x int) int {
        sum += x
        return sum
    }
}

func main() {
    pos, neg := adder(), adder()
    for i := 0; i < 10; i++ {
        fmt.Println(
            pos(i),
            neg(-2*i),
        )
    }
}

运行时的输出如下:

    0 0
    1 -2
    3 -6
    6 -12
    10 -20
    15 -30
    21 -42
    28 -56
    36 -72
    45 -90

我不明白 x 是如何在 adder 函数的 return 语句中赋值的？它似乎没有在函数的任何地方传递。 我也不明白 sum 变量是如何工作的。难道不应该在每次调用函数 adder 时重置它并为其分配值 0 吗？

Answer 1

Go 以非常典型/标准的方式处理一流的函数和闭包。有关一般闭包的一些良好背景，请参阅 the Wikipedia article .在这种情况下，调用 adder 本身:

1. 创建名为 sum 且值为 0 的 int 对象。
2. 返回一个闭包:一个类似函数的东西¹，当被调用时，它可以访问变量sum。

adder 返回的特定函数式事物是一个接受一个参数的函数，它的调用者将其捕获在一个普通变量中。然后你调用它，传递一个参数。这个参数传递没有什么特别之处:它的工作方式与其他任何地方都一样。在类似函数的东西中，使用变量 x 获取调用者传递的值。使用名称 sum 可以获得捕获的 int 对象，无论它的值是多少。从函数返回时捕获的 int 仍然被捕获，因此稍后调用类似函数的东西会在 sum 中看到更新的 int。

通过调用 adder 两次，您会得到两个略有不同的类似函数的东西:每个都有自己的私有(private) sum。这两个私有(private) sum 最初都是零。调用您保存在 pos 中的类似函数的东西可以让您获得使用其中之一的函数。调用您在 neg 中保存其值的稍微不同的类似函数的东西可以让您获得使用另一个函数的函数。

---

¹这个“类似函数的东西”和实际函数之间没有真正的区别除了这个特定的类似函数的东西没有调用它的名称。这或多或少意味着拥有一流的功能。

---

如果您遇到可读性问题...

它的原始形式是:

func adder() func(int) int {
    sum := 0
    return func(x int) int {
        sum += x
        return sum
    }
}

让我们用一些类型名称和其他语法更改来重写它，使代码的核心保持不变。首先，让我们起一个意思是 func(int) int 的名字:

type adderClosure func(int) int

然后我们可以用它来重写adder的第一行:

func adder() adderClosure {
    ...
}

现在让我们在 adder 中创建一个局部变量来保存我们要返回的函数。为了明确和冗余，我们可以再次使用这种类型:

    var ret adderClosure // not good style: just for illustration

现在让我们通过这样做将该变量分配给我们的闭包:

    sum := 0
    ret = func(x int) int {
        sum += x
        return sum
    }

然后我们可以return ret 返回闭包。 Here's the complete code on the Go Playground.