Swift - 异常处理

/ Mac / 没有评论 / 1273浏览

Swift - 异常处理

Swift 对 Error Handling详解

苹果官方文档解释

跟其它语言一样,Swift的异常处理是在程序抛出异常后的处理逻辑。 Swift提供了一流的异常抛出、捕获和处理的能力。跟Java语言类似, Swift的异常并不是真正的程序崩溃, 而是程序运行的一个逻辑分支;Swift和Java捕获异常的时序也是一样的。当Swift运行时抛出异常后并没有被处理, 那么程序就会崩溃。

在Swift语言中使用Error表示异常, 作用同Java的Exception类或Object-C的NSError类。 苹果建议使用枚举作为异常类型(为什么不推荐用类或者结构体?答案是枚举数据类型本身就是分成若干种情况,很适合做逻辑分支判断条件)。

enum VendingMathineError: Error {
    case invalidSelection
    case insufficientFunds(coinsNeed: Int)
    case outOfStack
}

上面声明了枚举类型VendingMathineError,继承于Error。 注意Swift的所有异常类型都继承于Error, 就像Java所有异常类都继承于Exception一样。

类似于Java处理异常的try/catch/finally, Swift提供了try、try?、try!、catch、throw、throws关键字处理异常逻辑,用法跟Java也很像。

如何声明一个可能抛出异常的函数? 在函数参数括号后面添加throws关键字, 跟Java语法有点像;区别是Swift的throws后面不用跟着异常类、而Java的throws后面要有异常类名称。 你只要告诉Swift这个函数可能抛出异常就够了,不需要说明到底是哪种异常,函数体内可以抛出任意类型的异常(肯定是继承于Error)。

func canThrowErrors() throws -> String

示例

func canThrowErrors(type: Int) throws -> String? {
    //函数体写成switch/case更好一些
    if type == 1 {
        throw VendingMathineError.invalidSelection
    }
    if type == 2 {
        throw VendingMathineError.outOfStack
    }
    if type == 3 {
        throw VendingMathineError.insufficientFunds(coinsNeed: 100)
    }
    return "success"
}

上面测试代码是为了测试抛异常逻辑, 函数体写成switch/case更好一些。 从canThrowErrors函数看出,当参数为1、2或3时会抛异常, 语法是throw ... 且程序会跳出函数体,语法同Java。

Swift提供了一种类似于Java try/catch的语法, 是do(函数体内必须有try且该语句可能抛出异常)、catch。

do {
		try expression
    statements
} catch pattern 1 {
    statements
} catch pattern 2 where condition {
    statements
}

注意:如果try语句抛出异常则会跳出do代码块,并按顺序逐个catch,当一个catch捕获成功后,后面的catch不再执行。

do {
    var data = try canThrowErrors(type: 3)//执行这个函数 这个函数可能抛出异常

    print("after execute canThrowErrors")
    if data != nil {
        print("Error test data:\(data)")
    }
} catch VendingMathineError.outOfStack {
    print("outOfStack")
} catch VendingMathineError.invalidSelection {
    print("invalidSelection")
} catch {      //类似于Java的catch(Exception ex)
    print("Error")
}

输出:

Error

try canThrowsErrors(type: 3)会抛出VendingMathineError.isSufficientFunds(coinsNeed:100),不属于前2个catch类型, 而最后一个catch是捕获所有异常, 所有会执行其函数体。是不是感觉少了点什么? 对, 少了个类似于Java的finally,后面会介绍。 下面再介绍一下try?和try!的用法。

let x = try? someThrowingFunction()
//与下面的相同
let y: Int? 
do{
       y = try someThrowingFunction()
}catch {
    y = nil
}

try?后面的语句可能会抛出异常, 如果抛出异常则赋值nil给左侧;如果没抛出异常则将返回值赋给左侧;

try!取消异常捕获逻辑,语法有点任性,相当于裸奔, 明知可能抛出异常,但自信这段代码不会抛异常。 try!是try?的补充。你确定后面语句不会抛出异常,但真的抛出异常后程序会崩溃。不建议使用try!,有使用场景推荐使用try?

let tmpX = try? canThrowErrors(type: 1)  //如果抛出异常程序正常运行并赋值nil给左侧, 如果没抛异常则将返回值赋给左侧
// let tmpY = try! canThrowErrors(type: 2)  //你很确定不会抛出异常时这样用,但如果运行时抛异常会导致程序崩溃

Swift使用defer关键字作用同Java的finally, 即使代码块内有break、continue、return或者抛异常,在退出代码块后仍然会执行defer代码块

下面代码只是为了测试,验证函数体内抛出异常时的执行时序, 语法逻辑跟finally一模一样。

func testDefer(_ param: Int) throws -> String {
  print("testDefer begin")
  defer {//抛出异常就执行defer 为抛出异常就最后执行defer
    print("testDefer exit")
  }
  // do something... 
  if param == 1 {
    throw VendingMathineError.invalidSelection
  }
  print("testDefer end")
  return "testDefer return"
}
//调用函数 该函数抛出异常tmpZ = nil
let tmpZ = try? testDefer(1)

输出:

testDefer begin
testDefer exit

没有 defer 抛出异常的执行逻辑

func testDeferNormal() {
  print("testDefer begin")
  defer {
    print("testDefer exit")
  }
  print("testDefer end")
}
testDeferNormal()