例外処理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
2013年10月8日 (火) 20:02時点におけるJkr2255 (トーク)による版 (lk修正)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索

例外処理(れいがいしょり)とは、プログラムがある処理を実行している途中で、なんらかの異常が発生した場合に、現在の処理を中断(中止)して、別の処理を行うこと。その際に発生した異常のことを例外と呼ぶ。

何を持って「異常」とするかは様々であるが、次のようなものが挙げられる。

例外安全性

あるコード内を実行中の失敗が、メモリリーク、格納データの不整合、不正な出力などの有害な効果を生じないとき、そのコード片は例外安全であると言う。例外安全なコードは例外が発生したとしてもそのコードが備える不変条件を満たさなければならない。例外安全性にはいくつかのレベルがある[1][2]:

  1. 不送出保証、もしくは失敗透過性: 操作は成功するものと保証され、例外的な状況の中であっても全ての要求を満たす。もし例外が発生したとしても、その例外をより上位に送出はしない。(最高レベルの例外安全性)
  2. 強い例外安全性コミット・オア・ロールバックセマンティクス[3]あるいは無変更保証: 操作は失敗することがあるが、失敗した操作は副作用を起こさないことが保証され、すべてのデータは元の値を保持する。
  3. 基本的例外安全性: 失敗した操作の不完全な実行によって副作用が起こることがあるが、状態の不変条件は保たれる。あらゆる格納データは、もはや実行前とは異なるとしても、有効な値を持つ。
  4. 例外安全性なし: 何も保証されない。(最低レベルの例外安全性)

言語サポート

幾つかのプログラミング言語では組み込みの例外処理機能を用意している。例えばAdaC++JavaC#JavaScriptOCamlがそうである。これらの言語では専用の言語機能によってプログラマが例外処理を記述する手間を軽減している。

例外が発生したことを見落として正常時の動作を継続してしまうと、より深刻・致命的な異常を招くおそれがある。それを避けるには例外が発生したことのチェックを綿密に行い、例外が検出された場合には適切な事後処理を行う他ない。しかし、大規模なプログラムではこのようなチェックは膨大なものとなり、本来目的としている正常時の処理よりも多くの記述を必要とする場合すらある。

そこで、これらの言語では例外の発生チェックをほぼ自動化している。例外が発生すると現在の処理を中断する。発生した例外の事後処理を担当できるハンドラを探して次々にコールスタック(関数呼び出し)を遡り、適切なハンドラを見つけるとそれに事後処理を任せる。これにより、遡る途中にあったこの例外を処理する能力を持たない処理は自動的に中断されることになる。

Scheme では言語レベルでの例外処理を持たないが、これは継続が存在するため例外をライブラリレベルで実現できるからである(標準仕様であるSRFI-34で定義されている)。

以下は C#(.NET Framework)のtry、catch の例である。

 try
  {
      //例外が発生する可能性のある処理
  }
  catch
 {
      //例外が発生した原因の処理
  }

Javaでは例外はクラスとして実装する。例外を「投げる(throw)」メソッドは throws Exception のように指定する。Javaプラットフォーム上でJava言語を使用し、発生する例外が java.lang.Exception を継承しているが、しかし java.lang.RuntimeExcption を継承していない場合、try-catch文で例外処理を明示的に記述するか、メソッドに throws を追加する必要がある。ただし、Javaプラットフォーム上で動く言語でも、GroovyScalaなど、Java言語以外の多くは、RuntimeException 以外の例外に対して必ずしも明示的に記述しなくても良くなっている。元々の JDK 1.0 での設計思想は、I/O 処理など他の手段では例外の発生を回避することができない種類の例外に対して RuntimeException を継承させないという設計思想になっていた。

    public void throwError() throws Exception {
	throw new Exception ();
    }

    public void catchException() {
	try {
	    throwError();
	} catch(Exception e) {
	    e.printStackTrace();
        }
    }

制御フローへの転用

例外処理の過程では処理の流れが通常の制御とは大きく変化することとなるが、これを(エラー処理以外の目的で)積極的に利用することは、アンチパターンとされることもある。一方、Ruby[4]Python[5]では、イテレータが終端に達するという、無限ループでなければ必ず発生する事象により例外が起きることもあるほか、Rubyでは例外処理と関係なく大域脱出を行う制御構造も用意されている[6]

戻り値と例外

例外処理(例外オブジェクト)をサポートしないCなどの言語では、従来から関数(サブルーチン)の戻り値によってその関数(処理)の成否を判定する方法がとられてきた。慣例的に、関数の戻り値を32ビット整数値などで宣言して、関数が成功した場合は0を返し、失敗した場合はエラーコードとして何らかの負数を返すことが多い。そして、各エラーコードによって失敗の原因を定義しておき、呼び出し側で原因を判定する。このような戻り値による処理の成否判定には下記のような問題点がある。

  • 戻り値は無視できるため、呼び出し先でエラーが発生しても通常通り処理を継続するプログラムを記述できてしまう。
  • エラーコードはたいてい32ビットの整数値でしかないため、それ以上の詳細な情報(例えばエラーメッセージ)を付加することができない。
  • 戻り値を毎回チェックする判定文を記述するのが煩雑である。

言語レベルでの例外処理はこれらの欠点を解消し、エラーを確実に、かつ統一的に処理する目的で導入されたものと言える。

プログラムとライブラリ

関連項目

参照

テンプレート:Reflist
  1. テンプレート:Cite web
  2. テンプレート:Cite web
  3. http://www.open-std.org/jtc1/sc22/wg21/docs/papers/1997/N1077.asc
  4. class StopIteration Ruby 1.9.3 リファレンスマニュアル(2013年10月7日閲覧)。
  5. 組み込み例外 Python 2.7ドキュメンテーション(2013年10月7日閲覧)。
  6. module function Kernel.#throw Ruby 1.9.2 リファレンスマニュアル(2013年10月7日閲覧)。