Swift-闭包，隐式返回、尾随闭包、值捕获、逃逸闭包、自动闭包

关注

原创最新推荐文章于 2026-09-19 13:24:02 发布 1.4k 阅读 AI 写同款· GEO 优化 ›

Swift ——闭包之前在代码的书写过程中，我们已经或多或少的接触过函数，函数本身也有自己的类型，它由形式参数类型，返回类型组成。如果将函数传递给a变量，那么就可以借助a来调用方法,这里addTwoInts代表函数类型。如果出现了同名函数，但是返回值或者参数不一样，那么就需要指明函数类型。否则就会报 ambiguous user of *** 错误，因为这个时候编译器不知道要给a赋值哪一个参数。把函数赋值给a，那么a里面储存的是什么呢？运行后打印a，这里看懂存储的是函数类型.这里函数类型也是引用类型，当把函数赋值给a的时候，阅读详情

闭包

闭包可以捕获和存储其所在上下文中任意常量和变量的引用，被称为包裹常量和变量。
Swift 会为你管理在捕获过程中涉及到的所有内存操作。

全局和嵌套函数实际上也是特殊的闭包，闭包采用如下三种形式之一：

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

Swift 的闭包表达式拥有简洁的风格，并在常见场景中进行语法优化，主要优化如下：

利用上下文推断参数和返回值类型
隐式返回单表达式闭包，即单表达式闭包可以省略 return 关键字
参数名称缩写
尾随闭包语法

1. 闭包表达式

1.1 排序方法

Swift 标准库提供了名为 sorted(by:) 的方法，它会基于你提供的排序闭包表达式的判断结果对数组中的值（类型确定）进行排序。
一旦它完成排序过程，sorted(by:) 方法会返回一个与旧数组类型大小相同类型的新数组，该数组的元素有着正确的排序顺序。
原数组不会被 sorted(by:) 方法修改。

let names = ["Chris", "Alex", "Ewa", "Barry", "Daniella"]
func backward(_ s1: String, _ s2: String) -> Bool {
    return s1 > s2
}
var reversedNames = names.sorted(by: backward)  // reversedNames 为 ["Ewa", "Daniella", "Chris", "Barry", "Alex"]

注意
    1. 如果第一个字符串（s1）大于第二个字符串（s2），backward(_:_:) 函数会返回 true，表示在新的数组中 s1 应该出现在 s2 前。
    2. 对于字符串中的字符来说，“大于”表示“按照字母顺序较晚出现”。这意味着字母 "B" 大于字母 "A" ，字符串 "Tom" 大于字符串 "Tim"。
    3. 该闭包将进行字母逆序排序，"Barry" 将会排在 "Alex" 之前

1.2 闭包表达式语法

一般形式：

{ (parameters) -> return type in
    statements
}

闭包表达式参数可以是 in-out 参数，但不能设定默认值。
如果你命名了可变参数，也可以使用此可变参数。
元组也可以作为参数和返回值。

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

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

由于这个闭包的函数体部分如此短，以至于可以将其改写成一行代码：

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

该例中 sorted(by:) 方法的整体调用保持不变，一对圆括号仍然包裹住了方法的整个参数。然而，参数现在变成了内联闭包。

1.3 根据上下文推断类型

因为排序闭包函数是作为 sorted(by:) 方法的参数传入的，Swift 可以推断其参数和返回值的类型。
sorted(by:) 方法被一个字符串数组调用，因此其参数必须是 (String, String) - > Bool 类型的函数。
意味着 (String, String) 和 Bool 类型并不需要作为闭包表达式定义的一部分，因为所有的类型都可以被正确推断，返回箭头（->）和围绕在参数周围的括号也可以被省略：

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

1.4 单表达式闭包的隐式返回

单行表达式闭包可以通过省略 return 关键字来隐式返回单行表达式的结果：

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

注意：
    1. sorted(by:) 方法的参数类型明确了闭包必须返回一个 Bool 类型值。
    2. 因为闭包函数体只包含了一个单一表达式（s1 > s2），该表达式返回 Bool 类型值。
    3. 因此这里没有歧义，return 关键字可以省略。

1.5 参数名称缩写

Swift 自动为内联闭包提供了参数名称缩写功能。

在闭包表达式中使用参数名称缩写，你可以在闭包定义中省略参数列表，并且对应参数名称缩写的类型会通过函数类型进行推断。
in 关键字也同样可以被省略，因为此时闭包表达式完全由闭包函数体构成：

reversedNames = names.sorted(by: { $0 > $1 } )

注意：$0 和 $1 表示闭包中第一个和第二个 String 类型的参数。

1.6 运算符方法

Swift 的 String 类型定义了关于大于号（>）的字符串实现，其作为一个函数接受两个 String 类型的参数并返回 Bool 类型的值。
这正好与 sorted(by:) 方法的参数需要的函数类型相符合。
因此，你可以简单地传递一个大于号，Swift 可以自动推断找到系统自带的那个字符串函数的实现：

reversedNames = names.sorted(by: >)

2. 尾随闭包

尾随闭包是一个书写在函数圆括号之后的闭包表达式。
函数支持将其作为最后一个参数调用。
在使用尾随闭包时，你不用写出它的参数标签。

func someFunctionThatTakesAClosure(closure: () -> Void) {
    // 函数体部分
}

// 以下是不使用尾随闭包进行函数调用
someFunctionThatTakesAClosure(closure: {
    // 闭包主体部分
})

// 以下是使用尾随闭包进行函数调用
someFunctionThatTakesAClosure() {
    // 闭包主体部分
}

字符串排序闭包可以作为尾随包的形式改写在 sorted(by:) 方法圆括号的外面：

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

如果闭包表达式是函数或方法的唯一参数，则当你使用尾随闭包时，你甚至可以把 () 省略掉：

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

Swift 的 Array 类型有一个 map(_:) 方法，这个方法获取一个闭包表达式作为其唯一参数。
该闭包函数会为数组中的每一个元素调用一次，并返回该元素所映射的值。
具体的映射方式和返回值类型由闭包来指定。

let digitNames = [
    0: "Zero", 1: "One", 2: "Two",   3: "Three", 4: "Four",
    5: "Five", 6: "Six", 7: "Seven", 8: "Eight", 9: "Nine"
]   //  一个整型数位和它们英文版本名字相映射的字典
let numbers = [16, 58, 510] //  准备转换为字符串数组的整型数组

let strings = numbers.map {
    (number) -> String in
    var number = number
    var output = ""
    repeat {
        output = digitNames[number % 10]! + output
        number /= 10
    } while number > 0
    return output
}
// strings 常量被推断为字符串类型数组，即 [String]
// 其值为 ["OneSix", "FiveEight", "FiveOneZero"]

map(_ : ) 为数组中每一个元素调用了一次闭包表达式。
不需要指定闭包的输入参数 number 的类型，因为可以通过要映射的数组类型进行推断。
在该例中，局部变量 number 的值由闭包中的 number 参数获得，因此可以在闭包函数体内对其进行修改，(闭包或者函数的参数总是常量)，闭包表达式指定了返回类型为 String，以表明存储映射值的新数组类型为 String。

注意
    1. 字典 digitNames 下标后跟着一个叹号（!），因为字典下标返回一个可选值（optional value），表明该键不存在时会查找失败。
    2. 在上例中，由于可以确定 number % 10 总是 digitNames 字典的有效下标，因此叹号可以用于强制解包（force-unwrap）存储在下标的可选类型的返回值中的 String 类型的值。

3. 值捕获

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

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

makeIncrementer 返回类型为 () -> Int。这意味着其返回的是一个函数，而非一个简单类型的值。
该函数在每次调用时不接受参数，只返回一个 Int 类型的值。

let incrementByTen = makeIncrementer(forIncrement: 10)
incrementByTen()    // 返回的值为10
incrementByTen()    // 返回的值为20
incrementByTen()    // 返回的值为30

let incrementBySeven = makeIncrementer(forIncrement: 7)
incrementBySeven()  // 返回的值为7

定义了一个叫做 incrementByTen 的常量
该常量指向一个每次调用会将其 runningTotal 变量增加 10 的 incrementer 函数

注意：
    1. 如果你将闭包赋值给一个类实例的属性，并且该闭包通过访问该实例或其成员而捕获了该实例，你将在闭包和该实例间创建一个循环强引用。
    2. Swift 使用捕获列表来打破这种循环强引用。

4. 闭包是引用类型

incrementBySeven 和 incrementByTen 都是常量，但是这些常量指向的闭包仍然可以增加其捕获的变量的值。这是因为函数和闭包都是引用类型。
无论你将函数或闭包赋值给一个常量还是变量，你实际上都是将常量或变量的值设置为对应函数或闭包的引用。
上面的例子中，指向闭包的引用 incrementByTen 是一个常量，而并非闭包内容本身。
这也意味着如果你将闭包赋值给了两个不同的常量或变量，两个值都会指向同一个闭包：

let alsoIncrementByTen = incrementByTen
alsoIncrementByTen()    // 返回的值为50

5. 逃逸闭包

当一个闭包作为参数传到一个函数中，但是这个闭包在函数返回之后才被执行，我们称该闭包从函数中逃逸。
当你定义接受闭包作为参数的函数时，你可以在参数名之前标注 @escaping，用来指明这个闭包是允许“逃逸”出这个函数的。
一种能使闭包“逃逸”出函数的方法是，将这个闭包保存在一个函数外部定义的变量中。

var completionHandlers: [() -> Void] = []
func someFunctionWithEscapingClosure(completionHandler: @escaping () -> Void) {
    completionHandlers.append(completionHandler)
}

someFunctionWithEscapingClosure(_:) 函数接受一个闭包作为参数，该闭包被添加到一个函数外定义的数组中。
如果你不将这个参数标记为 @escaping，就会得到一个编译错误。

func someFunctionWithNonescapingClosure(closure: () -> Void) {
    closure()
}

class SomeClass {
    var x = 10
    func doSomething() {
        someFunctionWithEscapingClosure { self.x = 100 }
        someFunctionWithNonescapingClosure { x = 200 }
    }
}

let instance = SomeClass()
instance.doSomething()
print(instance.x)   // 打印出“200”

completionHandlers.first?()
print(instance.x)   // 打印出“100”

将一个闭包标记为 @escaping 意味着你必须在闭包中显式地引用 self。
传递到 someFunctionWithEscapingClosure(_:) 中的闭包是一个逃逸闭包，这意味着它需要显式地引用 self。
相对的，传递到 someFunctionWithNonescapingClosure(_:) 中的闭包是一个非逃逸闭包，这意味着它可以隐式引用 self。

6. 自动闭包

自动闭包是一种自动创建的闭包，用于包装传递给函数作为参数的表达式。
这种闭包不接受任何参数，当它被调用的时候，会返回被包装在其中的表达式的值。
这种便利语法让你能够省略闭包的花括号，用一个普通的表达式来代替显式的闭包。
自动闭包让你能够延迟求值，因为直到你调用这个闭包，代码段才会被执行。
延迟求值对于那些有副作用（Side Effect）和高计算成本的代码来说是很有益处的，因为它使得你能控制代码的执行时机。

var customersInLine = ["Chris", "Alex", "Ewa", "Barry", "Daniella"]
print(customersInLine.count)    // 打印出“5”

let customerProvider = { customersInLine.remove(at: 0) }
print(customersInLine.count)    // 打印出“5”

print("Now serving \(customerProvider())!") // Prints "Now serving Chris!"
print(customersInLine.count)    // 打印出“4”

在闭包的代码中，customersInLine 的第一个元素被移除了，不过在闭包被调用之前，这个元素是不会被移除的。
如果这个闭包永远不被调用，那么在闭包里面的表达式将永远不会执行，那意味着列表中的元素永远不会被移除。

注意：
    1. 注意，customerProvider 的类型不是 String，而是 () -> String。
    2. 一个没有参数且返回值为 String 的函数。

将闭包作为参数传递给函数时，你能获得同样的延时求值行为。

//  serve(customer:) 函数接受一个返回顾客名字的显式的闭包。
func serve(customer customerProvider: () -> String) {
    print("Now serving \(customerProvider())!")
}
serve(customer: { customersInLine.remove(at: 0) } )
// 打印出“Now serving Alex!”

通过将参数标记为 @autoclosure 来接收一个自动闭包。
可以将该函数当作接受 String 类型参数（而非闭包）的函数来调用。
customerProvider 参数将自动转化为一个闭包，因为该参数被标记了 @autoclosure 特性。

func serve(customer customerProvider: @autoclosure () -> String) {
    print("Now serving \(customerProvider())!")
}
serve(customer: customersInLine.remove(at: 0))

注意：
    1. 过度使用 autoclosures 会让你的代码变得难以理解。
    2. 上下文和函数名应该能够清晰地表明求值是被延迟执行的。

如果你想让一个自动闭包可以“逃逸”，则应该同时使用 @autoclosure 和 @escaping 属性。

// customersInLine i= ["Barry", "Daniella"]
var customerProviders: [() -> String] = []
func collectCustomerProviders(_ customerProvider: @autoclosure @escaping () -> String) {
    customerProviders.append(customerProvider)
}
collectCustomerProviders(customersInLine.remove(at: 0))
collectCustomerProviders(customersInLine.remove(at: 0))

print("Collected \(customerProviders.count) closures.") // 打印“Collected 2 closures.”
for customerProvider in customerProviders {
    print("Now serving \(customerProvider())!")
}
// 打印“Now serving Barry!”
// 打印“Now serving Daniella!”

collectCustomerProviders(_ : ) 函数并没有调用传入的 customerProvider 闭包，而是将闭包追加到了 customerProviders 数组中。
这个数组定义在函数作用域范围外，这意味着数组内的闭包能够在函数返回之后被调用。
因此，customerProvider 参数必须允许“逃逸”出函数作用域。

收录于