do-catch文
do-catch文を使ったエラー処理では、
エラーが発生する可能性がある処理をdo節内に記述し、
エラーが発生するとcatch節に移動します。
なお、catch節内ではエラーの詳細情報にアクセスできるので、
Result<Success, Failure>型と同様にエラー詳細を用いた処理を行うことができます。
do-catch、優秀ですね！
実装方法
do-catch文では、throw文によるエラーが発生し得る処理をdo節内に記述し、
catch節にエラー処理を記述します。
throw文はエラーを発生させる文で、
Errorプロトコルに準拠した値を使います。
また、catch節では暗黙的に宣言された定数errorを使うことができます。
do {
throw文によるエラーが発生する可能性のある処理
} catch {
エラー処理
定数errorを通じてエラー値にアクセス可能
}
次のサンプルコードでは、
Errorプロトコルに準拠したSomeError型を定義し、エラーを発生させています。
print( )が実行される前にcatch節へ移行するため、
do節のprint( )でなく、catch節のprint( )が実行されます。
struct SomeError: Error {}
do {
throw SomeError()
print("Success")
} catch {
print("Failure: \(SomeError())")
}
実行結果
Failure: SomeError()
catch節ではエラーを分けることもできます。
分ける方法としては、パターンマッチを使います。
パターンマッチの文法はSwitch文と同様で、
全てのケースを網羅しなければならなかったり、
defaultキーワードの役割のcatch節も存在します。
enum SomeError: Error {
case error
case warning(String)
}
do {
throw SomeError.warning("なんか変だよ？")
} catch SomeError.error {
print("Error")
} catch SomeError.warning(let reason) {
print("Warning: \(reason)")
} catch {
print(error)
}
実行結果
Warning: なんか変だよ？
Errorプロトコル
throw文のエラーを表現する型は、
Errorプロトコルに準拠している型だということは冒頭で説明しました。
型は基本的に列挙型で定義します。
それにも理由があり、発生するエラーを網羅的に記述できるからです。
また、プログラム全体で起こり得るあらゆるエラーを１つの型に記述するのではなく、
エラーの種類ごとに型を定義することが一般的らしいです。
この理由としては、パターンマッチを記述する時に、
全てのケースを記述する必要があるからだと勝手に思っています。
throwsキーワード
throwsキーワードは関数やイニシャライザ、クロージャの定義に追加します。
そうすることにより、
do-catch文を用いずにthrow文によるエラー処理を発生させることができます。
func 関数名(引数) throws -> 戻り値の型 {
throw文によるエラーが発生する可能性のある処理
}
次のサンプルコードでは、
引数に貰った値を２倍にして返す関数を定義しています。
２倍した際にInt型の許容範囲を超えてしまう可能性があるので、
guard文でint <= Int.max / 2のように確認しています。
Int.max / ２の値よりも引数の値が大きかった場合は
エラー処理を行う流れになっております。
enum OperationError: Error {
case overCapacity
}
func double(value int: Int) throws -> Int {
guard int <= Int.max / 2 else {
throw OperationError.overCapacity
}
return int * 2
}
throwsキーワードはイニシャライザにも使用できます。
イニシャライザで使う場合は、
インスタンス化の途中で発生したエラーを呼び出し元に伝えることができます。
次のサンプルコードでは、
引数で貰った値が奇数だった場合はエラーを起こすようにしています。
enum CheckValue: Error {
case valueIsOdd
}
struct Sample {
let value: Int
init(value: Int) throws {
guard value % 2 == 0 else {
throw CheckValue.valueIsOdd
}
self.value = value
}
}
rethrowsキーワード
この記事を書くにあたり初めて聞いたキーワードなのですが、
rethrowsキーワードは、関数やメソッドをrethrowsキーワードを指定して定義することで、
引数のクロージャが発生させるエラーを関数の呼び出し元に伝播させる事ができるらしいです。
つまり、rethrowsキーワードを指定する場合は、
最低でも１つのエラーを発生させるクロージャを引数にとる必要があります。
つまり、下記のサンプルコードの状態です。
実際に書いてみたけど難しい！！(笑)
関数のdivision( )は第一引数にInt型の値を、第二引数にクロージャをもらいます。
そして偶数だった場合は２で割った値を戻り値に、奇数だった場合はエラー処理を行います。
(tryについてはこの記事の続きで説明します。)
割り切れる値だった場合は、
throw SomeError.valueIsOddが実行されずにvalueの値が2で破られた値になります。
enum SomeError: Error {
case valueIsOdd
}
func division(value: Int, closure: (_ value: Int) throws -> Void) rethrows -> Int {
// 引数で貰ったvalueを2で割って余りが0ではなかったらguard内を実行
guard value % 2 == 0 else {
// クロージャを実行
try closure(value)
return value
}
return value / 2
}
var value = 0
do {
// エラーを起こす可能性があるのでdo節内に記述する
try value = division(value: 11, closure: { (value) in
// 割り切れなかったらクロージャが実行される
throw SomeError.valueIsOdd
})
} catch {
print(error)
}
print(value)
実行結果
valueIsOdd
0
まだ実装方法の途中ですがキリがいいのでここまでにします。
続きはtryキーワードについて説明していますのでぜひご覧ください。
-> 【Swift】do-catch文でエラー処理を行う（その2）
また、他のエラー処理についても記事にしているのでぜひご覧ください。
・【Swift】Optional<Wrapped>型でエラー処理を行う
・【Swift】Result<Success, Failure>型でエラー処理を行う
・【Swift】fatalError関数によるプログラムの終了
・【Swift】アサーションによるプログラムの終了
最後までご覧いただきありがとうございました。