深入理解Golang 闭包，直通面试

大家好

今天为大家讲解的面试专题是: 闭包。

定义

闭包在计算机科学中的定义是：在函数内部引用了函数内部变量的函数。

看完定义后，我陷入了沉思...确实，如果之前没有接触过闭包或者对闭包不理解的话，这个定义着实有点让人上头。

下面让我们先看几个示例，在了解闭包的实际应用后，再去理解这个定义，就不会那么晦涩难懂了。

示例

Go 语言是通过匿名函数实现闭包的。

func increase() func(int) int {

 sum := 0

 return func(i int) int {

  sum += i

  return sum

 }

}

func main() {

 incr := increase()

 fmt.Println(incr(1))

 fmt.Println(incr(2))

}

输出结果：

$go run main.go

1

3

不难看出，sum变量在increase函数执行完成后并没有被销毁，而是始终保持在了内存，下面我们可以通过go中的相关命令查看变量是否发生逃逸。

$go build -gcflags=-m main.go

# command-line-arguments

./main.go:112:9: can inline increase.func1

./main.go:106:13: inlining call to fmt.Println

./main.go:107:13: inlining call to fmt.Println

./main.go:111:2: moved to heap: sum

./main.go:112:9: func literal escapes to heap

./main.go:106:18: incr(1) escapes to heap

./main.go:106:13: []interface {}{...} does not escape

./main.go:107:18: incr(2) escapes to heap

./main.go:107:13: []interface {}{...} does not escape

<autogenerated>:1: .this does not escape

可以发现 sum变量发生了内存逃逸，从increase()函数的内部变量逃逸到了堆上，保证了其离开increase()函数作用域后始终保持在内存不被销毁。

再看定义

下面我们结合定义：在函数内部引用了函数内部变量的函数，拆解一下上面的这个示例：

//函数内部是指:increase()函数内部

//函数内部变量：sum变量

//函数是指：

//func(i int)int{

//    sum += i

//    return sum

//}

换成本示例的语言即为：

在increase()函数内部定义了一个引用increase()函数内部sum变量的匿名函数func(i int)int{}【有点套娃，道友们多读几遍，揣摩揣摩，其义自见】

从上面的示例中我们可以看出闭包的两个核心作用：

在函数外部访问函数内部变量成为可能
函数内部变量离开其作用域后始终保持在内存中而不被销毁

其他场景下的闭包应用

弄清楚定义后，为了加深我们对闭包的理解，再看两个关于闭包的示例

defer延迟调用与闭包

defer 调用会在当前函数执行结束前才被执行，这些调用被称为延迟调用。defer 中使用的匿名函数也是一个闭包。

func func1() {

 a := 1

 defer func(r int) {

  fmt.Println(r)

 }(a)

 a = a + 100

 fmt.Println(a)

}

func func2() {

 a := 1

 defer func() {

  fmt.Println(a)

 }()

 a = a + 100

 fmt.Println(a)

}

func1输出结果：

$go run main.go

101

1

func2输出结果

$go run main.go

101

101

两个函数的差异在于，func1中的defer定义时就将a=1赋值给了defer，在执行defer函数时执行时用的a是在定义时对a的拷贝并非当前环境变量中的a值，即defer执行的是:

func (r int) {

  fmt.Println(r)

}(1)

而在func2中,在defer定义时并没有完成任何赋值动作，只是注册了在执行完成后调用的函数，使用的a变量是当前环境的变量。

goroutine和闭包

func func2() {

 for i := 0; i < 5; i++ {

  go func() {

   fmt.Println(i)

  }()

 }

}

针对上面的函数输出，很多人会误以为是0，1，2，3，4，5。但实际上多次运行结果并不一致：

$go run main.go

5 3 5 5 5

//或

5 5 5 5 5

//或

3 3 5 5 5

这是因为go在调度协程的时候，时机不定，可能在i等于0-5任一时间点发生调度，输出的结果，取决于此goroutine执行时外部 i 的值为多少。

如果我们在goroutine中加上sleep后，输出结果会怎样呢？

func func2() {

 for i := 0; i < 5; i++ {

  go func() {

   time.Sleep(time.Second)

   fmt.Println(i)

  }()

 }

}

输出结果：

$go run main.go

5 5 5 5 5

这是因为我们在加上sleep后，确保了外部循环执行完成，此时i=5，然后在执行goroutine时，输出结果也为5。

面试点总结

谈谈你对闭包的理解。 PS：对闭包的考察往往是会出几个类似于本文提到的示例，然后让你说出输出结果及原因。

后语

如果大家对本文提到的技术点有任何问题，都可以在评论区进行回复哈，我们共同学习，一起进步！

巴特西