前言
任何代码都会发生错误,这些错误有些是可以补救的,有些则只能让程序崩溃。良好的错误处理能够让你的代码健壮性提高,提高程序的稳定性。
本文的Swift版本:Swift 3
Objective C
返回nil
如果出错了,就返回空是Objective C中的一种常见的处理方式。因为在Objective C中,向nil发送消息是安全的。比如:
1 | - (instancetype)init |
断言
断言指定了我们方法的上下文,如果断言不满足,则在Debug环境下会直接crash。
比如:AFNetworking中的af_resume方法
1 | - (void)af_resume { |
返回状态码
返回状态码和全局错误信息往往是在一起使用的。这种错误的处理方式常见于用Objective C来封装C的代码,或者纯C的方法。比如sqlite中的错误处理:
1 | int result = sqlite3_open(dbPath,&_db ); |
又比如,Data写入到文件
1 | BOOL succeed = [currentData writeToFile:path atomically:YES]; |
NSError
NSError是Cocoa中推荐的错误处理方式。
使用NSError来处理错误的例子遍布整个CocoaTouch框架。
比如:NSFileManager
1 | NSFileManager * fm = [NSFileManager defaultManager]; |
又比如,NSURLSession通过NSError来传递错误信息
1 | [[NSURLSession sharedSession] dataTaskWithURL:url completionHandler:^(NSData * _Nullable data, NSURLResponse * _Nullable response, NSError * _Nullable error) { |
一个NSError包括了错误的详细信息:主要有以下几个信息
- code 错误的状态码
- domain 错误的域
- userInfo 错误的详细信息
比如,常见的NSURLErrorDomain,也就是网络请求失败:
1 | NSURLErrorCancelled = -999, |
NSException
NSException是类似其他语言中的异常,你可以通过try-catch等方式捕获异常
1 | @try { |
当然,你也可以自己抛出一个异常:
1 | [NSException raise:@"ExceptionName" format:@"Contents"]; |
- 在Objective C中,通常只有当程序出错,无法继续执行的时候,我们才会主动抛出一个异常。
- Objective C的异常处理的效率很低,通常不用来做错误处理,而且Objective C也没有类似的throw关键字来表明一个方法会抛出异常,编码起来很难判断是否需要try-cathe。
Swift中的错误处理
Swift provides first-class support for throwing, catching, propagating, and manipulating recoverable errors at runtime.
Swift提供了一套完整的错误抛出-捕获-处理机制。Swift采用Error
协议来表示错误类型,通过do-try-catch的方式来处理可能会抛出异常的代码。
Optional
可选值表示一个值要么有值,要么是nil。在Swift中,Optional是用enum写的,
1 | public enum Optional<Wrapped> : ExpressibleByNilLiteral { |
当发生错误的时候,返回一个可选值是常见的处理方式。但是,这种方式的有一个很明显的缺点:
调用者不清楚为什么失败,也就不好进行相关的处理。
Error协议与throws
Error
是一个空的协议,用来表示错误类型。NSError
和CFError
都遵循了这个协议。
throws关键字表明这个方法会抛出错误,方法调用者需要处理错误。
在Swfit中,枚举是一个特别适合用来处理Error的数据类型。我们首先定义一个类Person表示人
1 | enum Sex{ |
Person可以结婚,结婚的时候会发生一些错误,比如钱不够,比如性别不对,用枚举来表示。
1 | enum MarryError : Error{ |
然后,方法的实现如下:
1 | extension Person{ |
对于一个带有throws关键字的函数,调用的时候有两种方式选择:
- 使用 do-try-catch 代码块
1 |
|
当然,如果不需要区分每一个Error,也可以这么调用。
1 | do{ |
- 使用 try?,对于有返回值的throws函数,使用try?会把结果转换为可选值。
1 | let tom = Person(sex: .male, money: 100000) |
defer关键字
defer关键字用来处理类似Ojective C中@try-@catch-@finally中,@finally的作用。
比如,我们打开文件,如果抛出错误的话,我们总希望关闭这个文件句柄。
1 | func contents(of filePath:String) throws -> String{ |
defer代码块的内容在退出作用域之前会被执行
关于defer,有两点需要注意
- 多个defer会按照逆序的方式执行。
- 当你的程序遇到严重错误,比如fatalError,或者强制解析nil,或者segfaults的时候,defer的代码块并不会执行。
rethrow
rethrow关键字在高阶函数中比较常见,所谓高阶函数,就是一个函数的参数或者返回值是函数类型。
最常见的比如,Sequence
协议map
方法。
1 | let array = [1,2,3] |
由于map函数传入的是一个闭包,这个闭包可能会抛出错误。由参数抛出的错误最后会向上传递给map函数。
比如:
1 | enum MapError : Error{ |
这样是编译不通过的。
调用的时候需要:按照上文提到的throws关键字的路子来
1 | do { |
所以,这就是rethrows关键字的精髓所在
rethrows 关键字表示当参数闭包标记为throws的时候,函数本身为throws。如果参数闭包不会抛出错误,则函数也不会。
通过这个关键字,你不必每次都进行try-catch
Result类型
我们知道,一个函数执行要么成功,要么失败。成功的时候我们希望返回数据,失败的时候我们希望得到错误信息,这就是Result类型,一个典型的Result类型如下:
1 | enum Result<T>{ |
通过Result类型,不再需要可选值或者do-try-catch来包裹你的代码。
我们用Result类型对上述marry函数进行重写:
1 | extension Person{ |
然后,这么调用
1 | let tom = Person(sex: .male, money: 100000) |
Result链
Swift中有可选链,来处理多个可选值的连续调用。同样的,我们也可以为Result类型来添加链式调用:
- 如果上一个调用结果是.success, 则继续调用下一个
- 如果上一个调用结果是.failure, 则传递failure给下一个
我们可以用extension来实现
1 | extension Result{ |
于是,你就可以这么调用了
1 | resut.flatMap({//转换1}).flatMap(//转换2)... |
一旦失败,中间有一次flatMap转换失败,则之后的转换逻辑都不会执行
进阶:Result类型在Swift版本的Promise中大行其道,可以参见PromiseKit的源码,promise让异步处理变得优雅。
assert/precondition
在本文最初的的地方降到了Objective C的断言,同样Swift也有断言支持。在Swfit中,断言是一个函数:
1 | func assert(_ condition: @autoclosure () -> Bool, |
断言仅在Debug模式下进行检查,帮助开发者发现代码中的问题。
如果需要在Relase模式下也进行检查,则使用precondition
1 | func precondition(_ condition: @autoclosure () -> Bool, |
桥接到Objective C
对于如下使用NSError来处理错误的的Objective 方法
1 | //NSFileManager |
在Swift中会被自动的转换成
1 | func removeItem(at URL: URL) throws |
但是,纯Swfit的Error桥接的Objective C的时候,会有一些问题。因为NSError需要 domain
和code
等详细信息。
我们可以让Swift的Error实现CustomNSError协议,来提供这些需要的信息。
1 | enum MarryError : Error{ |
相关的,还有两个协议LocalizedError
和RecoverableError