WWDC 2015 宣布了新的 Swift 2.0. 這次重大更新給 Swift 提供了新的異常處理方法。這篇文章會(huì)主要圍繞這個(gè)方面進(jìn)行討論。

如何建造異常類(lèi)型？

在 iOS 開(kāi)發(fā)當(dāng)中，我們會(huì)面對(duì)很多異常處理。在 Cocoa Touch 中我們使用 NSError 來(lái)進(jìn)行異常處理。在新的 Swift 2.0 中，我們可以使用新的 ErrorType protocol。

在 Swift 中， enum 是最好的方法建立屬于你自己的異常類(lèi)型，你只要在你的 enum 中確認(rèn)新的 ErrorType。

enum MyError: ErrorType {  
  case NotExist
  case OutOfRange
}

如何拋出異常

在拋出異常之前，我們需要在函數(shù)或方法的返回箭頭 -> 前使用 throws 來(lái)標(biāo)明將會(huì)拋出異常

func myMethodRetrunString() throws -> String

// No return, we can just add throws in the end
func myMethodRetrunNothing() throws  

聲明之后， 我們需要在函數(shù)或者方法里扔出異常，很簡(jiǎn)單使用throw 就可以了

func myMethod() throws
  //...
  // item is an optional value
  guard let item = item else {
    // need throws the error out
    throw MyError.NotExist
  }
  // do with item
}

上面這段代碼使用了 guard 來(lái)進(jìn)行unwrap optional value。這是 Swift 2.0 提供的一個(gè)新的方法。

Guard

在 Haskell, Erlang 等語(yǔ)言中早已存在 guard， 在這里有更多關(guān)于它的介紹。

guard 翻譯過(guò)來(lái)可以理解為守護(hù)，守衛(wèi)。

在 Swift 中，guard 有點(diǎn)像 if 但是他們有兩個(gè)非常重要的區(qū)別

• guard 必須強(qiáng)制有 else 語(yǔ)句
• 只有在 guard 審查的條件成立，guard 之后的代碼才會(huì)運(yùn)行 (像守衛(wèi)一樣，條件不符就不讓過(guò)去)。

guard 中的 else 只能執(zhí)行轉(zhuǎn)換語(yǔ)句，像 return, break, continue 或者 throws 當(dāng)然你也可以在這里返后一個(gè)函數(shù)或者方法。

值得注意的是，guard的使用會(huì)提高你代碼的可讀性，但是也代表你的代碼的執(zhí)行會(huì)有非常明確的順序性，這一點(diǎn)需要開(kāi)發(fā)者們留心處理。

雖然我們?cè)诋惓Ｌ幚碇刑岬搅?guard 但是不代表它只能在異常處理中使用。它具有廣泛的適用性，或許過(guò)陣子我會(huì)專(zhuān)門(mén)為 guard的使用寫(xiě)篇文章。

如何獲取并處理異常？

上文講述了如何建造拋出異常，獲取和處理異常就變得很簡(jiǎn)單了。使用 do-catch 機(jī)制。

 do {
    try functionWillThrowError()
  } catch {
    // deal with error
  }

do-catch 機(jī)制簡(jiǎn)單易懂。很多編程語(yǔ)言也使用類(lèi)似的機(jī)制進(jìn)行異常處理，但是在 Swift 中有一個(gè)比較重要的特性。

catch 和 switch 一樣具有 Pattern Matching 的能力。所以，使用 catch 你可以對(duì)異常的解析進(jìn)行更為高級(jí)的處理

do {
    try functionWillThrowError()
  } catch MyError.NotExist {
    // deal with not exist
  } catch MyError.OutOfRange {
    // deal with not exist
  }

這里值得提一下在 Swift 2.0中一個(gè)跟異常處理沒(méi)有關(guān)系的改進(jìn)

Swift 2.0 中沒(méi)有了 do-while循環(huán)，取而代之的是 repeat-while。蘋(píng)果說(shuō)這個(gè)改動(dòng)是為了增強(qiáng)代碼的可讀性。但是我更覺(jué)得是為了讓我們更舒服的使用 do-catch

不處理異常

如果我不想處理異常怎么辦，或者說(shuō)，我非常確定某個(gè)方法或者函數(shù)雖然聲明會(huì)拋出異常，但是我自己知道我在使用時(shí)候是絕對(duì)不會(huì)拋出任何異常的。這種情況下 我們可以使用 try!

  try! functionThrowErrorNil()

當(dāng)然，如果你使用 try!，而你的方法或者函數(shù)拋出了異常，那么你會(huì)得到一個(gè)運(yùn)行中異常 (runtime error) 所以我們開(kāi)發(fā)者需要慎用哦。

Defer

文章結(jié)束前我們?cè)儆懻撓?defer

在你的代碼塊就要結(jié)束前。如果你使用了 defer。 在其之中的代碼就會(huì)運(yùn)行。等于說(shuō)，給了你最后的機(jī)會(huì)來(lái)進(jìn)行一些處理。如果你熟悉 BDD 或者 TDD， 那么你可以參考他們中的 aferAll 機(jī)制

func myFunction() throws {  
  defer {
    // No matter what happened I need do something
    print("All done, clean up here")
  }
  guard let item = item else {
    // need throws the error out
    throw MyError.NotExist
  }

  guard item.count > maxNumber else {
    // need throws the error out
    throw MyError.OutOfRange
  }

  // do something with item
  // ...
}

注意，如果你有多個(gè)defer 語(yǔ)句，他們?cè)趫?zhí)行的順序會(huì)和棧一樣，最后一個(gè)進(jìn)，第一個(gè)出。

總結(jié)

• 使用 ErrorType 的幫助建立你的異常類(lèi)型
• 使用 throws 來(lái)聲明異常，用 throw 來(lái)拋出異常
• 使用 do-catch 機(jī)制來(lái)獲取和處理異常