Swift基础语法（三）函数

Swift的函数在定义和调用上都提供了更多的更方便的可操作空间，比如参数标签、可变参数，并且函数类型的使用使得任意的普通函数就有block的特征，接下来认识Swift中函数的使用。

主要内容：

函数的定义

参数标签、默认参数、可变参数

修改外部变量

函数类型

1、函数的定义

1.1 一般用法

演示代码

//不带参数
func pi() -> Double {
return 3.1415
}

pi()

//带参数
/// 求和【概述】
///
/// 将两个整数相加【更详细的描述】
/// - Parameters:
///   - v1: v1 第一个整数
///   - v2: v2 第二个证书
/// - Returns: 2个整数的和
///
/// - Note : 传入2个整数即可【批注】
func sum(v1: Int,v2: Int) -> Int {
    v1 + v2
}

sum(v1: 10, v2: 20)

（滑动显示更多）

说明：

• 所有的函数前面都用func来修饰
• 函数名()的()里写的是参数，这里是虚参，也就是参数名称
• 函数的参数默认是常量，而且只能是常量
• 返回值是写在参数的后面，并且使用->隔开,sum函数返回的是Int类型
• 在调用时也需要加上参数名称，这样传值会更准确
• 在sum函数中我写了文档注释，这样便于后续维护，而且在调用函数时可以更加明确函数的职责
• 因为是单一的表达式，所以无需写return，编译期会自动判断

注意：

• 若没有返回值有三种写法
• 返回Void，Void其实就是()，Void是()空元祖的别名(注意Void的V是大写，跟其他语言不一样）
• 返回()，也就是直接返回空元组
• 也可以不写返回值就表示没有返回值
• 如果整个函数体只是简单的单一表达式，可以不写return来返回，编译器会自动帮我们增加return
• 形参默认是let，也只能是let，所以以后就不要写就行了

1.2 返回元组

演示代码

func calculate(v1: Int,v2: Int) -> (sum: Int,diffence: Int,average: Int) {
let sum = v1+v2
return(sum,v1-v2,sum>>1)
}

let result = calculate(v1: 20, v2: 10)
result.sum
result.diffence
result.average
result.0
result.1
result.2

（滑动显示更多）

运行结果：

说明：

• 以元组的形式返回就可以一次性得到多个返回值
• 函数接收的时候就直接用一个let或var就行，因为他们是不确定数据类型的，所以可以接收任意类型
• 接收后使用上就和正常的元组一样了,可以通过标识符取用，也可以使用下标取用

1.3 函数参数

1.3.1 参数标签

Swift有参数标签这个东西，我们常见的参数名称是为了在函数内部有更好的语义化，而参数标签是为了再外界调用时有更好的语义化

演示代码

//函数标签的案例
func goToWork(at time: String) {
//内部语义化：this time is time
print("this time is \(time)")
}
goToWork(at: "08:00")
// 外部语义化：go to work at 08:00

//省略参数标签
func sum(_ v1: Int, _ v2: Int) -> Int {
    v1 + v2
}
sum(10, 20)

（滑动显示更多）

说明：

• 在函数定义中使用的是time时间，这样更易读,this time is 08:00
• 在函数调用时用go to work at 08:00这样来写更易读
• 所以在定义函数时需要加上at这个参数标签
• 函数的一个参数既有在函数内部使用的函数名称，也有在函数外使用的函数标签
• 函数标签可以省略，使用_就可以省略，此时外部调用时就无需使用参数标签

注意：

• 这种加_省略和不写参数标签是不一样的
• 这种情况在调用时就可以直接传值，如果是定义时不写参数标签，在外部调用时仍然要写参数名称，而不能直接写参数

1.3.2 默认参数

可以在定义函数时添加默认参数时，这样在调用函数时可以不传入这个参数的值

演示代码

func check(name: String = "nobody", age: Int,job: String = "none") -> () {
    print("name=\(name),age=\(age),job=\(job)")
}
check(age: 18)
check(name: "wy", age: 18, job: "iOS")
check(age: 18,job: "iOS")

（滑动显示更多）

运行结果：

name=nobody,age=18,job=none
name=wy,age=18,job=iOS
name=nobody,age=18,job=iOS

说明：

• 在这个函数中name和job参数有自己的默认参数值
• 因此在调用时函数时可以不给name和job传值。函数内部会使用默认参数值来计算
• 但是age必须要传值，因为没有默认参数值

注意：

• 因为在传值时会使用到参数标签所以不会有歧义，可以任意决定传值的参数，这与C语言不同

1.3.3 可变参数

在Swift中使用可变参数会很方便，当然了和其他语言一样其实在内部也是编译成一个数组

演示代码

func sum(_ numbers: Int...) -> Int {
var total = 0
for number in numbers {
        total += number
    }
return total
}
sum(10,20,30,40)
sum(10, 20)

说明：

• 传入的参数中在数据类型的后面加上..，这样就是可变参数了
• 在函数内部把这个参数看做数组来处理

注意：

• 一个函数最多只能有1个可变参数
• 紧跟在可变参数后面的参数不能省略参数标签/参数名称,否则无法区分这个值是哪个参数的

2、函数内修改外部变量的值(inout的使用）

函数的参数只能是常量，所以正常情况下无法修改这个参数，如果想要修改参数，就需要使用inout来修饰这个参数，这样做并且不仅可以修改参数内部，还可以修改外部的变量。

本质是将值传递改为了指针传递

示例代码：

//inout的使用
func swapValues(_ v1: inout Int, _ v2: inout Int) -> Void {
let tmp = v1
    v1 = v2
    v2 = tmp
}

var num1 = 10
var num2 = 20
swapValues(&num1, &num2)//传入地址（其实就是指针，虽然Swift中没有指针变量的概念）

（滑动显示更多）

说明：

• 不同于其他语言，Swift的虚参只能是常量，不能是变量，所以无法修改
• 而且如果是值传递，也无法修改外部变量的值
• 我们可以使用inout来修饰，就可以修改外部变量的值
• 但注意此时调用函数时传入的值要传入变量地址，而不是变量本身，变量地址对于有语言基础的同学很好理解就不展开讲了，有不甚了解的可以看我的另一篇博客指针偏移的认识。针对变量、指针和地址的区别和使用以及在内存的分布有比较清晰的讲解

注意：

• 可变参数不可以加inout
• inout参数不可以有默认值

3 函数类型的认识

函数也有自己的数据类型，数据类型就是参数数据类型+返回值数据类型，这里的函数类型我觉得可以视作OC中block就行，在使用上和block基本一样，block简单说来其实就是可作为变量/参数/返回值的能够捕获变量的匿名函数嘛

下面分别代码演示作为变量、参数、返回值的具体使用，可以看到和block的使用完全一致，有对block不太清楚的同学可以看我的另一篇博客13 - block的认识和使用

3.1 函数类型

示例代码：

//数据类型为：()->() 或者()->Void
func test(){
print("lalala")
}
//数据类型为：(Int,String) -> (Int,Double)
func test2(a: Int,b: String) -> (Int,Double) {
return(7,7.0)
}

（滑动显示更多）

说明：

• 函数的函数类型就是参数数据类型+返回值数据类型
• test()函数的函数类型就是() -> ()
• test2()函数的数据类型为：(Int,String) -> (Int,Double)

3.2 作为变量

示例代码：

//（Int,Int) -> Int
func sum2(a:Int,b:Int) -> Int {
    a+b
}

//1、通过函数的数据类型定义一个函数变量
var fn: (Int,Int) -> Int;
//2、赋值一个函数
fn = sum2(a:b:)
//3、调用
fn(2,3)

说明：

• 定义一个函数类型的变量，就可以将这个函数赋值给这个变量，之后通过这个变量来调用函数
• 通过函数变量调用时不需要参数标签和参数名称，直接传值
• 我这里为了更方便的说明，所以把定义变量和赋值参数分开写了，其实也可以写到一起

3.3 作为参数传递

示例代码：

//加法
func sum3(v1: Int, v2: Int) -> Int {
    v1+v2
}

//减法
func difference(v1: Int,v2: Int) -> Int {
    v1-v2
}

//通过传入的函数和对变量进行对应的加减操作
//(Int, Int) -> Int 是mathFn参数的数据类型
func printResult(_ mathFn: (Int, Int) -> Int , _ a: Int, _ b:Int) {
print("Result: \(mathFn(a,b))")
}

printResult(sum, 20, 10)
printResult(difference, 20, 10)

（滑动显示更多）

说明：

• 在printResult函数中第一个参数就是一个函数，这里传递到时候参数的数据类型就是函数类型
• (Int, Int) -> Int 是mathFn参数的数据类型
• 在PrintResult函数中就可以使用传入的函数进行调用了，通过传入的函数和对变量进行对应的加减操作

3.4 作为返回值

示例代码：

//+1
func next(_ input: Int) -> Int {
    input + 1
}

//-1
func previous(_ input: Int) -> Int {
    input - 1
}

//通过传入的Bool值判断返回哪个函数
// (Int) -> Int是返回值类型，是个函数类型，因此返回函数
// 因为返回的是函数所以只写名称，不需要带参数
func forward(_ forward: Bool) -> (Int) -> Int {
    forward ? next : previous
}
forward(true)(3)//4
forward(false)(4)//2

（滑动显示更多）

说明：

• forward函数的返回值类型是(Int) -> Int，这是一个函数类型
• 因为返回的是函数所以只写名称，不需要带参数，如果带参数就是具体的值了
• forward(true)得到的是函数next，因此next(3)就是4

4、其他

4.1 函数重载

定义上与C函数的函数重载一样，没什么特殊的

函数重载的方法名必须相同，参数必须不同

参数不同包括：

• 参数个数不同
• 参数类型不同
• 参数标签不同

注意：

• 返回值类型是否相同与函数重载无关
• 默认参数值和函数重载一起使用会产生二义性，但是不会编译报错，需要注意

4.2 内联函数的认识（了解即可）

内联函数会将函数调用展开成函数体，我们可以手动设置是否是内联函数，但没必要，编译器开启编译优化后会自动生成。

基本上没必要手动设置，只要知道有这么个事儿就行

说明：

• 当开启编译期优化后，系统会自动把一些函数变为内联函数，
• 内联函数就是将函数调用展开成函数体
• 这样可以减少函数的调用，减少函数栈的开辟，提高了代码执行效率，也节约了栈空间

哪些函数不会被自动内联

• 函数体比较长
• 包含递归调用
• 包含的动态绑定，就是在多态中动态的给变量绑定类型

手动设置：

//永远不会被内联，即使开启编译期优化
@inline(never) func test() {
print("test")
}

//开启编译期优化后，即使代码很长，也会被内联，当然也不是所有的都会内联，如果是递归调用函数，包含动态绑定的函数就不会
@inline(__always) func test() {
print("test")
}

（滑动显示更多）

4.3 起别名typealias

也就是给类型起个别名，可以给任意的类型起别名

代码示例：

public typealias Void = ()

说明：

• 所以可以看到Void是空元组的别名，等价于就是空元组

原文链接：https://www.jianshu.com/p/3168726c884d

- END -