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写的,
public enum Optional : ExpressibleByNilLiteral {
case none
case some(Wrapped) //...
}
当发生错误的时候,返回一个可选值是常见的处理方式。但是,这种方式的有一个很明显的缺点:
调用者不清楚为什么失败,也就不好进行相关的处理。
Error协议与throws
Error是一个空的协议,用来表示错误类型。NSError和CFError都遵循了这个协议。
throws关键字表明这个方法会抛出错误,方法调用者需要处理错误。
在Swfit中,枚举是一个特别适合用来处理Error的数据类型。我们首先定义一个类Person表示人
enum Sex{
case male
case female
}
class Person {
let sex:Sex
var money:CGFloat
init(sex:Sex ,money:CGFloat) {
self.sex = sexself.money = money
}
}
Person可以结婚,结婚的时候会发生一些错误,比如钱不够,比如性别不对,用枚举来表示。
enumMarryError : Error{
case lackMoney
case wrongSex
}
然后,方法的实现如下:
extension Person {
func marry(with another: Person) throws -> Bool {
guard self.sex != another.sex else {
throw MarryError.wrongSex
}
guard self.money + another.money >100000 else {
throw MarryError.lackMoney
}
return true
}
}
对于一个带有throws关键字的函数,调用的时候有两种方式选择:
使用 do-try-catch 代码块
let tom = Person(sex: .male,money:100000)
let jack = Person(sex: .male,money:100000)
do {
try tom.marry(with: jack)
}catch MarryError.wrongSex {
print("Two Person have same sex")
}catch MarryError.lackMoney{
print("Oh, they do not have enough moeny")
}catch let error{
print(error)
}
当然,如果不需要区分每一个Error,也可以这么调用。
do {
try tom.marry(with: jack)
}catch let error {
print(error)
}
使用 try?,对于有返回值的throws函数,使用try?会把结果转换为可选值。
let tom = Person(sex: .male, money:100000)
let jack = Person(sex: .male, money:100000)
if let result = try? tom.marry(with: jack) {
//成功
}else {
print("Error happen")
}
defer关键字
defer关键字用来处理类似Ojective C中@try-@catch-@finally中,@finally的作用。
比如,我们打开文件,如果抛出错误的话,我们总希望关闭这个文件句柄。
func contents(of filePath:String) throws -> String {
let file = open(filePath,O_RDWR)
defer { close(file)
}
//...
}
defer代码块的内容在退出作用域之前会被执行
关于defer,有两点需要注意
多个defer会按照逆序的方式执行。
当你的程序遇到严重错误,比如fatalError,或者强制解析nil,或者segfaults的时候,defer的代码块并不会执行。
rethrow
rethrow关键字在高阶函数中比较常见,所谓高阶函数,就是一个函数的参数或者返回值是函数类型。
最常见的比如,Sequence协议map方法。
let array= [1,2,3]
let result = array.map{$0*2}
由于map函数传入的是一个闭包,这个闭包可能会抛出错误。由参数抛出的错误最后会向上传递给map函数。
比如:
enum MapError :Error {
case invalid
}
func customMapper(input:Int) throws ->Int {
if input <10 {
throw MapError.invalid
}
return input +1
}
let array= [1,2,3]
let result = array.map(customMapper)
这样是编译不通过的。
调用的时候需要:按照上文提到的throws关键字的路子来
do{
let result = try array.map(customMapper)
}catch let error {
}
所以,这就是rethrows关键字的精髓所在
rethrows 关键字表示当参数闭包标记为throws的时候,函数本身为throws。如果参数闭包不会抛出错误,则函数也不会。
通过这个关键字,你不必每次都进行try-catch
Result类型
我们知道,一个函数执行要么成功,要么失败。成功的时候我们希望返回数据,失败的时候我们希望得到错误信息,这就是Result类型,一个典型的Result类型如下:
enum Result{
case success(T)
case failure(error:Error)
}
通过Result类型,不再需要可选值或者do-try-catch来包裹你的代码。
我们用Result类型对上述marry函数进行重写:
extension Person{
func marry(withanother: Person)->Result {
guard self.sex != another.sex else {
return .failure(error: MarryError.wrongSex)
}
guard self.money + another.money >100000 else {
return.failure(error: MarryError.lackMoney)
}return.success(true)
}
}
然后,这么调用
let tom = Person(sex: .male, money:100000)
let jack = Person(sex: .male, money:100000)
let result = tom.marry(with: jack)
switch result {
case let.success(value):
print(value)
case let.failure(error):
print(error)
}
Result链
Swift中有可选链,来处理多个可选值的连续调用。同样的,我们也可以为Result类型来添加链式调用:
如果上一个调用结果是.success, 则继续调用下一个
如果上一个调用结果是.failure, 则传递failure给下一个
我们可以用extension来实现
extension Result {
func flatMap(transform:(T) throws-> (V)) rethrows-> Result {
switch self{
case let .failure(error):
return.failure(error: error)
case let .success(data):
return.success(try transform(data))
}
}
}
于是,你就可以这么调用了
resut.flatMap({//转换1}).flatMap(//转换2)...
一旦失败,中间有一次flatMap转换失败,则之后的转换逻辑都不会执行
进阶:Result类型在Swift版本的Promise中大行其道,可以参见PromiseKit的源码,promise让异步处理变得优雅。
assert/precondition
在本文最初的的地方降到了Objective C的断言,同样Swift也有断言支持。在Swfit中,断言是一个函数:
func assert(_ condition:@autoclosure() -> Bool,
_ message:@autoclosure() -> String =default,
file: StaticString = #file,
line: UInt =#line
)
断言仅在Debug模式下进行检查,帮助开发者发现代码中的问题。
如果需要在Relase模式下也进行检查,则使用precondition
func precondition(_ condition:@autoclosure() -> Bool,
_ message:@autoclosure() -> String =default,
file: StaticString = #file,
line: UInt =#line
)
桥接到Objective C
对于如下使用NSError来处理错误的的Objective 方法
//NSFileManager- (BOOL)removeItemAtURL:(NSURL*)URL error:(NSError* _Nullable *)error;
在Swift中会被自动的转换成
func removeItem(atURL:URL) throws
但是,纯Swfit的Error桥接的Objective C的时候,会有一些问题。因为NSError需要 domain和code等详细信息。
我们可以让Swift的Error实现CustomNSError协议,来提供这些需要的信息。
enum MarryError : Error {
case lackMoney
case wrongSex
}
extension MarryError : CustomNSError {
static let errorDomain ="com.person.marryError"
var erroCode:Int {
switch self {
case .lackMoney:return-100001
case .wrongSex:return-100002
}
}
var errorUserInfo:[String:Any]{
return[:]
}
}
相关的,还有两个协议LocalizedError和RecoverableError