C言語でtry-catchによるエラー処理をマスターする:実践ガイド

「try」と「catch」という言葉は、プログラムがコードやデータの問題によって例外(エクセプション)に遭遇した際の対処方法を表しています。例外はコード内のtryブロックで発生し、catchブロックがその例外を検出して処理する役割を担います。try-catch構文は、Python、C++、JavaScriptなど、多くのプログラミング言語で採用されています。

本記事では、try-catch文の基本的な仕組みを解説し、C言語での実装例を交えながら具体的な使い方をご紹介します。

try-catch文とは?

tryステートメントは、例外を引き起こす可能性のある一連の処理を定義するためのものです。特定の種類の例外が発生すると、その例外はcatchブロックへ送られます。もしtry/catchブロックで例外が適切に処理されなかった場合、コンパイラはエラーメッセージを出力するか、あるいは例外が対処されるまで呼び出しスタックをさかのぼり続けることになります。

try-catch文の一般的な構文は以下のとおりです。

try {
    /*
    エラーが発生する可能性のあるコードを記述
    */
}
catch {
    /*
    発生したエラーを処理するコードを記述
    */
}

C言語におけるtry-catch文とは?

残念ながら、C言語は例外処理を標準ではサポートしていません。組み込みの例外処理メカニズムが存在しないためです。しかし、setjmpとlongjmpという2つの関数呼び出しを利用することで、一定レベルまでこの仕組みを模倣することが可能です。なお、スタックを遡った後のメモリ解放の仕組みがないまま例外処理を実装すると、効率的にも安全性にも問題が生じます。C言語にはガベージコレクタがないため、メモリ(RAM)を解放するには、コンテキストマネージャ的な仕組みも併せて導入する必要があります。

ここからは、コードを少しずつ改善しながら、ソリューションを段階的に構築していきましょう。使用するのは、setjmp.hヘッダーファイルで提供されているsetjmpとlongjmpの2つの関数です。setjmp関数はjmp_buf型の変数を受け取り、直接呼び出された場合は0を返します。一方、同じjmp_buf変数を使ってlongjmpを2つの引数付きで呼び出すと、setjmp関数はlongjmpの第2引数と同じ値を返すようになります。

実際の実装例は以下のとおりです。

#include <stdio.h>
#include <setjmp.h>
#define TRY do { jmp_buf buf_state; if ( !setjmp(buf_state)) {
#define CATCH } else {
#define ENDTRY }} while(0)
#define THROW longjmp(buf_state, 1)
int main()
{
    TRY {
        printf("Try statement testing\n");
        THROW;
        printf("Statement should not appear, as the THROW block has already thrown the exception \n");
    }
    CATCH {
        printf("Got Exception \n");
    }
    ENDTRY;
    return 0;
}

このCプログラムでは、ENDTRYマクロがdo-whileブロックの閉じ部分を担っています。

まとめ

「try」と「catch」は、プログラムの実行中にデータやコードの誤りによって例外が発生した際の管理方法を定義するものです。例外はtryブロック内で発生し、catchブロックがそこから伝わってきたエラーを検出・処理します。try-catch構文は多くのプログラミング言語でサポートされていますが、C言語には標準搭載されていません。本ガイドでは、setjmp/longjmpを活用してC言語でもtry-catch風の例外処理を実現する方法を解説しました。ぜひ実際のコードで試してみてください。

著者について

Komal Batool Batool

テクノロジーや新しいアイデアの探求に情熱を注ぐライターです。LinuxHintでは、主にプログラミング言語やコンピュータサイエンス関連のトピックを担当しています。