結(jié)論:
閉包函數(shù)可以直接引用外層代碼定義的變量,
但是甚亭,注意贷币,閉包函數(shù)里面引用的是變量的地址,
當(dāng)goroutine被調(diào)度時亏狰,改地址的值才會被傳遞給goroutine 函數(shù)役纹。
介紹
go的閉包是一個很有用的東西。但是如果你不了解閉包是如何工作的暇唾,那么他也會給你帶來一堆的bug促脉。這里我會拿出Go In Action這本書的一部分代碼,來說一說在使用閉包的時候可能遇到的坑策州。全部的代碼在github上瘸味。
閉包的坑
首先看一段代碼:
search/search.go
// Launch a goroutine for each feed to find the results.
for _, feed := range feeds {
// Retrieve a matcher for the search.
matcher, exists := matchers[feed.Type]
if !exists {
matcher = matchers["default"]
}
// Launch the goroutine to perform the search.
go func(matcher Matcher, feed *Feed) {
Match(matcher, feed, searchTerm, results)
waitGroup.Done()
}(matcher, feed)
}
這段代碼從30行開始遍歷一個Feed的slice。在for range語句中聲明的feed變量的值在每一個循環(huán)中都不同够挂。之后從32行的代碼在檢查一個某個特定的key值是否有值旁仿,如果不存在則賦一個默認(rèn)值。和feed變量一樣下硕,matcher的值也是每個循環(huán)都不一樣丁逝。
現(xiàn)在我們可以跳到38行到41行。這幾行代碼顯然還是在for range循環(huán)中的梭姓。這里我們定義了一個匿名函數(shù)霜幼,并把這個函數(shù)做為一個goroutine運(yùn)行。這個匿名函數(shù)接受兩個參數(shù)誉尖,第一個是Matcher類型的值罪既,第二個是一個Feed類型的指針。在地41行铡恕,我們可以蛋刀matcher和feed兩個變量被傳入了匿名函數(shù)中琢感。
這個匿名函數(shù)在第39行的實現(xiàn)很有意思。這里我們可以看到一個對Match方法的調(diào)用探熔。這個方法接受4個參數(shù)驹针,如果你仔細(xì)看的話,前兩個參數(shù)就是我們定義匿名函數(shù)聲明的而兩個參數(shù)诀艰。后面的兩個我們沒有在匿名函數(shù)中聲明柬甥。而是作為變量直接在匿名函數(shù)使用了饮六。
search/search.go
// Launch the goroutine to perform the search.
go func(matcher Matcher, feed *Feed) {
Match(matcher, feed, searchTerm, results)
waitGroup.Done()
}(matcher, feed)
}
變量searchTerm和results是定義在閉包外部的。我們可以在匿名函數(shù)內(nèi)部直接使用苛蒲,而不必作為參數(shù)傳入后再使用卤橄。這里就會有一個問題:我們?yōu)槭裁匆炎兞縨atcher和feed作為參數(shù)傳入而其他的兩個不是呢?
我在一開始就指出臂外,matcher和feed兩個變量的值是如何在每一個for range循環(huán)中改變的窟扑。searchTerm和results的值不會隨著循環(huán)而改變,他們的值在每一個goroutine的生命周期中都是常量漏健。當(dāng)然嚎货,這個goroutine就是使用的匿名函數(shù)。那么漾肮,為什么要這么做呢厂抖?
當(dāng)我們在匿名函數(shù)閉包中使用一個變量的時候,我們不必在匿名函數(shù)聲明的時候作為參數(shù)傳遞克懊。這個匿名函數(shù)閉包可以直接訪問到定義在其外部的變量忱辅,也就是說對這個變量的修改會在匿名函數(shù)閉包內(nèi)部體現(xiàn)出來,也就是這里的goroutine谭溉。如果我們把matcher和feed變量這樣使用墙懂,而不是把他們作為參數(shù)傳入匿名函數(shù)閉包。那么多數(shù)情況下gotoutine只會處理for range循環(huán)的最后一個值扮念。
在這個例子中损搬,所有的goroutine都會并發(fā)執(zhí)行。for range循環(huán)也許在第一個最多第二個goroutine還在運(yùn)行的時候就運(yùn)行完了柜与,matcher和feed變量只會有最后一次循環(huán)時候的值巧勤。也就是說即使不是全部的goroutine也是大部分的goroutine會處理這些變量的相同的值。這種情況適用于searchTerm和results變量弄匕,因為他們不會在循環(huán)中改變值颅悉。
結(jié)論
幸好我們可以聲明可以接收參數(shù)的匿名函數(shù),這些類型的閉包問題也就引刃而解迁匠。在我們上面的例子中剩瓶,當(dāng)每一個匿名函數(shù)都聲明在for range的作用域內(nèi)的時候,matcher和feed變量的值在作為參數(shù)傳入匿名函數(shù)閉包的時候也就同時被鎖定城丧。在使用閉包訪問外部變量的時候延曙,問問你自己這個變量時候會發(fā)生改變,這樣的改變對閉包的運(yùn)行有什么影響亡哄。
參考資料:
http://devs.cloudimmunity.com/gotchas-and-common-mistakes-in-go-golang/index.html#closure_for_it_vars
http://studygolang.com/articles/7994
http://studygolang.com/articles/4738
http://blog.csdn.net/htyu_0203_39/article/details/50985187
http://studygolang.com/articles/356
http://www.jb51.net/article/74166.htm
http://www.cnblogs.com/yjf512/archive/2012/12/09/2810313.html
https://www.zhihu.com/question/49341044?from=profile_question_card
http://www.jb51.net/article/81813.htm