特務 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