- 閉包是功能性自包含模塊,可以在代碼中被傳遞和使用髓棋。 Swift 中的閉包與 C 和Objective-C 中的 blocks 以及其他一些編程語言中的 lambdas 比較相似。
- 閉包可以捕獲和存儲(chǔ)其所在上下文中任意常量和變量的引用。 這就是所謂的閉合并包裹著這些常量和變量,俗稱閉包呀癣。Swift 會(huì)為您管理在捕獲過程中涉及到的內(nèi)存操作凡壤。
- 在 函數(shù) 章節(jié)中介紹的全局和嵌套函數(shù)實(shí)際上也是特殊的閉包,閉包采取如下三種形式之一:
- 全局函數(shù)是一個(gè)有名字但不會(huì)捕獲任何值的閉包
- 嵌套函數(shù)是一個(gè)有名字并可以捕獲其封閉函數(shù)域內(nèi)值的閉包
- 閉包表達(dá)式是一個(gè)利用輕量級(jí)語法所寫的可以捕獲其上下文中變量或常量值的沒有名字的閉包
閉包表達(dá)式
閉包表達(dá)式是一種利用簡潔語法構(gòu)建內(nèi)聯(lián)閉包的方式极阅。 閉包表達(dá)式??供了一些語法優(yōu)化,使得撰寫閉包變得簡單明了。 下面閉包表達(dá)式的例子通過使用幾次迭代展示了 sort 函數(shù)定義和語法優(yōu)化的方式疗涉。 每一次迭代都用更簡潔的方式??述了相同的功能。
sort 函數(shù)
下面的閉包表達(dá)式示例使用 sort 函數(shù)對(duì)一個(gè) String 類型的數(shù)組進(jìn)行字母逆序排序,以下是初始數(shù)組值:
let names = ["Chris", "Alex", "Ewa", "Barry", "Daniella"]
排序函數(shù)有兩個(gè)參數(shù):
- 已知類型值的數(shù)組吟秩。
- 一個(gè)閉包,采用相同類型的數(shù)組的內(nèi)容的兩個(gè)參數(shù),并返回一個(gè)布爾值來表示是否將第一個(gè)值在排序時(shí)放到第二個(gè)值的前面或是后面咱扣。如果第一個(gè)值應(yīng)該出現(xiàn)第二個(gè)值之前,閉包需要返回 true,否則返回 false。
func backwards(s1: String, s2: String) -> Bool {2. return s1 > s2.
}
var reversed = sort(names, backwards)5.
// reversed is equal to ["Ewa", "Daniella", "Chris", "Barry", "Alex"]
閉包表達(dá)式語法
閉包表達(dá)式語法有如下一般形式:
{ (parameters) -> returnType in
statements
}
下面的例子展示了之前 backwards 函數(shù)對(duì)應(yīng)的閉包表達(dá)式版本的代碼:
reversed = sort(names, { (s1: String, s2: String) -> Bool in
return s1 > s2
})
根據(jù)上下文推斷類型
因?yàn)榕判蜷]包是作為函數(shù)的參數(shù)進(jìn)行傳入的,Swift 可以推斷其參數(shù)和返回值的類型涵防。 sort期望第二個(gè)參數(shù)是類型為 (String, String) -> Bool 的函數(shù),因此實(shí)際上 String, String 和Bool 類型并不需要作為閉包表達(dá)式定義中的一部分闹伪。 因?yàn)樗械念愋投伎梢员徽_推斷,返回箭頭 (->) 和 圍繞在參數(shù)周圍的括號(hào)也可以被省略:
reversed = sort(names, { s1, s2 in return s1 > s2 } )
單行表達(dá)式閉包可以省略 return
reversed = sort(names, { s1, s2 in s1 > s2 } )
參數(shù)名簡寫
如果您在閉包表達(dá)式中使用參數(shù)名稱簡寫,您可以在閉包參數(shù)列表中省略對(duì)其的定義,并且對(duì)應(yīng)參數(shù)名稱簡寫的類型會(huì)通過函數(shù)類型進(jìn)行推斷。 in 關(guān)鍵字也同樣可以被省略,因?yàn)榇藭r(shí)閉包表達(dá)式
reversed = sort(names, { $0 > $1 } )
//$0 和 $1 表示閉包中第一個(gè)和第二個(gè) String 類型的參數(shù)武学。
運(yùn)算符函數(shù)
實(shí)際上還有一種更簡短的方式來撰寫上面例子中的閉包表達(dá)式祭往。 Swift 的 String 類型定義了關(guān)于大于號(hào) (>) 的字符串實(shí)現(xiàn),讓其作為一個(gè)函數(shù)接受兩個(gè) String 類型的參數(shù)并返回Bool 類型的值。而這正好與 sort 函數(shù)的第二個(gè)參數(shù)需要的函數(shù)類型相符合火窒。因此,您可以簡單地傳遞一個(gè)大于號(hào),Swift 可以自動(dòng)推斷出您想使用大于號(hào)的字符串函數(shù)實(shí)現(xiàn):
reversed = sort(names, >)
Trailing 閉包
如果您需要將一個(gè)很長的閉包表達(dá)式作為最后一個(gè)參數(shù)傳遞給函數(shù),可以使用 trailing 閉包來增強(qiáng)函數(shù)的可讀性。
Trailing 閉包是一個(gè)書寫在函數(shù)括號(hào)之外(之后)的閉包表達(dá)式,函數(shù)支持將其作為最后一個(gè)參數(shù)調(diào)用驮肉。
func someFunctionThatTakesAClosure(closure: () -> ()) {
// 函數(shù)體部分
}
// 以下是不使用 trailing 閉包進(jìn)行函數(shù)調(diào)用
someFunctionThatTakesAClosure({
// 閉包主體部分
})// 以下是使用 trailing 閉包進(jìn)行函數(shù)調(diào)用
someFunctionThatTakesAClosure() {
// 閉包主體部分
}
捕獲 (Caputure)
閉包可以在其定義的上下文中捕獲常量或變量熏矿。 即使定義這些常量和變量的原作用域已經(jīng)不存在,閉包仍然可以在閉包函數(shù)體內(nèi)引用和修改這些值。
Swift 最簡單的閉包形式是嵌套函數(shù),也就是定義在其他函數(shù)體內(nèi)的函數(shù)离钝。 嵌套函數(shù)可以捕獲其外部函數(shù)所有的參數(shù)以及定義的常量和變量票编。
下例為一個(gè)叫做 makeIncrementor 的函數(shù),其包含了一個(gè)叫做 incrementor 嵌套函數(shù)。嵌套函數(shù) incrementor 從上下文中捕獲了兩個(gè)值,runningTotal 和 amount卵渴。 之后makeIncrementor 將 incrementor 作為閉包返回慧域。 每次調(diào)用 incrementor 時(shí),其會(huì)以amount 作為增量增加 runningTotal 的值。
func makeIncrementor(forIncrement amount: Int) -> () -> Int {
var runningTotal = 0
func incrementor() -> Int {
runningTotal += amount
return runningTotal
}
return incrementor
incrementor 函數(shù)并沒有獲取任何參數(shù),但是在函數(shù)體內(nèi)訪問了 runningTotal 和 amount變量浪读。這是因?yàn)槠渫ㄟ^捕獲在包含它的函數(shù)體內(nèi)已經(jīng)存在的 runningTotal 和 amount 變量
而實(shí)現(xiàn)昔榴。
由于沒有修改 amount 變量,incrementor 實(shí)際上捕獲并存儲(chǔ)了該變量的一個(gè)副本,而該副本隨著 incrementor 一同被存儲(chǔ)。
然而,因?yàn)槊看握{(diào)用該函數(shù)的時(shí)候都會(huì)修改 runningTotal 的值,incrementor 捕獲了當(dāng)前runningTotal 變量的引用,而不是僅僅復(fù)制該變量的初始值碘橘。捕獲一個(gè)引用保證了當(dāng)makeIncrementor 結(jié)束時(shí)候并不會(huì)消失,也保證了當(dāng)下一次執(zhí)行 incrementor 函數(shù)時(shí),runningTotal 可以繼續(xù)增加互订。
下面為一個(gè)使用 makeIncrementor 的例子:
let incrementByTen = makeIncrementor(forIncrement: 10)
該例子定義了一個(gè)叫做 incrementByTen 的常量,該常量指向一個(gè)每次調(diào)用會(huì)加 10 的incrementor 函數(shù)。 調(diào)用這個(gè)函數(shù)多次可以得到以下結(jié)果:
incrementByTen()
// 返回的值為10
incrementByTen()
// 返回的值為205. incrementByTen()
// 返回的值為30
如果您創(chuàng)建了另一個(gè) incrementor,其會(huì)有一個(gè)屬于自己的獨(dú)立的 runningTotal 變量的引用痘拆。 下面的例子中,incrementBySevne 捕獲了一個(gè)新的 runningTotal 變量,該變量和incrementByTen 中捕獲的變量沒有任何聯(lián)系:
let incrementBySeven = makeIncrementor(forIncrement: 7)
incrementBySeven()3. // 返回的值為74. incrementByTen()
// 返回的值為40