特工 Double-Null0111

函数类型

如果把 Swift 函数签名中的所有名称和标签都去掉，剩下的就是这个函数的类型。

func shoppingList(item: String, quantity: Int) -> String {
  "You need to buy \(quantity) \(item)."
}
// shoppingList: (String, Int) -> String

func repeater(_ phrase: String, times: Int) -> String {
  var result = ""
  for _ in 1...times {
    result += phrase
  }
  return result
}
// repeater: (String, Int) -> String

func printString(line: String) {
  print(line)
}
// printString: (String) -> ()

注意，前两个函数的类型是一样的，都是(String, Int) -> String，尽管这两个签名不同，两个函数的工作方式也大相径庭。它们都以String和Int作为输入，并返回String。而从第三个函数的类型可以看出，尽管函数体看起来没有返回任何东西，它实际上隐式返回了()，也就是Void类型唯一的值。

这些函数类型可以像 Swift 中的任何其他类型一样使用。例如，可以用它们来声明变量或常量。而且，由于函数在 Swift 中也是值，所以可以把已有的函数赋给这些常量或变量：

var stringAndIntToString: (String, Int) -> String

stringAndIntToString = shoppingList
stringAndIntToString("carrots", 3)
// => "You need to buy 3 carrots."

和其他变量或常量一样，赋给它的值必须具有正确的类型：

stringAndIntToString = printShoppingList
// Error: Cannot assign value of type '(String) -> ()' to type '(String, Int) -> String'

作为形参类型的函数类型

既然函数类型可以用在任何其他类型可以使用的地方，那么它们自然也可以用作形参类型，传入其他函数，并在这些函数内部被调用。

func apply3(to str: String, function f: (String, Int) -> String) -> String {
  f(str,3)
}
// apply3: ([String], (String, Int) -> String) -> [String]

apply3(to: "eggs", function: shoppingList)
// => "You need to buy 3 eggs."

apply3(to: "eggs", function: repeater)
// => "eggseggseggs"

作为返回类型的函数类型

同样，函数类型也可以用作函数的返回类型。换句话说，你可以编写能够创建并返回其他函数的函数。在创建这些函数时，被返回的函数可以使用传入该函数的其他形参，也可以使用父函数内部创建的局部变量。

func makeAdder(base: Int) -> (Int) -> Int {
  func adder(_ i: Int) -> Int {
    base + i
  }
  return adder
}
// makeAdder: (Int) -> (Int) -> Int

let add10 = makeAdder(base: 10)
// add10: (Int) -> Int

let subtract20 = makeAdder(base: -20)
// subtract10: (Int) -> Int

add10(5)
// => 15

subtract20(5)
// => -15