例外は、プログラムの実行中にエラーが発生したことを示すために使用されます。エラーを説明する例外オブジェクトは、作成後、throw キーワードによりスローされます。ランタイムは、対応する最も近い例外ハンドラを検索します。

次の条件の 1 つ以上が該当する場合、プログラマは例外をスローする必要があります。

• メソッドが、定義されている機能を完了できない場合。

  たとえば、メソッドのパラメータの値が無効な場合は、次のような例外をスローします。

  C#

  static void CopyObject(SampleClass original)
  {
      if (original == null)
      {
          throw new System.ArgumentException("Parameter cannot be null", "original");
      }
  
  }
  
  

• オブジェクトの状態に照らして不適切な呼び出しがオブジェクトに対して行われた場合。

  1 例として、読み取り専用ファイルに書き込もうとした場合が挙げられます。オブジェクトの状態により操作が許可されない場合、InvalidOperationException のインスタンスまたはこのクラスの派生に基づくオブジェクトがスローされます。InvalidOperationException オブジェクトをスローするメソッドの例を次に示します。

  C#

  class ProgramLog
  {
      System.IO.FileStream logFile = null;
      void OpenLog(System.IO.FileInfo fileName, System.IO.FileMode mode) {}
  
      void WriteLog()
      {
          if (!this.logFile.CanWrite)
          {
              throw new System.InvalidOperationException("Logfile cannot be read-only");
          }
          // Else write data to the log and return.
      }
  }
  
  

• メソッドの引数が原因で例外が発生した場合。

  この場合、元の例外をキャッチして、ArgumentException インスタンスを作成する必要があります。元の例外は、InnerException パラメータとして ArgumentException のコンストラクタに渡す必要があります。

  C#

  static int GetValueFromArray(int[] array, int index)
  {
      try
      {
          return array[index];
      }
      catch (System.IndexOutOfRangeException ex)
      {
          System.ArgumentException argEx = new System.ArgumentException("Index is out of range", "index", ex);
          throw argEx;
      }
  }
  
  

例外には、StackTrace というプロパティがあります。この文字列には、現在の呼び出し履歴にあるメソッドの名前と、各メソッドについて例外がスローされたファイル名と行番号が含まれます。StackTrace オブジェクトは、throw ステートメントの位置で共通言語ランタイム (CLR: Common Language Runtime) によって自動的に作成されるため、例外は、スタック トレースが開始される位置からスローする必要があります。

例外にはいずれも Message というプロパティがあります。この文字列は、例外の原因を説明するように設定する必要がありますセキュリティ上重要な情報をメッセージ テキストに含めないように注意してください。Message に加え、ArgumentException には ParamName というプロパティがあります。このプロパティは、例外がスローされる原因になった引数の名前に設定する必要があります。プロパティ Set アクセス操作子の場合は、ParamName を value に設定する必要があります。

パブリック メソッドとプロテクト メソッドは、意図された機能を完了できない場合に例外をスローする必要があります。スローされる例外クラスは、エラー状態に最も明確に適合する例外である必要があります。これらの例外は、クラス機能の一部として記述する必要があり、派生クラスや元のクラスの更新では、下位互換性を確保するために同じ動作を保持する必要があります。