[Swift] Swift の Result | SmallDeskSoftware

⌛️ < 1 min.

100DaysOfSwiftUIでResultを学習しました。

ちょっと面白そうだったので、もう少し調べてみました。

Resultの定義

Resultそのものは、なんとenumです！

enum Result where Failure : Error

上記は、
「Resultは、任意の型SuccessとErrorプロトコルに適合したFailureというタイプを使います。」ということです。

ちなみに、Errorプロトコルと書かれていますが、このプロトコルが要求するものは、なにも無いです。

便利な点その１：OK/NG判定が定型的になる

成功/エラーの判定が画一的にできることが、便利な点となります。これまでは、返り値が、nilだったり、errorがnon-nilだったりといろいろとあり、きちんと確認しなければいけませんでしたが、このResult型が返されるとすると、エラー処理についても定型的に処理できることになります。（もちろん、処理内容はケースバイケースです）
具体的には、このResultを、switch対象とすると、case として、 .success と .failure の２つしかあり得ないことを保証されていることで、エラー判定が非常にシンプルになります。

switch result {
case .success(let str):
    print(str)
case .failure(let error):
    switch error {
    case .Error1:
        print("error1")
    case .Error2:
        print("error2")
    }
}

Swiftでのswitch文は、全ケースを網羅していないとエラーとなりますが、上記は、.successと.failureを列挙しているだけでOKとなります。
＃ PlayGround等で試してみるとわかります。

返り値とerrorの値の組み合わせを考慮する必要がなくなるのは、読みやすいコードに繋がりますよね。

便利な点その２：エラーの内容を網羅的にチェックできる

上記でサンプルとして挙げたコードのErrorは、自分で以下のように定義していました。

enum MyError: Error {
    case Error1, Error2
}

自分が定義していればという前提付きとなりますが、エラーのパターンとして、上記で列挙したものしか返ってこないことが保証されます。
Swiftのswitch文を使うことで、きちんと全てのエラーケースをチェックしているかどうかを言語的にチェックすることが可能となります
上記の.failure節を見てもらうとわかりますが、.Error1と.Error2を列挙していないと、コンパイルエラーとなります。