Swift函数和闭包

93 阅读13分钟

函数和闭包

函数基本概念

  • 函数是一个独立的代码块,用来执行特定的任务。通过给函数一个名字来定义它的功能,并且在需要的时候,通过这个名字来"调用"函数执行它的任务
  • Swift统一的函数语法十分灵活,可以表达从简单的无形式参数的C风格函数到复杂的每一个形式参数都带有局部和外部形式参数名的OC风格方法的任何内容。形式参数能提供一个默认的值来简化函数的调用,也可以被当作输入输出形式参数被传递,它在函数执行完成时修改传递来的变量
  • Swift中的每一个函数都有类型,由函数的形式参数类型和返回类型组成。可以像Swift中其他类型那样来使用它,这使得你能够方便的将一个函数当作一个形式参数传递到另外一个函数中,也可以在一个函数中返回另一个函数。函数同时也可以写在其他函数内部来在内嵌套范围封装有用的功能。
定义和调用函数
  • 当你定义了一个函数的时候,你可以选择定义一个或者多个命名的分类的值作为函数的输入(所谓的形式参数),并且/或者定义函数完成后将要传回作为输出的值的类型(所谓它的返回类型)
  • 每一个函数都有一个函数名,它描述函数执行的任务。要使用一个函数,你可以通过"调用"函数的名字并且传入一个符合函数形式采参数类型的输入值(所谓实际参数)来代工这个函数。给函数提供的实际参数的顺序必须符合函数的形式参数列表顺序。
func greet(person: String) -> String {
let greeting = "Hello, " + person + "!"
return greeting
}
无形式参数的函数
  • 函数没有要求必须输入一个参数,可以没有形式参数
  • 函数的定义仍然需要再名字后加一个圆括号,即使它不接受形式参数也得这样做。当函数被调用的时候也要在函数的名字后边加一个空的圆括号
func sayHelloWorld() -> String {
return "hello,world"
}
print(sayHelloWorld())
// prints "hello,world"
多形式参数的函数
  • 函数可以输入多个形式参数,可以写在函数后边的圆括号内,用逗号分隔
func greet(person: String,alreadyGreeted:Bool) -> String {
if alreadyGreeted {
   return greetAgain(person:person)
}else {
 return greet(person:person)
}
}
print(greet(person:"Tim",alreadyGreeted:true))
// Prints "Hello again,Tim!"
无返回值的函数
  • 函数定义中没有要求必须有一个返回类型
  • 不需要返回值,函数在定义的时候就没有包含返回箭头(->)或者返回类型
  • 严格来讲,函数greet(person:)还是有一个返回值的,尽管没有定义返回值,没有定义返回类型的函数实际上会返回一个特殊的类型Void.他其实是一个空的元组,作用相当于没有元素的元组,可以写作().
func greet(person: String) {
print("Hello,\(person)!")
}
greet(person:"Dave")
多返回值的函数
  • 为了让函数返回多个值作为一个复合的返回值,你可以使用元组类型作为返回类型

image.png

可选元组返回类型
  • 如果元组在函数的返回类型中有可能"没有值",可以用一个可选元组返回类型来说明整个元组的可能是nil.写法是在可选元组类型的圆括号后边添加一个问号(?)例如(Int,Int)?或者(String,Int,Bool)?

image.png

隐式返回的函数
  • 如果整个函数是一个单一表达式,那么函数隐式返回这个表达式

image.png

函数的实际参数标签和形式参数名
实际标签和形参名
  • 每一个函数的形式参数都包含实际参数标签和形式参数名。实际参数标签用在调用函数的时候;在调用函数的时候灭一个实际参数前边都要写实际参数标签。形式参数名用在函数的实现当中。默认情况下,形式参数使用它们的形式参数名作为实际参数标签。
  • 所有的形式参数必须有唯一的名字。尽管有可能多个形式参数拥有相同的实际参数标签,唯一的实际参数标签有助于让代码更加易读。

image.png

指定实际参数标签
  • 在提供形式参数名之前写实际参数标签,用空格分隔
  • 如果你为一个形式参数提供了实际参数标签,那么这个实际参数就必须在调用函数的时候使用标签
  • 实际参数标签的使用能够让函数的调用更加明确,更像是自然语句,同时还能提供更可读的函数体并更清晰地表达意图。

image.png

省略实际参数标签
  • 如果对于函数的形式参数不想使用实际参数标签的话,可以利用下划线(_)来为这个形式参数代替显示的实际参数标签。

image.png

默认形式参数值
  • 可以通过在形式参数类型后给形式参数赋一个值来给函数的任意形式参数定义一个默认值
  • 如果定义了默认值,就可以在调用的时候省略这个形式参数

image.png

可变形式参数
  • 一个可变形式参数可以接受零或者多个特性类型的值。当调用函数的时候可以利用可变形式参数来声明形式参数可以被传入值的数量是可变的。可以通过在形式参数的类型名称后边插入三个点符号(...)来书写可变形式参数
  • 传入到可变参数中的值在函数的主体中被当作是对应类型的数组

image.png

输入输出形式参数
  • 可变形式参数只能在函数的内部做改变。如果你想函数能够修改一个形式参数的值,而且你想这些改变在函数结束后依然生效,那么就需要将形式参数定义为输入输出形式参数
  • 在形式参数定义开始的时候在前边添加一个inout关键字可以定义在一个输入输出形式参数。输入输出形式参数有一个能输入给函数的值,函数能对其进行修改,还能输出到函数外边替换原理的值。
  • 你只能把变量作为输入输出形式参数的实际参数,在将变量作为实际参数传递给输入输出形式参数的时候,直接在它前边添加一个和符号(&)来明确可以被函数修改
  • 输入输出形式参数不能有默认值,可变形式参数不能标记inout

image.png

函数类型和内嵌函数
函数类型
  • 每一个函数都有一个特定的函数类型,它由形式参数类型,返回类型组成

image.png

使用函数类型
  • 你可以像使用Swift中的其他类型一样使用函数类型。例如,你可以给一个常量或者变量定义一个函数类型,并且为变量指定相应的函数。

image.png

函数类型作为形式参数类型
  • 你可以利用使用一个函数的类型如(Int,Int)->Int作为其他函数的形式参数类型。这允许你预留函数的部分实现从而让函数的调用者在调用函数的时候提供

image.png

函数类型作为返回类型
  • 你可以利用函数的类型作为另一个函数的返回类型。写法是在函数的返回箭头(->)后立即写一个完整的函数类型

image.png

内嵌函数
  • 可以在函数的内部定义另外一个函数。这就是内嵌函数
  • 内嵌函数在默认情况喜爱在外部是被隐藏起来的,但却仍然可以通过包裹它们的函数来调用它们。包裹的函数也可以返回它内部的一个内嵌函数来在另外的范围里使用。

image.png

闭包的概念

  • 闭包是可以在你的代码中被传递和引用的功能性独立代码块
  • 闭包能够捕获和存储定义在其上下文中的任何常量和变量的引用,这既是所谓的闭合并包裹那些常量和变量,因此被称为"闭包",Swift能够为你处理所有关于捕获的内存管理的操作
  • 在函数章节中有介绍的全局和内嵌函数,实际上是特殊的闭包,闭包符合如下三种形式的一种:
  1. 全局函数是一个有名字但不会捕获任何值的闭包;
  2. 内嵌函数是一个有名字且能从其上层函数捕获值的闭包;
  3. 闭包表达式是一个轻量级语法缩写的可以捕获其上下文中常量或变量值的没有名字的闭包
闭包表达式
  • 闭包表达式是一种在简短行内就能写完闭包的语法
闭包表达式-从sorted函数说起
  • Swift的标准库提供了一个叫做sorted(by:)的方法,会根据你提供的排序闭包将一致类型的数组的值进行排序。一旦它排序完成,sorted(by:)方法会返回与原数组类型大小完全相同的一个新数组,该数组的元素是已排序好的。原始数组不会被sorted(by:)方法修改

image.png

闭包表达式语法

闭包表达式语法能够使用常量形式参数、变量形式参数和输入输出形式参数,但不能提供默认值。可变形式参数也能使用,但需要在形式参数列表的最后面使用。元组也可被用来作为形式参数和返回类型

{ (parameters) -> (return type) in
   statements
}

image.png

闭包表达式语法版本的backward
  • 将之前backward(::)函数改为闭包表达式版本

image.png

从语境中推断类型
  • 因排序闭包为实际参数来传递给函数,故Swift能推断它的形式参数类型和返回类型
  • sorted(by:)方法期望它的形式参数是一个(String,String)->Bool类型的函数。这意味着(String,String)和Bool类型不需要被写成闭包表达式定义中的一部分,因为所有的类型都能被推断,返回箭头(->)和围绕在形式参数名周围的括号也能被省略

image.png

从单表达式闭包隐式返回
  • 单表达式闭包能够通过从他们的声明中删掉return关键字来隐式返回他们单个表达式的结果

image.png

简写实际参数名
  • Swift自动对行内闭包提供简写实际参数名,可以通过0,0,1,$2等名字来引用闭包的实际参数值

image.png

运算符函数
  • Swift的String类型定义了关于大于号(>)的特定字符串实现,让其作为一个有两个String类型形式参数的函数并返回一个Bool类型的值。这正好与sorted(by:)方法的形式参数需要的函数相匹配。因此,你能简单地传递一个大于号,并且Swift将推断你想使用大于号特殊字符串函数的实现

image.png

尾随闭包
  • 如果你需要将一个很长的闭包表达式作为函数最后一个实际参数传递给函数,使用尾随闭包将增强函数的可读性。尾随闭包是一个被书写在函数形式参数的括号外面(后面)的闭包表达式。

image.png

捕获值
  • 一个闭包能够从上下文捕获已被定义的常量和变量。即使定义这些常量和变量的原作用域已经不存在,闭包仍能够在其函数体内引用和修改这些值。

image.png

  • 作为一种优化,如果一个值没有改变或者在闭包的外面,Swift可能会使用这个值的拷贝而不是捕获
  • Swift也处理了变量的内存管理操作,当变量不再需要时会被释放。

image.png

  • 如果你建立了第二个incrementer,它将会有一个新的、独立的runningTotal变量的引用

image.png

闭包是引用类型
  • 在Swift中,函数和闭包都是引用类型
  • 无论你什么时候赋值一个函数或者闭包给常量或者变量,你实际上都是将常量和变量设置为对函数和闭包的引用

image.png

逃逸闭包
  • 当闭包作为一个实际参数传递给一个函数的时候,并且它会在函数返回之后调用,我们就说这个闭包逃逸了。当你声明一个接受闭包作为形式参数的函数时,你可以在形式参数前写@escaping来明确闭包时允许逃逸的。
  • 闭包可以逃逸的一种方法是被储存在定义于函数外的变量里。比如说,很多函数接受闭包实际参数来作为启动异步任务的回调。函数在启动任务后返回,但是闭包要直到任务完成--闭包需要逃逸,以便于稍后调用

image.png

  • 让闭包@escaping意味着你必须在闭包中显示地引用self

image.png

自动闭包
  • 自动闭包是一种自动创建的用来作为实际参数传递给函数的表达式打包的闭包。它不接受任何实际参数,并且当它被调用时,它会返回内部打包的表达式的值。
  • 这个语法的好处在于通过写普通表达式代替显式闭包而使你省略包围函数形式参数的括号。

image.png

  • 自动闭包允许你延迟处理,因此闭包内部的代码直到你调用它的时候才会运行。对于有副作用或者占用资源的代码来说很有用,因为他可以允许你控制代码何时才进行求值。

image.png

  • 当你传一个闭包作为实际参数到函数的时候,你会得到与延迟处理相同的行为。

image.png

  • 通过@autoclosure标志标记它的形式参数使用了自动闭包。现在你可以调用函数就像它接受了一个String实际参数而不是闭包。实际参数自动地转换为闭包,因为customerProvider形式参数的类型被标记为@autoclosure标记。

image.png

自动+逃逸
  • 如果你想要自动闭包允许逃逸,就同时使用@autoclosure和@escaping标记。

image.png

Swift的高阶函数
map
  • 对于原始集合里的每一个元素,以一个变换后的元素替换之形成一个新的集合

image.png

filter
  • 对于原始集合里的每一个元素,通过判定来将其丢弃或者放进新集合

image.png

reduce
  • 对于原始集合里的每一个元素,作用于当前累积的结果上

image.png

flatMap
  • 对于元素是集合的集合,可以得到单级的集合

image.png

compactMap
  • 过滤空值

image.png

compactMapValues
  • 映射元素,返回不包含空值的数组