ソフトウェア例外の発生

プログラムエラーの最も一般的な原因のいくつかは、システムによって例外としてフラグが設定されません。たとえば、メモリブロックを割り当てるときにメモリが不足していると、ランタイム関数または API 関数で例外は発生しませんが、エラーコードが返されます。

ただし、コードの条件を検出し、RaiseException 関数を呼び出してその条件を報告することで、条件を例外として処理できます。この方法でエラーにフラグを設定すれば、構造化例外処理の長所をあらゆるランタイムエラーに取り込むことができます。

エラーで構造化例外処理を使用するには、次の手順に従います。

<winerror.h> ファイルは例外コードの形式を示します。既存の例外コードと競合するコードを定義しないように、第 3 上位ビットを 1 に設定します。 4 つの最上位ビットは、次の表に示すように設定する必要があります。

Bits	推奨バイナリ設定	説明
31-30	11	これら 2 つのビットは、コードの基本的なステータスを示します (11 = エラー、00 = 成功、01 = 情報、10 = 警告)。
29	1	クライアントビット。ユーザー定義コードの場合は 1 に設定します。
28	0	予約済みのビット (0 に設定しておきます)。

必要であれば、最初の 2 ビットをバイナリ 11 以外に設定できますが、通常はほとんどの例外に "エラー" を設定します。注意すべき重要事項は、前の表に示すようにビット 29 と 28 を設定することです。

したがって、結果のエラーコードは 16 進数の E に設定された最上位の 4 ビットが必要です。たとえば、次の例では、Windows 例外コードと競合しない例外コードを定義しています (ただし、サードパーティの DLL がどのコードを使用するか確認する必要があります)。

#define STATUS_INSUFFICIENT_MEM       0xE0000001
#define STATUS_FILE_BAD_FORMAT        0xE0000002

例外コードを定義したら、そのコードを使用して例外を発生させることができます。たとえば、次のコードでは、メモリ割り当てエラーを検出すると STATUS_INSUFFICIENT_MEM 例外が発生します。

lpstr = _malloc( nBufferSize );
if (lpstr == NULL)
    RaiseException( STATUS_INSUFFICIENT_MEM, 0, 0, 0);

例外を簡単に発生させるには、最後の 3 つのパラメーターを 0 に設定します。最後の 3 つのパラメーターは、追加情報を渡し、ハンドラーの実行を中止するフラグを設定するときに使用します。詳細については、Windows SDK のRaiseException 関数の説明を参照してください。

例外処理フィルターで、定義したコードをテストできます。次に例を示します。

__try {
    ...
}
__except (GetExceptionCode() == STATUS_INSUFFICIENT_MEM ||
        GetExceptionCode() == STATUS_FILE_BAD_FORMAT )

関連項目