例外以外のエラーハンドリング方法はありますか？

Question

最近はほとんどの言語でtry-catch文やそれに類する例外処理機構が実装されていますが、このような例外は劣化したgotoに他ならないという批判的な意見も聞きます。
では、このような例外処理ではない、他のエラーハンドリング方法というのはあるのでしょうか。

Answer 1

いまモダンとされているエラー表現手法は、Either型やOption（OptionalとかMaybeとかとも）型を使った返し方ですね。
Swift, Scalaのような最近の言語はこれらを基本にしていますし、JavaもJava8からOptionalを標準クラスライブラリに取り込み始めました。

Either型は、成功した場合は戻り値を、失敗した場合は失敗原因を表現するオブジェクトを保持しているようなクラスです。そして、Either型データを扱うときには、もちろん「成功か失敗か」を判定するコードを自力で書いてもいいのですがもっとスマートな方法が提供されています。「成功した場合はその戻り値でこれをしろ」「失敗した場合はその原因によってこれをしろ」という処理を書いたラムダ式を渡せるのです。

Option型は、失敗しても失敗原因は持っていないEither型だと思ってください。成功した場合のラムダ式だけ受け取れます。

Comments

[t-miyazaki]

ありがとうございました。Javaでもラムダ式を駆使して使う構文が用意されていましたね。

Answer 2

現実問題として、例外以外の手法で異常な状態を扱うには、

• C言語のerrnoのような、何かしらのオブジェクトにエラー状態を持たせて、それをチェックする
• 返り値としてエラー情報を流す

などのようなものが考えられます。

ただし、言語側で例外機構に従って標準ライブラリや処理系が構築されている場合や、使うライブラリが例外を投げてくるような場合、例外を処理しなければ強制終了が待っていますので、選択肢はありません。

Comments

[t-miyazaki]

ありがとうございました。