【C#】整数オーバーフロー制御！checked/uncheckedの使い方と設定

2026年3月4日

C#におけるプログラミングにおいて、整数の計算は日常的に行われる処理の一つです。

しかし、変数の型が保持できる最大値を超えた際に発生する「整数オーバーフロー」は、予期せぬバグやセキュリティ脆弱性の原因となることがあります。

C#では、このオーバーフローを厳密にチェックするか、あるいは無視して計算を続行するかを制御するためのcheckedおよびuncheckedというキーワードが用意されています。

本記事では、これらのキーワードの具体的な使い方から、プロジェクト全体の設定方法、パフォーマンスへの影響まで詳しく解説します。

目次 [ close ]

整数オーバーフローの基礎知識

C#の整数型には、それぞれ扱える数値の範囲が決まっています。

例えば、32ビット符号付き整数であるint型の場合、最大値は2,147,483,647です。

この最大値に対してさらに「1」を加算しようとしたとき、コンピュータ内部ではどのような挙動が発生するのでしょうか。

C#のデフォルトの動作では、整数演算で最大値を超えると「ラップアラウンド (Wrap-around)」と呼ばれる現象が発生します。

これは、数値が最大値から最小値へと循環（一周）してしまう挙動です。

以下のサンプルコードで、その挙動を確認してみましょう。

using System;

class Program
{
    static void Main()
    {
        // int型の最大値を取得
        int maxValue = int.MaxValue;
        
        // 最大値に1を加算する（デフォルト設定ではチェックされない）
        int overflowedValue = maxValue + 1;

        Console.WriteLine($"最大値: {maxValue}");
        Console.WriteLine($"加算後の値: {overflowedValue}");
    }
}

実行結果

最大値: 2147483647
加算後の値: -2147483648

このように、正の最大値に1を足した結果、突然負の最小値に変わってしまいます。

この挙動を知らずに計算を行うと、在庫数の計算や金額の算出などで致命的なエラーを引き起こす可能性があります。

checked キーワード：オーバーフローを検知する

計算結果が型に収まらない場合に、暗黙的に値をループさせるのではなく、プログラムを停止させて例外を発生させたい場合があります。

このような時に使用するのがcheckedキーワードです。

checkedを使用すると、演算結果が範囲を超えた瞬間にSystem.OverflowExceptionがスローされます。

checked ステートメントの使い方

複数の計算式をまとめてチェックしたい場合は、ブロック形式のcheckedステートメントを使用します。

using System;

class Program
{
    static void Main()
    {
        try
        {
            int a = int.MaxValue;
            int b = 1;

            // checkedブロック内で計算を行う
            checked
            {
                Console.WriteLine("計算を開始します。");
                int result = a + b; // ここでOverflowExceptionが発生
                Console.WriteLine($"結果: {result}"); // この行は実行されない
            }
        }
        catch (OverflowException ex)
        {
            // オーバーフローを検知してエラー処理を行う
            Console.WriteLine($"エラーを検知しました: {ex.Message}");
        }
    }
}

実行結果

計算を開始します。
エラーを検知しました: 算術演算によりオーバーフローが発生しました。

checked 式の使い方

単一の計算式に対してのみ適用したい場合は、式の中に組み込む記述方法が便利です。

int a = int.MaxValue;
int b = 10;

// 計算式をchecked()で囲む
int result = checked(a + b);

このように記述することで、特定の重要な計算箇所だけをピンポイントで保護することが可能です。

金融系の計算やユーザー入力を直接計算に用いる場合など、安全性が最優先されるシーンで非常に役立ちます。

unchecked キーワード：オーバーフローを明示的に許容する

一方で、オーバーフローが発生しても問題ない、あるいはあえて発生させたいというケースも存在します。

例えば、ハッシュ値の計算や、ビット演算を用いた低レイヤーの処理などです。

uncheckedキーワードを使用すると、そのスコープ内ではコンパイラの設定に関わらずオーバーフローチェックが強制的に無効化されます。

unchecked の実装例

using System;

class Program
{
    static void Main()
    {
        int maxValue = int.MaxValue;

        // uncheckedキーワードにより、意図的にラップアラウンドさせる
        int result = unchecked(maxValue + 1);

        Console.WriteLine($"uncheckedの結果: {result}");
    }
}

実行結果

uncheckedの結果: -2147483648

後述するコンパイラの設定で「プロジェクト全体のオーバーフローチェック」を有効にしている場合でも、このuncheckedで囲まれた部分は例外が発生しなくなります。

特定のアルゴリズムでパフォーマンスを最大化したい場合や、オーバーフロー前提の計算式を書く際に有用です。

コンパイラ設定によるプロジェクト全体の制御

一つ一つの計算式にキーワードを付けるのが面倒な場合、プロジェクト全体の設定でデフォルトの挙動を変更できます。

C#プロジェクトの設定(.csprojファイル)には、CheckForOverflowUnderflowというプロパティが存在します。

設定値	挙動の説明
false (デフォルト)	整数演算のオーバーフローをチェックしない (unchecked相当)
true	整数演算のオーバーフローを常にチェックする (checked相当)

設定方法 (Visual Studio)

STEP1

プロジェクトプロパティを開く

プロジェクトを右クリックして「プロパティ」を選択します。

STEP2

ビルド設定画面への移動

「ビルド」タブを選択し、「詳細…」ボタン（または「全般」セクション）を探します。

STEP3

オーバーフローチェックの有効化

「演算のオーバーフローおよびアンダーフローのチェック」にチェックを入れます。

設定方法 (.csprojファイルを直接編集)

プロジェクトファイルをテキストエディタで開き、以下の記述を追加または修正します。

XML

<PropertyGroup>
  <CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>
</PropertyGroup>

プロジェクト全体でチェックを有効にすると、安全性が大幅に向上しますが、すべての整数演算にチェック処理が挟まるため、ごく僅かに実行速度が低下する可能性があります。

計算負荷の非常に高い数値シミュレーションなどを行う場合は、このトレードオフを考慮する必要があります。

実践的な使い分けと注意点

checkedとuncheckedを使いこなす上で、いくつか知っておくべき重要なポイントがあります。

1. 浮動小数点型への影響

最も注意すべき点として、checkedおよびuncheckedキーワードは整数型 (int, long, short, byteなど) にのみ適用されるという制限があります。

floatやdoubleといった浮動小数点型は、最大値を超えるとInfinity（無限大）という特殊な値になる仕様（IEEE 754規格）があるため、checkedで囲んでも例外は発生しません。

2. decimal型の特殊な挙動

金融計算などで使われるdecimal型は、整数の仲間のように見えますが、内部的な処理が異なります。

実は、decimal型の演算は常にcheckedの状態です。

キーワードの有無にかかわらず、範囲を超えれば常に例外が発生します。

3. 定数式でのコンパイルエラー

C#では、コンパイル時に値が確定している「定数式」においてオーバーフローが発生していると、デフォルトでコンパイルエラーになります。

// コンパイルエラー：値がintの範囲を超えている
int x = 2147483647 + 1; 

// uncheckedを使えば定数式でもコンパイルを通せる
int y = unchecked(2147483647 + 1);

このように、コード上で明らかなミスを防ぐ仕組みがコンパイラレベルで備わっています。

checked/unchecked の使い分けガイドライン

どのような場合にどちらを使うべきか、判断基準を表にまとめました。

シーン	推奨される選択	理由
ビジネスロジック、金額計算	`checked`	数値の正確性がシステムの信頼性に直結するため。
ユーザー入力値の計算	`checked`	悪意のある巨大な値による予期せぬ動作を防ぐため。
ハッシュ関数、チェックサムの計算	`unchecked`	オーバーフロー（ラップアラウンド）自体がアルゴリズムの一部であるため。
リアルタイム性の高いゲームの描画ループ	デフォルト設定 or `unchecked`	極限まで計算コストを削り、速度を優先したいため。

基本的には、「安全側に倒す」のが現代のプログラミングの主流です。

近年のCPUは十分に高速であるため、通常のアプリケーションであればプロジェクト全体でCheckForOverflowUnderflowを有効にしても、体感できるほどの速度差が出ることは稀です。

まとめ

C#のcheckedとuncheckedは、整数の限界値に対する挙動を明示的に制御するための強力な道具です。

オーバーフローは気づきにくいバグを生み出す原因となりますが、これらを適切に使い分けることで、堅牢かつ意図どおりに動作するプログラムを記述できるようになります。

まずは、自分のプロジェクトで「どのような数値計算を行っているか」を見直し、必要に応じてcheckedによる保護を導入してみてください。

特に「最大値付近のデータが入力される可能性」を常に考慮することが、プロフェッショナルなコーディングへの第一歩となります。