Swift3.0P1 语法指南——闭包

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Closures.html#//apple_ref/doc/uid/TP40014097-CH11-ID94

1、闭包(Closures

闭包是独立的函数代码块,可以在代码中被传递和使用。Swift中的闭包与C语言和Objective-C语言中的block、其他语言中的lambda类似。

闭包可以从上下文中捕获和存储任意变量和常量的引用。这就是所谓的闭合并包裹这些变量和常量。Swift会处理捕获过程中的内存管理。

全局函数和嵌套函数实际上就是闭包的特殊情况。

闭包采取如下三种形式之一:

- 全局函数是一种有名字但不捕获任何值的闭包

- 嵌套函数是一种有名字并且能捕获封闭的函数作用域内的值的闭包。

- 闭包表达式是以轻量级语法写成的、没有名字的、并且能够捕获其上下文的值的闭包。

2、闭包表达式

闭包表达式拥有简洁的风格,在一般场景下可以进行语法优化。

Swift提供了一个sorted(isOrderedBefore:) 方法,其根据用于排序的闭包的返回值为数组的值进行排序。

例如,数组初始化如下:

1 let names = ["Chris", "Alex", "Ewa", "Barry", "Daniella"]

sorted(isOrderedBefore:)方法接收一个排序闭包作为参数,该闭包则接收数组的其中两个元素作为参数并返回一个Bool型的值来决定比较的两个元素哪一个排在前面。

因此,用于排序的闭包的函数类型是:(String, String) -> Bool

则用一般函数的形式写,则是:

1 func backward(_ s1: String, _ s2: String) -> Bool {
2     return s1 > s2
3 }
4 var reversed = names.sorted(isOrderedBefore: backward)
5 // reversed is equal to ["Ewa", "Daniella", "Chris", "Barry", "Alex"]

如果第一个字符串 (s1) 大于第二个字符串 (s2),backward函数返回true,表示在新的数组中s1应该出现在s2前。

对于字符串中的字符来说,“大于” 表示 “按照字母顺序较晚出现”。 这意味着字母"B"大于字母"A",字符串"Tom"大于字符串"Tim"

这个函数将进行字母逆序排序,"Barry"将会排在"Alex"之前。

(1)表达式

用闭包表达式来写这个排序闭包,可以简化成:

1 reversedNames = names.sorted(isOrderedBefore: { (s1: String, s2: String) -> Bool in
2 return s1 > s2
3 })

下面是V2.1的对应方法:

1 reversed = names.sort({ (s1: String, s2: String) -> Bool in
2     return s1 > s2
3 })

闭包的类型为(String, String) -> Bool,闭包的函数体部分由in关键字引出。

由于上面的例子中,函数体部分较短,闭包可以写成:

1 reversedNames = names.sorted(isOrderedBefore: { (s1: String, s2: String) -> Bool in return s1 > s2 } )

(2)从上下文中推断类型

由于排序闭包是用来作为参数传递给sorted(isOrderedBefore:) 方法的,Swift就能根据上下文推断出闭包的参数类型和返回值类型。

sorted(isOrderedBefore:)方法被String数组调用,则闭包的类型一定是(String, String) -> Bool。则闭包中的参数类型和返回值类型可以忽略不写:

1 reversedNames = names.sorted(isOrderedBefore: { s1, s2 in return s1 > s2 } )

实际上任何情况下,通过内联闭包表达式构造的闭包作为参数传递给函数时,都可以推断出闭包的参数和返回值类型,这意味着您几乎不需要利用完整格式构造任何内联闭包。

(3)从单表达式隐式返回

单表达式的闭包可以忽略return关键字,隐式返回单行表达式的结果。

1 reversedNames = names.sorted(isOrderedBefore: { s1, s2 in s1 > s2 } )

(4)参数名称缩写

Swift 自动为内联函数提供了参数名称缩写功能,您可以直接通过$0,$1,$2来顺序调用闭包的参数。

如果在闭包表达式中使用参数名称缩写,可以在闭包参数列表中省略对其的定义,并且对应参数名称缩写的类型会通过函数类型进行推断。 in关键字也同样可以被省略:

1 reversed = names.sorted(isOrderedBefore: { $0 > $1 } )

其中,$0和$1分别对应第一个和第二个String参数

(5)运算符函数

Swift 的String类型定义了关于大于号 (>) 的字符串实现,其作为一个函数接受两个String类型的参数并返回Bool类型的值。 而这正好与sorted(isOrderedBefore:)需要的方法的第二个参数需要的函数类型相符合。 因此,可以简单地传递一个>,Swift可以自动推断出您想使用>的字符串函数实现:

1 reversed = names.sorted(isOrderedBefore: >)

3、尾随闭包(Trailing Closures)

如果需要将一个很长的闭包表达式作为最后一个参数传递给函数,可以使用尾随闭包来增强函数的可读性。 尾随闭包是一个书写在函数括号之后的闭包表达式,函数支持将其作为最后一个参数调用。

 1 func someFunctionThatTakesAClosure(closure: () -> Void) {
 2     // function body goes here
 3 }
 4
 5 // here‘s how you call this function without using a trailing closure:
 6
 7 someFunctionThatTakesAClosure(closure: {
 8     // closure‘s body goes here
 9 })
10
11 // here‘s how you call this function with a trailing closure instead:
12
13 someFunctionThatTakesAClosure() {
14     // trailing closure‘s body goes here
15 }

用尾随闭包,可以将上面的排序闭包写成:

1 reversed = names.sorted() { $0 > $1 }

如果闭包表达式是函数或方法的唯一参数,则可以省略括号:

1 reversed = names.sorted { $0 > $1 }

当闭包非常长以至于不能在一行中进行书写时,尾随闭包变得非常有用。

例如,Swift 的数组有一个map方法,其获取一个闭包表达式作为其唯一参数。 对于数组中的每一个元素,调用一次这个闭包函数,就会返回与该元素所映射的值(可能是不同类型的值)。 具体的映射方式和返回值类型由闭包来指定。

当给数组的每个元素提供闭包函数后,map方法将返回一个新的数组,数组中包含了与原数组一一对应的映射后的值。

下面的例子中,将用map(_:)方法将Int数组映射为String数组。

1 let digitNames = [
2     0: "Zero", 1: "One", 2: "Two",   3: "Three", 4: "Four",
3     5: "Five", 6: "Six", 7: "Seven", 8: "Eight", 9: "Nine"
4 ]
5 let numbers = [16, 58, 510]

现在,传递一个尾随闭包给numbersmap方法来创建对应的字符串版本数组:

 1 let strings = numbers.map {
 2 (number) -> String in
 3 var number = number
 4 var output = ""
 5 while number > 0 {
 6 output = digitNames[number % 10]! + output
 7 number /= 10
 8 }
 9 return output
10 }
11 // strings is inferred to be of type [String]
12 // its value is ["OneSix", "FiveEight", "FiveOneZero"]

V2.1:

 1 let strings = numbers.map {
 2     (var number) -> String in
 3     var output = ""
 4     while number > 0 {
 5         output = digitNames[number % 10]! + output
 6         number /= 10
 7     }
 8     return output
 9 }
10 // strings is inferred to be of type [String]
11 // its value is ["OneSix", "FiveEight", "FiveOneZero"]

map在数组中为每一个元素调用了闭包表达式。 不需要指定闭包的输入参数number的类型,因为可以通过要映射的数组类型进行推断。

闭包表达式在每次被调用的时候创建了一个字符串并返回。 其使用求余运算符 (number % 10) 计算最后一位数字并利用digitNames字典获取所映射的字符串。

注意:在字典中用下标取值时取出的是optional类型。由于这里可以保证number % 10是一个有效的下标,所以用了强制解绑(!)。

4、捕获值

闭包可以在其定义的上下文中捕获常量或变量。 即使定义这些常量和变量的作用域已经不存在,闭包仍然可以在闭包函数体内引用和修改这些值。

在Swift中,最简单的捕获值的闭包形式就是嵌套函数。 嵌套函数可以捕获其外部函数所有的参数以及定义的常量和变量。

下例为一个函数makeIncrementor,它包含了一个嵌套函数incrementor。 嵌套函数incrementor从上下文中捕获了两个值,runningTotalamount。 之后makeIncrementorincrementor作为闭包返回。 每次调用incrementor时,其会以amount作为增量增加runningTotal的值。

1 func makeIncrementer(forIncrement amount: Int) -> () -> Int {
2     var runningTotal = 0
3     func incrementer() -> Int {
4         runningTotal += amount
5         return runningTotal
6     }
7     return incrementer
8 }

makeIncrementer的返回类型是 () -> Int。

makeIncrementer函数定义了一个整型变量runningTotal(初始为0) 用来存储当前跑步总数。 该值通过incrementor返回。

makeIncrementor有一个Int类型的参数,其外部命名为forIncrement, 内部命名为amount,表示每次incrementor被调用时runningTotal将要增加的量。

incrementor函数用来执行实际的增加操作,单独来看这个函数:

1 func incrementer() -> Int {
2     runningTotal += amount
3     return runningTotal
4 }

incrementer函数并没有任何参数,但是在函数体内访问了runningTotalamount变量。这是因为其捕获在包含它的函数体内已经存在的runningTotalamount变量的引用(reference)。捕捉了变量引用,保证了runningTotalamount变量在调用完makeIncrementer后不会消失,并且保证了在下一次执行incrementer函数时,runningTotal可以继续增加。

下面,来使用makeIncrementer:

1 let incrementByTen = makeIncrementer(forIncrement: 10)

定义了一个叫做incrementByTen的常量,该常量指向一个每次调用会加10的incrementor函数。 调用这个函数多次可以得到以下结果:

1 incrementByTen()
2 // returns a value of 10
3 incrementByTen()
4 // returns a value of 20
5 incrementByTen()
6 // returns a value of 30

创建了另一个incrementor,其会有一个属于自己的独立的runningTotal变量的引用:

1 let incrementBySeven = makeIncrementer(forIncrement: 7)
2 incrementBySeven()
3 // returns a value of 7

调用incrementByTen不会影响incrementBySeven中的runningTotal变量:

1 incrementByTen()
2 // returns a value of 40

注意:如果把闭包赋值给一个类实例的属性,并且该闭包通过指向该实例或其成员来捕获该实例,将创建一个在闭包和实例间的强引用环。 Swift 使用捕获列表来打破这种强引用环。

5、闭包是一种引用类型

如果将闭包赋值给了两个不同的常量/变量,两个值都会指向同一个闭包:

1 let alsoIncrementByTen = incrementByTen
2 alsoIncrementByTen()
3 // returns a value of 50

6、非逃逸闭包(Nonescaping Closures)

一个闭包被当做一个参数传递给一个函数,但这个闭包在函数返回后仍然被调用,这就叫做这个闭包逃离了这个函数

在定义一个需要把闭包作为参数的函数时,可以在参数类型前加上@noescape标记,提示这个闭包不允许逃离函数(不能在函数返回后被调用)。

让闭包带着@noescape标记,可以让编译器在了解闭包的生命周期的情况下做更多的aggressive optimizations。

1 func someFunctionWithNonescapingClosure(closure: @noescape () -> Void) {
2     closure()
3 }

一种闭包可以逃离函数的方式是,在函数体外将闭包定义为一个变量。例如,很多开始异步操作的函数都接收一个闭包参数作为结束句柄(completion handler),函数在开始这个异步操作后就返回了,但是这个闭包是在异步操作结束之后才被调用,这种情况下,闭包就需要逃离函数(滞后调用)。

1 var completionHandlers: [() -> Void] = []
2 func someFunctionWithEscapingClosure(completionHandler: () -> Void) {
3     completionHandlers.append(completionHandler)
4 }

someFunctionWithEscapingClosure(_:)函数接收一个闭包参数,并把这个闭包加到了定义在函数体外的闭包数组中。如果你在这里用了@noescape标记,就会产生编译错误。

将闭包标记为@noescape,可以在闭包中直接引用到self:

 1 class SomeClass {
 2     var x = 10
 3     func doSomething() {
 4         someFunctionWithNonescapingClosure { x = 200 }
 5         someFunctionWithEscapingClosure { self.x = 100 }
 6     }
 7 }
 8 let instance = SomeClass()
 9 instance.doSomething()
10 print(instance.x)
11 // Prints "200"
12 completionHandlers.first?()
13 print(instance.x)
14 // Prints "100"

7、自动闭包(Autoclosures)

自动闭包是一种自动创建的闭包,其用于绑定一个表达式并将其作为参数传递给函数。自动闭包并不接收任何参数,当它被调用时,它返回绑定在其内部的表达式的值。

通常会调用接收自动闭包的函数,很少去实现这种函数。

例如,assert(condition:message:file:line:)函数接收自动闭包作为condition和message参数。其中,只有在Debug情况下才考虑condition参数,而只有当condition等于false的时候,才执行message。

自动闭包可以允许你惰性求值,内部代码直到调用闭包才会执行。惰性求值可以让你控制何时执行,这在计算消耗很大的情况下非常有用。

 1 var customersInLine = ["Chris", "Alex", "Ewa", "Barry", "Daniella"]
 2 print(customersInLine.count)
 3 // prints "5"
 4
 5 let customerProvider = { customersInLine.removeAtIndex(0) }
 6 print(customersInLine.count)
 7 // prints "5"
 8
 9 print("Now serving \(customerProvider())!")
10 // prints "Now serving Chris!"
11 print(customersInLine.count)
12 // prints "4"

直到闭包真正被调用,customersInLine的第一个元素才被移除。需要注意的是:customerProvider的类型不是String,而是()->String。

传递一个闭包作为函数的参数,同样有惰性求值的效果:

1 // customersInLine is ["Alex", "Ewa", "Barry", "Daniella"]
2 func serve(customer customerProvider: () -> String) {
3     print("Now serving \(customerProvider())!")
4 }
5 serve(customer: { customersInLine.remove(at: 0) } )
6 // Prints "Now serving Alex!"

下面是另一版本的serve函数,通过@autoclosure,自动将传入的表达式转换成自动闭包。

1 // customersInLine is ["Ewa", "Barry", "Daniella"]
2 func serve(customer customerProvider: @autoclosure () -> String) {
3     print("Now serving \(customerProvider())!")
4 }
5 serve(customer: customersInLine.remove(at: 0))
6 // Prints "Now serving Ewa!"

@autoclosure属性隐含了@noescape属性,这意味着,这个闭包只能用在函数内部。如果想让闭包能够逃离当前的作用域,在函数返回后闭包还能被调用,则使用 @autoclosure(escaping)属性:

 1 // customersInLine is ["Barry", "Daniella"]
 2 var customerProviders: [() -> String] = []
 3 func collectCustomerProviders(_ customerProvider: @autoclosure(escaping) () -> String) {
 4     customerProviders.append(customerProvider)
 5 }
 6 collectCustomerProviders(customersInLine.remove(at: 0))
 7 collectCustomerProviders(customersInLine.remove(at: 0))
 8 print("Collected \(customerProviders.count) closures.")
 9 // Prints "Collected 2 closures."
10 for customerProvider in customerProviders {
11     print("Now serving \(customerProvider())!")
12 }
13 // Prints "Now serving Barry!"
14 // Prints "Now serving Daniella!"

在上面的代码中,没有将闭包用作customer参数进行调用,而是将闭包添加到customerProviders数组,这个闭包数组是在函数外部声明的,这意味着,数组中的闭包可以在函数返回后执行。所以,customer参数的值也就可以逃离函数的作用域。

时间: 2024-10-12 22:18:25

Swift3.0P1 语法指南——闭包的相关文章

Swift3.0P1 语法指南——属性

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Properties.html#//apple_ref/doc/uid/TP40014097-CH14-ID254 1.属性 属性将值跟特定的类.结构或枚举关联.存储属性(Stored properties)存储变量或常量的值,作为实例的一部分,而计算属性(computed

Swift3.0P1 语法指南——方法

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Methods.html#//apple_ref/doc/uid/TP40014097-CH15-ID234 1.方法 方法是和特定类型关联的函数.类.结构体和枚举都能定义实例方法(instance methods),也能定义类型方法( type methods). 2.实例

Swift3.0P1 语法指南——基本操作符

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/BasicOperators.html#//apple_ref/doc/uid/TP40014097-CH6-ID60 关于基本操作符 Swift支持大多数的标准C操作符,也改进了其中一些能力以避免常见的编写错误. 例如,等号=并不返回一个值,以避免想用==时发生误写.运算符

Swift3.0P1 语法指南——枚举

原档: https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Enumerations.html#//apple_ref/doc/uid/TP40014097-CH12-ID145 枚举定义了一个普通类型的一组相关值,使你可以在代码中以一种安全的方式来使用这些值. 如果你熟悉 C 语言,你就会知道,在 C 语言中枚举将枚举名和一个整型

Swift3.0P1 语法指南——函数

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Functions.html#//apple_ref/doc/uid/TP40014097-CH10-ID158 函数是完成指定任务的独立代码块. Swift中的函数都有对应的类型,由参数类型和返回值类型共同组成.你可以像使用其他类型一样来使用函数类型,因此,可以将函数作为函

Swift3.0P1 语法指南——下标

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Subscripts.html#//apple_ref/doc/uid/TP40014097-CH16-ID305 1.下标(Subscript) 类.结构体和枚举都可以定义下标,这是一种访问集合类型.列表或者队列的成员元素的简写方式.你可以用下标来设置和取出对应的值,而不必

Swift3.0P1 语法指南——控制流

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/ControlFlow.html#//apple_ref/doc/uid/TP40014097-CH9-ID120 1.For循环 (1)for in 使用for-in来遍历一个集合里的元素. 1 for index in 1...5 { 2 print("\(index)

Swift3.0P1 语法指南——集合类型

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/CollectionTypes.html#//apple_ref/doc/uid/TP40014097-CH8-ID105 Swift提供三种原始的集合类型:数组.集合.字典,这三种类型在使用时key和value的类型都是确定的,意味着只有类型对应的元素才能保存到相应的集合中

Swift2.1 语法指南——闭包

原档:https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Closures.html#//apple_ref/doc/uid/TP40014097-CH11-ID94 1.闭包(Closures) 闭包是独立的函数代码块,可以在代码中被传递和使用.Swift中的闭包与C语言和Objective-C语言中的block.其他语言中的la