闭包(Closures)

目录

  • 闭包表达式
  • 尾随闭包
  • 值捕获
  • 闭包是引用类型
  • 逃逸闭包

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

  • “全局函数是一个有名字但不会捕获任何值的闭包
  • 嵌套函数是一个有名字并可以捕获其封闭函数域内值的闭包
  • 闭包表达式是一个利用轻量级语法所写的可以捕获其上下文中变量或常量值的匿名闭包”

闭包表达式

sorted方法

Swift标准库提供了名为sorted(by:)的方法,它会根据你所提供的用于排序的闭包函数将已知类型数组中的值进行排序。排序完成后,原数组不会被修改

下面使用sorted(by:)方法,对一个String类型的数组进行字母逆序排序。下面是初始数组:
let names = ["Chris", "Alex", "Ewa", "Barry", "Daniella"]

提供排序闭包函数的一种方式是写一个普通函数,如下:
func backward(_ s1: String, _ s2: String) -> Bool {
    return s1 > s2
}
var reverseNames = names.sorted(by: backward)
// reversedNames 为 ["Ewa", "Daniella", "Chris", "Barry", "Alex"]

但是以这种方式写一个很简单的表达式(a>b)确实太麻烦。可以利用闭包表达式语法构造一个内联排序闭包。

闭包表达式语法

闭包表达式的一般形式:

{ (parameters) -> returnType in
        statements
    }

“闭包的函数体部分由关键字in引入。该关键字表示闭包的参数和返回值类型定义已经完成,闭包函数体即将开始”

**“闭包表达式参数 可以是 in-out 参数,但不能设定默认值。也可以使用具名的可变参数(但是如果可变参数不放在参数列表的最后一位的话,调用闭包的时时编译器将报错。可参考这里)。元组也可以作为参数和返回值。”
**

下面是backward(::)函数对应的闭包表达式版本的代码:

var reverseNames = names.sorted(by: { (s1: String, s2: String) -> Bool
 in return s1 > s2 })

根据上下文推断类型

通过内联闭包表达式构造的闭包作为参数传给函数或方法时,总是能够推断出闭包的参数和返回值的类型。所以闭包在作为函数或方法的参数时,几乎不需要使用完整格式来构造内联闭包。
上面的例子也就可以简化成如下的形式:
var reverseNames = names.sorted(by: { s1, s2 in return s1 > s2 })

单行表达式隐式返回

单行表达式的闭包可以通过省略return关键字来隐式返回单行表达式的结果。上面的例子可以改写为:
var reverseNames = names.sorted(by: { s1, s2 in s1 > s2 })

参数名称缩写

Swift自动为内联闭包提供了参数缩写的功能。可以直接通过调用 $0, $1...来顺序调用闭包的参数。
在闭包表达式中使用参数名称缩写,那么可以在闭包定义中省略参数列表。同时in关键字也可以被省略。此时闭包表达式完全由函数体构成:
var reverseNames = names.sorted(by: { $0 > $1 })

运算符方法

Swift的String类型定义了关于大于号(>)的字符串实现,其作为一个函数接受两个String类型的参数并返回Bool类型的值。所以上述的例子可以简化为:
var reverseNames = strings.sorted(by: >)

尾随闭包

尾随闭包是一个写作函数括号后面的闭包表达式。函数把其当作最后一个参数调用。不用写参数标签。
所以之前的例子可以简写为:
var reverseNames = strings.sorted{ $0 > $1 }

值捕获

闭包可以在其被定义的上下文中捕获常量或变量。及时定义这些常量或变量的作用域已经不存在,闭包仍然可以在其函数体中引用或修改这些值。
Swift中,可以捕获值的闭包的最简单形式就是嵌套函数。嵌套函数可以捕获其外部函数的所有参数及定义的常量和变量。

举个例子:
func makeIncrementer(forIncrement amount: Int) -> () -> Int {
    var runningTotal = 0
    func incrementer() -> Int {
        runningTotal += amount
        return runningTotal
    }
    return incrementer
}

函数makeIncrementer包含了一个名为incrementer的嵌套函数,嵌套函数incrementer从上下文中捕获了两个值:runningTotal 和 amount,捕获这些值后,makeIncrementer将incrementer作为闭包返回。每次调用incrementer时,其会以amount 作为增量增加runningTotal的值。

使用makeIncrementer:
let incrementByTen = makeIncrementer(forIncrement: 10) 
incrementByTen()   //返回值为10
incrementByTen()   //返回值为20
incrementByTen()   //返回值为30
let incrementBySeven = makeIncrementer(forIncrement: 7) 
incrementBySeven()   //返回值为7
incrementBySeven()   //返回值为14
Note:
  • ** 为了优化,如果一个值不会被闭包改变,或者在闭包创建后不会改变,Swift可能会改为捕获并保存对值的拷贝。Swift也会负责被捕获变量的所有内存管理工作,包括释放不在需要的变量。**
  • ** 注意闭包引起的循环引用问题 **

闭包是引用类型

上面的例子中,incrementByTen 和 incrementBySeven 都是常量,但是这些常量指向的闭包仍然可以修改其捕获的变量的值。这是因为函数和闭包都是引用类型。
无论是将函数或闭包赋值给一个常量还是变量,实际上都是将常量或变量的值设置为对应函数或闭包的引用。
上面的例子中,incrementByTen 是一个指向闭包的引用,并非闭包内容本身。

逃逸闭包

当一个闭包作为参数传到一个函数中,但是这个闭包要在函数返回后才能被执行,那么称这个闭包从函数中逃逸。当定义接受闭包作为参数的函数时,可以在参数名之前标注** @escaping **,来表明这个闭包是允许逃逸出这个函数的。
** 将一个闭包标记为@escaping,意味着必须在闭包中显示的引用self。 **

你可能感兴趣的:(闭包(Closures))