C#における例外の伝播（Exception Propagation）の仕組みを解説

C#の例外処理の仕組みを理解すると、「例外の伝播」についても自然に把握できるようになります。

tryブロック内で例外が発生すると、まず対応するcatchブロックがその例外を捕捉できるかどうかが順番にチェックされます。もし一致するcatchブロックが見つからなければ、例外はより上位の階層にあるtryブロックへと伝播していきます。この処理は、例外がいずれかのcatchブロックで捕捉されるまで繰り返されます。そして最後まで例外が捕捉されなかった場合、プログラムの実行はそこで終了します。

以下の例では、ネストされた（入れ子になった）try文を使って、この例外の伝播の概念をわかりやすく説明しています。

サンプルコード

using System;
using System.Text;
public class Demo {
    public static void Main() {
        try {
            try {
                throw new ArgumentException();
            } catch (NullReferenceException e) {
                Console.WriteLine("catch one");
            } finally {
                Console.WriteLine("finally one");
            }
        } catch (Exception e) {
            Console.WriteLine("catch two");
        } finally {
            Console.WriteLine("finally two");
        }
        Console.ReadLine();
    }
}

実行結果

finally one
catch two
finally two

このコードでは、内側のtryブロックでArgumentExceptionがスローされますが、内側のcatchブロックはNullReferenceExceptionしか捕捉できないため、例外は外側のtryブロックへと伝播します。そして、外側のcatch(Exception e)ブロックによって「catch two」と表示され、各finallyブロックも順番に実行されていることが出力結果から確認できます。
このように、catchできない例外は上位の呼び出し元へ次々と伝わり、どこでも処理されなければプログラムが異常終了するというのが、C#における例外の伝播の基本的な動作です。