導入
関数型および命令型プログラミング言語のコンテキストでは、例外処理システムまたはEMS は、プログラム実行中の例外条件の管理に役立ちます。例外が発生すると、プログラムの通常の実行が中断され、例外が処理されます。
例外ハンドラーの使用は、 DOSでの保護モードの使用、そしてマルチタスク オペレーティング システムの使用により、PC 上で広く普及しました。以前は、プログラミングエラーが発生すると、プログラムが簡単にクラッシュしたり、コンピュータがクラッシュしたりする可能性がありました。
最も一般的なエラー/例外は、おそらくメモリ領域への不正アクセス (ポインタ操作エラー) とゼロによる除算(除数がゼロの場合は想定していません) です。
興味
実行中のプログラムにはエラーが発生する可能性があり、検出および修復方法が可能です。これらのエラーはバグではなく、プログラムの一部の通常の実行における特定の状態 (または例外的な状態、または例外) です。
たとえば、有用なファイルがないことはプログラムのバグではありません。一方で、彼の欠勤を管理しないと、欠勤が発生する可能性があります。
例外的な状況を処理すると、次の 2 つのニーズが明らかになります。
- 通常の実行とエラー処理を区別するための特別な構文、
- 例外的な状況を処理および修復するための「非ローカル」制御フロー。
SGE のないプログラミング言語では、プログラムの通常実行と例外実行を分離するツールがありません。アルゴリズムは、通常の実行がシンプルかつ洗練された方法で表現されていますが、例外的な状況を処理するロジックで「カバー」されると、判読できなくなる (したがって保守が困難になる) 可能性があります。通常の実行と例外的なコンテキストでの実行を区別するための プログラミング言語レベルの構文が役立つ場合があります。
例外的な状況に対処するには、プログラムの実行を「過去」に戻す必要がある場合があります。つまり、呼び出しのチェーンを突然遡って問題のある操作をキャンセルしたり、特定の変数の値を変更してから実行を再開したりする必要がある場合があります。エラー箇所の少し前のプログラム。したがって、呼び出しチェーン内の任意の点で変数のジャンプや変更を行うには、特殊な構文に特殊な演算子を関連付ける必要があります。
例外ハンドラ
例外ハンドラーは、プログラマーによって定義された一連のエラー処理ルーチンをブロック (プログラムの関数またはメソッド内) に確立します。これらのルーチンは、保護されたブロックの実行期間全体にわたってアクティブ化されます。
保護されたブロックの実行の概念には、このブロックからの (関数、プロシージャ、またはメソッドの) 呼び出しのチェーン全体が含まれます。例外ハンドラーはブロックの動的スコープでアクティブであると言います。
例外のレポートは、プログラミング言語または提供されたライブラリで定義された例外に対応する場合、またはレポート プリミティブを使用してプログラマによってトリガーされる場合、自動で行うことができます。通常、新しい例外タイプを作成し、それらを報告するようにスケジュールすることが可能です。
例外ハンドラーは、レポート サイトと例外ハンドラーの確立ポイントの間の語彙環境の変更を可能にするルーチンであるrestartのセットによって補足できます。再起動により、例外ハンドラは計算を完全に放棄するのではなく、修復して再起動することを選択できます。再起動は、それが定義されているブロックの動的スコープ内でもアクティブになります。
