1. 引言

閉包是編程語言中的一個(gè)重要概念，它允許函數(shù)不僅僅是獨(dú)立的代碼塊，還可以攜帶數(shù)據(jù)和狀態(tài)。閉包的特點(diǎn)是可以捕獲并保持對(duì)外部變量的引用，使函數(shù)值具有狀態(tài)和行為，可以在多次調(diào)用之間保留狀態(tài)。

本文將深入探討閉包的定義、用途和注意事項(xiàng)，以及如何正確使用閉包。

2. 什么是閉包

閉包是一個(gè)函數(shù)值，它引用了在其外部定義的一個(gè)或多個(gè)變量。這些變量被稱為自由變量，它們?cè)陂]包內(nèi)部被綁定到函數(shù)值，因此閉包可以訪問和操作這些變量，即使在它們的外部函數(shù)已經(jīng)執(zhí)行完畢。

閉包的關(guān)鍵特點(diǎn)是它可以捕獲并保持對(duì)外部變量的引用，這使得函數(shù)值具有狀態(tài)和行為，可以在多次調(diào)用之間保留狀態(tài)。因此，閉包允許函數(shù)不僅僅是獨(dú)立的代碼塊，還可以攜帶數(shù)據(jù)和狀態(tài)。以下是一個(gè)簡單的示例，說明了閉包如何綁定數(shù)據(jù)：

func makeCounter() func() int {
    count := 0 // count 是一個(gè)自由變量，被閉包捕獲并綁定

    // 返回一個(gè)閉包函數(shù)，它引用并操作 count
    increment := func() int {
        count++
        return count
    }

    return increment
}

func main() {
    counter := makeCounter()

    fmt.Println(counter()) // 輸出 1
    fmt.Println(counter()) // 輸出 2
    fmt.Println(counter()) // 輸出 3
}

在這個(gè)示例中，makeCounter 函數(shù)返回一個(gè)閉包函數(shù) increment，該閉包函數(shù)引用了外部的自由變量 count。每次調(diào)用 counter 閉包函數(shù)時(shí)，它會(huì)增加 count 變量的值，并返回新的計(jì)數(shù)。這個(gè)閉包綁定了自由變量 count，使其具有狀態(tài)，并且可以在多次調(diào)用之間保留計(jì)數(shù)的狀態(tài)。這就是閉包如何綁定數(shù)據(jù)的一個(gè)示例。

3. 何時(shí)使用閉包

閉包最開始的用途是減少全局變量的使用，比如設(shè)我們有多個(gè)獨(dú)立的計(jì)數(shù)器，每個(gè)計(jì)數(shù)器都能夠獨(dú)立地計(jì)數(shù)，并且不需要使用全局變量。我們可以使用閉包來實(shí)現(xiàn)這個(gè)目標(biāo)：

func createCounter() func() int {
   count := 0 // 閉包內(nèi)的局部變量

   // 返回一個(gè)閉包函數(shù)，用于增加計(jì)數(shù)
   increment := func() int {
       count++
       return count
   }

   return increment
}

func main() {
   counter := createCounter()
   fmt.Println(counter()) // 輸出 1
   fmt.Println(counter()) // 輸出 2
}

在這個(gè)示例中，createCounter 函數(shù)返回一個(gè)閉包函數(shù) increment，它捕獲了局部變量 count。每次調(diào)用 increment 時(shí)，它會(huì)增加 count 的值，并返回新的計(jì)數(shù)。這里使用閉包隱式傳遞共享變量，而不是依賴全局變量。

但是隱蔽的共享變量，帶來的后果就是不夠清晰，不夠直接。而且相對(duì)于在行為上附加數(shù)據(jù)的編程習(xí)慣:

func createCounter() func() int {
    count := 0 // 閉包內(nèi)的局部變量
    
    // 在該行為上附加數(shù)據(jù)，附加了count的數(shù)據(jù)
    increment := func() int {
        count++
        return count
    }

    return increment
}

我們更習(xí)慣的是在數(shù)據(jù)上附加行為，也就是傳統(tǒng)面向?qū)ο蟮姆绞?，這種方式相對(duì)于閉包更加簡單清晰，更容易理解:

type Counter struct{
    counter int
}
func (c *Counter) increment() int{
    c.count++
    return c.counter
}

因此，如果不是真的有必要，我們還是避免使用閉包這個(gè)特性，除非其真的能夠提高代碼的質(zhì)量，更容易維護(hù)和開發(fā)，那我們才去使用該特性，這個(gè)就需要我們?cè)O(shè)計(jì)時(shí)去權(quán)衡。

4. 閉包的使用有什么注意事項(xiàng)

4.1 多個(gè)閉包共享同一局部變量

當(dāng)多個(gè)閉包共享同一局部變量時(shí)，它們會(huì)訪問并修改同一個(gè)變量，此時(shí)這些閉包對(duì)局部變量的修改都是互相影響的，此時(shí)需要特別注意，避免出現(xiàn)競態(tài)條件:

func getClosure() (func(),func()){
   localVar := 0 // 局部變量
   // 定義并返回兩個(gè)閉包，它們引用同一個(gè)局部變量
   closure1 := func() {
      localVar++
      fmt.Printf("Closure 1: %d\n", localVar)
   }
   closure2 := func() {
      localVar += 2
      fmt.Printf("Closure 2: %d\n", localVar)
   }
   return closure1, closure2
}

func main() {
   f, f2 := outer()
   f()
   f2()
}

此時(shí)closure1 和 closure2 是會(huì)被相互影響的，所以如果遇到這種情況，我們應(yīng)該考慮使用合適的同步機(jī)制，來保證線程安全。

4.2 避免循環(huán)變量陷阱

循環(huán)變量陷阱通常發(fā)生在使用閉包時(shí)，閉包捕獲了循環(huán)變量的當(dāng)前值，而不是在閉包執(zhí)行時(shí)的值。比如下面的示例:

package main

import "fmt"

func main() {
    // 創(chuàng)建一個(gè)字符串?dāng)?shù)組
    names := []string{"Alice", "Bob", "Charlie"}

    // 定義一個(gè)存儲(chǔ)閉包的切片
    var greeters []func() string

    // 錯(cuò)誤的方式（會(huì)導(dǎo)致循環(huán)變量陷阱）
    for _, name := range names {
        // 創(chuàng)建閉包，捕獲循環(huán)變量 name
        greeter := func() string {
            return "Hello, " + name + "!"
        }
        greeters = append(greeters, greeter)
    }

    // 調(diào)用閉包
    for _, greeter := range greeters {
        fmt.Println(greeter())
    }

    fmt.Println()
}

在上面的示例中，我們有一個(gè)字符串切片 names 和一個(gè)存儲(chǔ)閉包的切片 greeters。我們首先嘗試使用錯(cuò)誤的方式來創(chuàng)建閉包，直接在循環(huán)中捕獲循環(huán)變量 name。這樣做會(huì)導(dǎo)致所有的閉包都捕獲了相同的 name 變量，因此最后調(diào)用閉包時(shí)，它們都返回相同的結(jié)果，如下:

Hello, Charlie!
Hello, Charlie!
Hello, Charlie!

解決這個(gè)問題，可以在循環(huán)內(nèi)部創(chuàng)建一個(gè)局部變量，將循環(huán)變量的值賦給局部變量，然后在閉包中引用局部變量。這樣可以確保每個(gè)閉包捕獲的是不同的局部變量，而不是共享相同的變量。以下是一個(gè)示例說明：

package main

import "fmt"

func main() {
    // 創(chuàng)建一個(gè)字符串?dāng)?shù)組
    names := []string{"Alice", "Bob", "Charlie"}

    // 定義一個(gè)存儲(chǔ)閉包的切片
    var greeters []func() string
    // 正確的方式（使用局部變量）
    for _, name := range names {
        // 創(chuàng)建局部變量，賦值給閉包
        localName := name
        greeter := func() string {
            return "Hello, " + localName + "!"
        }
        greeters = append(greeters, greeter)
    }

    // 再次調(diào)用閉包
    for _, greeter := range greeters {
        fmt.Println(greeter())
    }
}

創(chuàng)建一個(gè)局部變量 localName 并將循環(huán)變量的值賦給它，然后在閉包中引用 localName。這確保了每個(gè)閉包捕獲的是不同的局部變量，最終可以得到正確的結(jié)果。

Hello, Alice!
Hello, Bob!
Hello, Charlie!

5. 總結(jié)

閉包允許函數(shù)捕獲外部變量并保持狀態(tài)，用于封裝數(shù)據(jù)和行為。但是閉包的這種特性是可以通過定義對(duì)象來間接實(shí)現(xiàn)的，因此使用閉包時(shí)，需要權(quán)衡代碼的可讀性和性能，并確保閉包的使用能夠提高代碼的質(zhì)量和可維護(hù)性。

同時(shí)，在使用閉包時(shí)，還有一些注意事項(xiàng)，需要注意多個(gè)閉包共享同一局部變量可能會(huì)相互影響，應(yīng)謹(jǐn)慎處理并發(fā)問題，同時(shí)避免循環(huán)變量陷阱。

基于以上內(nèi)容，便是我對(duì)閉包的理解，希望對(duì)你有所幫助。

附加信息： 文章已放在 GitHub 倉庫 中，有興趣可以了解一下。

本文由博客一文多發(fā)平臺(tái) OpenWrite 發(fā)布！