Swift中的錯(cuò)誤處理
Swift provides first-class support for throwing, catching, propagating, and manipulating recoverable errors at runtime.
Swift提供了一套完整的錯(cuò)誤拋出-捕獲-處理機(jī)制庄蹋。Swift采用Error協(xié)議來表示錯(cuò)誤類型午绳，通過do-try-catch的方式來處理可能會(huì)拋出異常的代碼聘鳞。
可選值表示一個(gè)值要么有值，要么是nil酷宵。在Swift中膛腐，Optional是用enum寫的铡俐，
public enum Optional : ExpressibleByNilLiteral {? ?
? ? ?case none? ??
? ? ?case some(Wrapped)? ? //...
}
當(dāng)發(fā)生錯(cuò)誤的時(shí)候结蟋，返回一個(gè)可選值是常見的處理方式。但是探孝，這種方式的有一個(gè)很明顯的缺點(diǎn)：
調(diào)用者不清楚為什么失敗罗丰，也就不好進(jìn)行相關(guān)的處理。
Error是一個(gè)空的協(xié)議再姑，用來表示錯(cuò)誤類型萌抵。NSError和CFError都遵循了這個(gè)協(xié)議。
throws關(guān)鍵字表明這個(gè)方法會(huì)拋出錯(cuò)誤元镀，方法調(diào)用者需要處理錯(cuò)誤绍填。
在Swfit中，枚舉是一個(gè)特別適合用來處理Error的數(shù)據(jù)類型栖疑。我們首先定義一個(gè)類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可以結(jié)婚讨永，結(jié)婚的時(shí)候會(huì)發(fā)生一些錯(cuò)誤，比如錢不夠遇革，比如性別不對(duì)卿闹，用枚舉來表示。
enumMarryError : Error{
? ? ? ?case lackMoney
? ? ? ?case wrongSex
}
然后萝快，方法的實(shí)現(xiàn)如下：
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
? ? ? ? ? }
? }
對(duì)于一個(gè)帶有throws關(guān)鍵字的函數(shù)锻霎，調(diào)用的時(shí)候有兩種方式選擇：
使用 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)
}
當(dāng)然，如果不需要區(qū)分每一個(gè)Error揪漩，也可以這么調(diào)用旋恼。
do { ??
? ? ? ?try tom.marry(with: jack)
}catch let error {? ??
? ? ? ?print(error)
}
使用 try?，對(duì)于有返回值的throws函數(shù)奄容，使用try?會(huì)把結(jié)果轉(zhuǎn)換為可選值冰更。
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關(guān)鍵字用來處理類似Ojective C中@try-@catch-@finally中产徊，@finally的作用。?
比如蜀细，我們打開文件舟铜，如果拋出錯(cuò)誤的話，我們總希望關(guān)閉這個(gè)文件句柄奠衔。
func contents(of filePath:String) throws -> String {? ?
? ? ? ? ? let file = open(filePath,O_RDWR)? ??
? ? ? ? ? defer {? ? ? ? close(file)? ?
? ? ? ? ? ?}? ??
? ? ? ? ? ?//...
}
defer代碼塊的內(nèi)容在退出作用域之前會(huì)被執(zhí)行
關(guān)于defer谆刨，有兩點(diǎn)需要注意
多個(gè)defer會(huì)按照逆序的方式執(zhí)行。
當(dāng)你的程序遇到嚴(yán)重錯(cuò)誤涣觉，比如fatalError,或者強(qiáng)制解析nil痴荐，或者segfaults的時(shí)候血柳，defer的代碼塊并不會(huì)執(zhí)行官册。
rethrow關(guān)鍵字在高階函數(shù)中比較常見，所謂高階函數(shù)难捌，就是一個(gè)函數(shù)的參數(shù)或者返回值是函數(shù)類型膝宁。
最常見的比如，Sequence協(xié)議map方法根吁。
let array= [1,2,3]
let result = array.map{$0*2}
由于map函數(shù)傳入的是一個(gè)閉包员淫，這個(gè)閉包可能會(huì)拋出錯(cuò)誤。由參數(shù)拋出的錯(cuò)誤最后會(huì)向上傳遞給map函數(shù)击敌。
比如：
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)
這樣是編譯不通過的介返。
調(diào)用的時(shí)候需要：按照上文提到的throws關(guān)鍵字的路子來
do{
? ? ? let result = try array.map(customMapper)
}catch let error {
}
所以，這就是rethrows關(guān)鍵字的精髓所在
rethrows 關(guān)鍵字表示當(dāng)參數(shù)閉包標(biāo)記為throws的時(shí)候沃斤，函數(shù)本身為throws圣蝎。如果參數(shù)閉包不會(huì)拋出錯(cuò)誤，則函數(shù)也不會(huì)衡瓶。
通過這個(gè)關(guān)鍵字徘公，你不必每次都進(jìn)行try-catch
我們知道，一個(gè)函數(shù)執(zhí)行要么成功哮针，要么失敗关面。成功的時(shí)候我們希望返回?cái)?shù)據(jù)，失敗的時(shí)候我們希望得到錯(cuò)誤信息十厢，這就是Result類型等太，一個(gè)典型的Result類型如下：
enum Result{
? ? ? ? ? case success(T)
? ? ? ? ? case failure(error:Error)
}
通過Result類型，不再需要可選值或者do-try-catch來包裹你的代碼蛮放。
我們用Result類型對(duì)上述marry函數(shù)進(jìn)行重寫：
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)? ?
? ? ? ? ? ? }
}
然后澈驼，這么調(diào)用
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中有可選鏈，來處理多個(gè)可選值的連續(xù)調(diào)用筛武。同樣的缝其，我們也可以為Result類型來添加鏈?zhǔn)秸{(diào)用：
如果上一個(gè)調(diào)用結(jié)果是.success, 則繼續(xù)調(diào)用下一個(gè)
如果上一個(gè)調(diào)用結(jié)果是.failure, 則傳遞failure給下一個(gè)
我們可以用extension來實(shí)現(xiàn)
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))? ? ? ?
? ? ? ? ? ? ? ? }? ??
? ? ? ? }
}
于是挎塌，你就可以這么調(diào)用了
resut.flatMap({//轉(zhuǎn)換1}).flatMap(//轉(zhuǎn)換2)...
一旦失敗，中間有一次flatMap轉(zhuǎn)換失敗内边，則之后的轉(zhuǎn)換邏輯都不會(huì)執(zhí)行
進(jìn)階：Result類型在Swift版本的Promise中大行其道榴都，可以參見PromiseKit的源碼，promise讓異步處理變得優(yōu)雅漠其。
在本文最初的的地方降到了Objective C的斷言嘴高，同樣Swift也有斷言支持。在Swfit中和屎，斷言是一個(gè)函數(shù)：
func assert(_ condition:@autoclosure() -> Bool,? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? _ message:@autoclosure() -> String =default,? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ?file: StaticString = #file,? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ?line: UInt =#line
)
斷言僅在Debug模式下進(jìn)行檢查拴驮，幫助開發(fā)者發(fā)現(xiàn)代碼中的問題。
如果需要在Relase模式下也進(jìn)行檢查柴信，則使用precondition
func precondition(_ condition:@autoclosure() -> Bool,? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?_ message:@autoclosure() -> String =default,? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?file: StaticString = #file,? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?line: UInt =#line
)
對(duì)于如下使用NSError來處理錯(cuò)誤的的Objective 方法
//NSFileManager- (BOOL)removeItemAtURL:(NSURL*)URL error:(NSError* _Nullable *)error;
在Swift中會(huì)被自動(dòng)的轉(zhuǎn)換成
func removeItem(atURL:URL) throws
但是套啤，純Swfit的Error橋接的Objective C的時(shí)候，會(huì)有一些問題随常。因?yàn)镹SError需要?domain和code等詳細(xì)信息潜沦。
我們可以讓Swift的Error實(shí)現(xiàn)CustomNSError協(xié)議，來提供這些需要的信息绪氛。
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[:]? ??
? ? ? ? }
}
相關(guān)的唆鸡，還有兩個(gè)協(xié)議LocalizedError和RecoverableError
