内容

目的: 今一度swift2のエラーハンドリングを復習しておこう
目次:
- Error handling in objc
  - NSError
- Error handling in swift
  - try, do-catch, defer
  - Yet another approach: Results

Error handling in objc

NSError

unix process
- 0 ... 正常終了
- 1~255 ... 異常
NSError
- code: Int
- domain: String. code重複の防止
- userInfo: [NSObject: AnyObject]?
  - reasonやメッセージを渡す

(NSError **) を最後の引数に入れるパターン

NSError *error = nil;
BOOL success = [[NSFileManager defaultManager] moveItemAtPath:@"/path/to/target"
                                                       toPath:@"/path/to/destination"
                                                        error:&error];
if (!success) {
    NSLog(@"%@", error);
}

コールバックの最後の引数に (NSError *)を入れるパターン

NSURL *URL = [NSURL URLWithString:@"http://example.com"];
NSURLRequest *request = [NSURLRequest requestWithURL:URL];
NSURLSession *session = [NSURLSession sessionWithConfiguration:[NSURLSessionConfiguration defaultSessionConfiguration]];
[[session dataTaskWithRequest:request
            completionHandler:^(NSData *data, NSURLResponse *response, NSError *error) {
    if (!data) {
        NSLog(@"%@", error);
    } else {
        // ...
    }
}] resume];

問題点

冗長
エラーチェックを忘れがち
- エラーチェックを忘れてもコンパイルエラーにはならない
エラー時のclose処理などが簡潔に書けない
- goto?

Error handling in swift

Error handling in swift

簡潔に書きたい
エラー処理忘れをコンパイル時にチェックしたい
closeなどの復帰処理を簡潔に

ErrorType

ErrorTypeは空のprotocol
enumでもstructでもclassでも良い
throw文を使ってerrorを投げる
- func canThrowErrors() throws -> String

Handling Error

４つのハンドリング方法
- propagation
- do-catch
- optional value
- assert

Swift book より

When a function throws an error, it changes the flow of your program, so it’s important that you can quickly identify places in your code that can throw errors

どこでエラーが起こるのかが、すぐに特定できることが重要

コスト

Swift error handlingはcall stackを辿ったりはしない
コストはほぼ通常のreturnと同じ

Propagating Errors Using Throwing Functions

tryキーワードをメソッド呼び出しの前につける
try vendingMachine.vend(itemNamed: name)

Handling Errors Using do-catch

do {
    try expression
    statements
} catch pattern 1 {
    statements
} catch pattern 2 where condition {
    statements
} catch {
    print(error)
}

Handling Errors Using do-catch

do節内でErrorが投げられたら, マッチするcatch節に処理が移る
- pattern matching(where)
patternを書かないとerrorにbindされる(default)
必ず全てをcatchする必要はなくて、一部のエラーは伝搬させるということもできる

Converting Errors to Optional Values

try? を使うと結果をoptionalで取得できる

let x = try? someThrowingFunction()
 
let y: Int?
do {
    y = try someThrowingFunction()
} catch {
    y = nil
}

Converting Errors to Optional Values

すぐにreturnする場合など、処理が単純な場合は簡潔に書ける

func fetchData() -> Data? {
    if let data = try? fetchDataFromDisk() { return data }
    if let data = try? fetchDataFromServer() { return data }
    return nil
}

Assert

try!
エラーが基本発生しないとわかっている時は、値をunwrapしてruntimeにassertionさせる

let photo = try! loadImage("./Resources/John Appleseed.jpg")

Cleanup Actions

finally?
- つ defer

func processFile(filename: String) throws {
    if exists(filename) {
        let file = open(filename)
        defer {
            close(file)
        }
        while let line = try file.readline() {
            // Work with the file.
        }
        // close(file) is called here, at the end of the scope.
    }
}

まとめ

簡潔に書きたい
- try!, try?, guard, let, defer
エラー処理忘れをコンパイル時にチェックしたい
- throws でエラーの発生可能性明示
- コンパイル時にチェック
closeなどの復帰処理を簡潔に
- defer

他言語との比較

Java: 検査例外
- 無視することができない
- catch (Exception e){}による握りつぶしが横行
C#
- 非検査例外
- catch し忘れ
Swift
- 検査例外に近い
- tryでエラーの起こる箇所の明示
- 実行時のオーバーヘッドが少ない

Results

Result : 「成功かもしくは失敗」を表現した型
Optionalにさらに付加情報を加えたもの
メソッドの戻り値にResultを使う
- パターンマッチが使える

enum Result {
   case .Success(T)
   case .Error(E)
}

enum Optional<T> {
    case .Some(T)
    case .None
}

antitypical/Result

デファクト
ReactiveCocoa, APIKitなどいろんなライブラリで使われている
map and flatMap, making Result more composable than throw
materialize/dematerialize でthrowsと変換

func stringForKey(json: JSONObject, key: String) -> Result<String, JSONError>  {
 ...
}

switch stringForKey(json, key: "email") {
case let .Success(email):
    print("The email is \(email)")
case let .Failure(JSONError.NoSuchKey(key)):
    print("\(key) is not a valid key")
case .Failure(JSONError.TypeMismatch):
    print("Didn't have the right type")
}

map, flatMap, mapError, flatMapError

let idResult = intForKey(json, key:"id").map { id in String(id) }
let keyStringVal = stringForKey(json, key: "key").flatMap {
    stringForKey(json, key: $0)
}

Errorの型が合わない時はmapError, flatMapErrorで型を合わせる
Rustのtry! macroはこのアプローチをさらに書きやすくしたもの

今後への期待

非同期例外
- C#, JavaScriptのような async await catch
- 言語側でのResultのサポート

References