错误处理(Error handling)是响应错误以及从错误中恢复的过程。Swift 提供了在运行时对可恢复错误的抛出、捕获、传递和操作的一等公民支持。
表示并抛出错误
在 Swift 中,错误用符合Error
协议的类型的值来表示。这个空协议表明该类型可以用于错误处理。
Swift 的枚举类型
尤为适合构建一组相关的错误状态,枚举的关联值还可以提供错误状态的额外信息。
enum VendingMachineError: Error {
case invalidSelection //选择无效
case insufficientFunds(coinsNeeded: Int) //金额不足
case outOfStock //缺货
}
抛出一个错误可以让你表明有意外情况发生,导致正常的执行流程无法继续执行。抛出错误使用throw
关键字。
throw VendingMachineError. insufficientFunds(coinsNeeded: 5)
用 throwing 函数传递错误
为了表示一个函数、方法或构造器可以抛出错误,在函数声明的参数列表之后加上throws
关键字。一个标有throws
关键字的函数被称作throwing
函数。如果这个函数指明了返回值类型,throws
关键词需要写在箭头(->
)的前面。
func canThrowErrors() throws -> String
func cannotThrowErrors() -> String
一个 throwing 函数可以在其内部抛出错误,并将错误传递到函数被调用时的作用域。
注意
只有 throwing 函数可以传递错误。任何在某个非 throwing 函数内部抛出的错误只能在函数内部处理。
下面的例子中,VendingMachine
类有一个vend(itemNamed:)
方法,如果请求的物品不存在、缺货或者投入金额小于物品价格,该方法就会抛出一个相应的VendingMachineError
:
struct Item {
var price: Int
var count: Int
}
class VendingMachine {
var inventory = [
"Candy Bar": Item(price: 12, count: 7),
"Chips": Item(price: 10, count: 4),
"Pretzels": Item(price: 7, count: 11)
]
var coinsDeposited = 0
func dispenseSnack(snack: String) {
print("Dispensing \(snack)")
}
func vend(itemNamed name: String) throws {
guard let item = inventory[name] else {
throw VendingMachineError.InvalidSelection
}
guard item.count > 0 else {
throw VendingMachineError.OutOfStock
}
guard item.price <= coinsDeposited else {
throw VendingMachineError.InsufficientFunds(coinsNeeded: item.price - coinsDeposited)
}
coinsDeposited -= item.price
var newItem = item
newItem.count -= 1
inventory[name] = newItem
print("Dispensing \(name)")
}
}
因为vend(itemNamed:)
方法会传递出它抛出的任何错误,在你的代码中调用此方法的地方,必须要么直接处理这些错误——使用do-catch
语句,try?
或try!
;要么继续将这些错误传递下去。例如下面例子中,buyFavoriteSnack(_:vendingMachine:)
同样是一个 throwing
函数,任何由vend(itemNamed:)
方法抛出的错误会一直被传递到buyFavoriteSnack(person:vendingMachine:)
函数被调用的地方。
let favoriteSnacks = [
"Alice": "Chips",
"Bob": "Licorice",
"Eve": "Pretzels",
]
func buyFavoriteSnack(person: String, vendingMachine: VendingMachine) throws {
let snackName = favoriteSnacks[person] ?? "Candy Bar"
try vendingMachine.vend(itemNamed: snackName)
}
因为vend(itemNamed:)
方法能抛出错误,所以在调用的它时候在它前面加了try
关键字。
throwing
构造器能像throwing
函数一样传递错误.例如下面代码中的PurchasedSnack
构造器在构造过程中调用了throwing
函数,并且通过传递到它的调用者来处理这些错误。
struct PurchasedSnack {
let name: String
init(name: String, vendingMachine: VendingMachine) throws {
try vendingMachine.vend(itemNamed: name)
self.name = name
}
}
用 Do-Catch 处理错误
可以使用一个do-catch
语句运行一段闭包代码来处理错误。如果在do
子句中的代码抛出了一个错误,这个错误会与catch
子句做匹配,从而决定哪条子句能处理它。
下面是do-catch
语句的一般形式:
do {
try expression
statements
} catch pattern 1 {
statements
} catch pattern 2 where condition {
statements
}
将错误转换成可选值
可以使用try?
通过将错误转换成一个可选值来处理错误。如果在评估try?
表达式时一个错误被抛出,那么表达式的值就是nil
。例如,在下面的代码中,x
和y
有着相同的数值和等价的含义:
func someThrowingFunction() throws -> Int {
// ...
}
let x = try? someThrowingFunction()
let y: Int?
do {
y = try someThrowingFunction()
} catch {
y = nil
}
如果someThrowingFunction()
抛出一个错误,x
和y
的值是nil
。否则x和y的值就是该函数的返回值。注意,无论someThrowingFunction()
的返回值类型是什么类型,x
和y
都是这个类型的可选类型。例子中此函数返回一个整型,所以x
和y
是可选整型。
禁用错误传递
有时你知道某个throwing
函数实际上在运行时是不会抛出错误的,在这种情况下,你可以在表达式前面写try!
来禁用错误传递,这会把调用包装在一个不会有错误抛出的运行时断言中。如果真的抛出了错误,你会得到一个运行时错误。
运行时不会有错误抛出,所以适合禁用错误传递。
let photo = try! loadImage(atPath: "./Resources/John Appleseed.jpg")
指定清理操作
可以使用defer
语句在即将离开当前代码块时执行一系列语句。该语句让你能执行一些必要的清理工作,不管是以何种方式离开当前代码块的——无论是由于抛出错误而离开,还是由于诸如return
或者break
的语句。例如,你可以用defer
语句来确保文件描述符得以关闭,以及手动分配的内存得以释放。
defer
语句将代码的执行延迟到当前的作用域退出之前。该语句由defer
关键字和要被延迟执行的语句组成。延迟执行的语句不能包含任何控制转移语句,例如break
或是return
语句,或是抛出一个错误。延迟执行的操作会按照它们被指定时的顺序的相反顺序执行——也就是说,第一条defer
语句中的代码会在第二条defer
语句中的代码被执行之后才执行,以此类推。
func loadImage(atPath: String?) -> String {
guard atPath != nil else {
print("1")
return "1"
}
defer {
print("1-1")
}
defer {
print("1-2")
}
print("12")
return "12"
/*
1、defer在函数执行完后才被执行。
2、函数中如果有多个defer,会逆序执行,意思就是在执行完最后一个defer代码块,然后在执行上一个,以此类推。
*/
}
func test () {
let photo = loadImage(atPath: "1")
defer {
print("2-1")
}
}
test() //12 1-2 1-1 2-1
引自:http://www.piggybear.net/?p=700