每个函数都有种特定的函数类型,函数的类型由函数的参数类型和返回类型组成。
例如:
func addTwoInts(_ a: Int, _ b: Int) -> Int { return a + b } func multiplyTwoInts(_ a: Int, _ b: Int) -> Int { return a * b }
这个例子中定义了两个简单的数学函数:addTwoInts
和 multiplyTwoInts
。这两个函数都接受两个Int
值, 返回一个Int
值。
这两个函数的类型是(Int, Int) -> Int
,可以解读为:
“这个函数类型有两个 Int 型的参数并返回一个 Int 型的值”。
下面是另一个例子,一个没有参数,也没有返回值的函数:
func printHelloWorld() { print("hello, world") }
这个函数的类型是:() -> Void
,或者叫“没有参数,并返回Void 类型的函数”。
使用函数类型
在 Swift 中,使用函数类型就像使用其他类型一样。例如,你可以定义一个类型为函数的常量或变量,并将适当的函数赋值给它:
var mathFunction: (Int, Int) -> Int = addTwoInts
这段代码可以被解读为:
”定义一个叫做 mathFunction 的变量,类型是‘一个有两个 Int 型的参数并返回一个 Int 型的值的函数’,并让这个新变量指向 addTwoInts 函数”。
addTwoInts
和mathFunction
有同样的类型,所以这个赋值过程在Swift类型检查(type-check)
中是允许的。
现在,你可以用mathFunction
来调用被赋值的函数了:
print("Result: \(mathFunction(2, 3))") // Prints "Result: 5"
有相同匹配类型的不同函数可以被赋值给同一个变量,就像非函数类型的变量一样:
mathFunction = multiplyTwoInts print("Result: \(mathFunction(2, 3))") // Prints "Result: 6"
就像其他类型一样,当赋值一个函数给常量或变量时,你可以让 Swift 来推断其函数类型:
let anotherMathFunction = addTwoInts // anotherMathFunction 被推断为 (Int, Int) -> Int 类型
函数类型作为参数类型
你可以用(Int, Int) -> Int
这样的函数类型作为另一个函数的参数类型。这样你可以将函数的一部分实现留给函数的调用者来提供。
下面是另一个例子,正如上面的函数一样,同样是输出某种数学运算结果:
func printMathResult(_ mathFunction: (Int, Int) -> Int, _ a: Int, _ b: Int) { print("Result: \(mathFunction(a, b))") } printMathResult(addTwoInts, 3, 5) // 打印“Result: 8”
这个例子定义了printMathResult(_:_:_:)
函数,它有三个参数:第一个参数叫mathFunction
,类型是(Int, Int) -> Int
,你可以传入任何这种类型的函数;第二个和第三个参数叫a
和b
,它们的类型都是Int
,这两个值作为已给出的函数的输入值。
当printMathResult(_:_:_:)
被调用时,它被传入addTwoInts
函数和整数3
和5
。它用传入3
和5
调用addTwoInts
,并输出结果:8
。
printMathResult(_:_:_:)
函数的作用就是输出另一个适当类型的数学函数的调用结果。它不关心传入函数是如何实现的,只关心传入的函数是不是一个正确的类型。这使得printMathResult(_:_:_:)
能以一种类型安全(type-safe)
的方式将一部分功能转给调用者实现。
函数类型作为返回类型
你可以用函数类型作为另一个函数的返回类型。你需要做的是在返回箭头(->)
后写一个完整的函数类型。
下面的这个例子中定义了两个简单函数,分别是stepForward(_:)
和stepBackward(_:)
。stepForward(_:)
函数返回一个比输入值大 1 的值。stepBackward(_:)
函数返回一个比输入值小 1 的值。这两个函数的类型都是(Int) -> Int
:
func stepForward(_ input: Int) -> Int { return input + 1 } func stepBackward(_ input: Int) -> Int { return input - 1 }
如下名为chooseStepFunction(backward:)
的函数,它的返回类型是(Int) -> Int
类型的函数。chooseStepFunction(backward:)
根据布尔值backwards
来返回stepForward(_:)
函数或stepBackward(_:)
函数:
func chooseStepFunction(backward: Bool) -> (Int) -> Int { return backward ? stepBackward : stepForward }
你现在可以用chooseStepFunction(backward:)
来获得两个函数其中的一个:
var currentValue = 3 let moveNearerToZero = chooseStepFunction(backward: currentValue > 0) // moveNearerToZero 现在指向 stepBackward() 函数。
上面这个例子中计算出从currentValue
逐渐接近到0是需要向正数走还是向负数走。
currentValue
的初始值是 3,这意味着currentValue > 0
为真(true)
,这将使得chooseStepFunction(_:)
返回stepBackward(_:)
函数。一个指向返回的函数的引用保存在了moveNearerToZero
常量中。
现在,moveNearerToZero
指向了正确的函数,它可以被用来数到零:
print("Counting to zero:") // Counting to zero: while currentValue != 0 { print("\(currentValue)... ") currentValue = moveNearerToZero(currentValue) } print("zero!") // 3... // 2... // 1... // zero!
sort函数
1、sort()
是一个,具有两个相同类型参数,返回值是bool
型的函数
2、可以自定义函数型参数的比较方式,从而定义sort
的排序方式
3、sort()
和sorted()
的区别:
sort()
:arr
调用后,arr
自身顺序也变了
sorted()
:arr
调用后,arr
自身顺序不变
随机数:Int(arc4random()%100),%100表示取值小于100。
参数为空返回值为空函数变量命名
let anotherSayHello1: ()->() = sayHello let anotherSayHello2: ()->Void = sayHello
嵌套函数
到目前为止本章中你所见到的所有函数都叫全局函数(global functions),它们定义在全局域中。你也可以把函数定义在别的函数体中,称作 嵌套函数(nested functions)。
默认情况下,嵌套函数是对外界不可见的,但是可以被它们的外围函数(enclosing function)调用。一个外围函数也可以返回它的某一个嵌套函数,使得这个函数可以在其他域中被使用。
你可以用返回嵌套函数的方式重写 chooseStepFunction(backward:) 函数:
func chooseStepFunction(backward: Bool) -> (Int) -> Int { func stepForward(input: Int) -> Int { return input + 1 } func stepBackward(input: Int) -> Int { return input - 1 } return backward ? stepBackward : stepForward } var currentValue = -4 let moveNearerToZero = chooseStepFunction(backward: currentValue > 0) // moveNearerToZero now refers to the nested stepForward() function while currentValue != 0 { print("\(currentValue)... ") currentValue = moveNearerToZero(currentValue) } print("zero!") // -4... // -3... // -2... // -1... // zero!