C#のchecked／uncheckedコンテキストとは？オーバーフローチェックの違いを解説

C#では、コードをchecked（チェックあり）またはunchecked（チェックなし）のコンテキストで実行できます。

checkedコンテキストでは算術オーバーフローが発生した時点で例外がスローされますが、uncheckedコンテキストでは算術オーバーフローは無視され、処理がそのまま続行されます。

checked：オーバーフローチェックを有効にする

checkedキーワードを使用すると、整数型の算術演算や変換に対してオーバーフローのチェックを明示的に有効にできます。使い方はシンプルで、式の前にcheckedキーワードを付けるだけです。

なお、オーバーフローチェックは、コンパイラオプション（/checked）やプロジェクトの環境設定によって有効にすることも可能です。

res = checked(val + 10);

たとえば、変数valの値が2147483647（int型の最大値）だった場合、このコードはcheckedコンテキストで実行されるため、System.OverflowExceptionがスローされます。つまり、実行時にオーバーフローが厳密に検出されるのです。

unchecked：オーバーフローチェックを無効にする

uncheckedキーワードを使用すると、整数型の算術演算や変換に対するオーバーフローのチェックを明示的に無効にできます。こちらも同様に、式の前にuncheckedキーワードを付けるだけで利用できます。

uncheckedコンテキストでは算術オーバーフローは無視されます。パフォーマンスを優先したい場合や、意図的にラップアラウンド（桁あふれ）を許容したいケースで活用します。

res = unchecked(val + 10);

たとえば、変数valの値が2147483647だったとしても、uncheckedキーワードによってオーバーフローチェックが無効化されているため、このコードはエラーをスローせず、結果はint型の最小値である-2147483648にラップされます。

まとめ

• checked：オーバーフロー発生時にOverflowExceptionをスローする
• unchecked：オーバーフローを無視し、値を切り詰めて処理を続行する