数値

[C#] checkedの使い方 – オーバーフローチェック

2025-04-15更新日: 2025-04-15

C#のcheckedキーワードは、整数演算でオーバーフローが発生した際に例外をスローするために使用されます。

通常、C#では整数のオーバーフローは無視され、結果が切り捨てられますが、checkedを使うことでこれを防ぎます。

checkedはブロック全体や単一の式に適用できます。

例えば、checked { int result = int.MaxValue + 1; }のように使用すると、オーバーフローが発生した場合にOverflowExceptionがスローされます。

目次から探す

checkedとは何か
checkedの使い方
オーバーフローの例
checkedを使うべき場面
checkedの応用例
まとめ

checkedとは何か

C#におけるcheckedは、数値演算においてオーバーフローを検出するためのキーワードです。

オーバーフローとは、数値がその型の最大値を超えた場合に発生する現象で、これを防ぐためにcheckedを使用します。

checkedの基本的な役割

checkedは、数値演算を行う際にオーバーフローが発生した場合に例外をスローします。

これにより、プログラマーは意図しない数値の変化を防ぎ、より安全なコードを書くことができます。

オーバーフローとは？

オーバーフローは、数値がその型の最大値を超えたときに発生します。

例えば、int型の最大値は2,147,483,647ですが、これを超えると数値が負の値に戻ることがあります。

オーバーフローは、特に計算結果が重要な場合に問題を引き起こす可能性があります。

C#におけるデフォルトのオーバーフロー処理

C#では、デフォルトでオーバーフローが発生しても例外はスローされず、結果がラップアラウンド(循環)します。

例えば、int型の最大値に1を加えると、最小値である-2,147,483,648に戻ります。

この動作は、uncheckedブロック内で行われます。

checkedとuncheckedの違い

checkedとuncheckedは、数値演算のオーバーフロー処理を制御するためのキーワードです。

キーワード	説明
checked	オーバーフローが発生した場合に例外をスローする
unchecked	オーバーフローが発生しても例外をスローせず、結果がラップアラウンドする

このように、checkedを使用することで、オーバーフローを検出し、プログラムの安全性を高めることができます。

checkedの使い方

checkedを使用することで、数値演算におけるオーバーフローを検出し、プログラムの安全性を向上させることができます。

ここでは、checkedの具体的な使い方について解説します。

式に対するcheckedの適用

checkedを使って、特定の数値演算式に対してオーバーフローのチェックを行うことができます。

以下はその例です。

using System;
class Program
{
    static void Main()
    {
        int a = int.MaxValue; // 最大値
        int b = 1;
        try
        {
            int result = checked(a + b); // checkedを使用
            Console.WriteLine(result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この例では、int.MaxValueに1を加えようとした際にオーバーフローが発生し、例外がスローされます。

ブロックに対するcheckedの適用

checkedは、複数の数値演算を含むブロック全体に適用することもできます。

以下の例を見てみましょう。

using System;

class Program
{
    static void Main()
    {
        try
        {
            int result;
            checked
            {
                int a = int.MaxValue;
                int b = 1;
                result = a + b; // checkedブロック内
            };
            Console.WriteLine(result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この場合も、ブロック内の演算でオーバーフローが発生し、例外がスローされます。

checkedを使った例外処理

checkedを使用することで、オーバーフローが発生した際に適切に例外処理を行うことができます。

以下の例では、checkedを使ってオーバーフローを検出し、例外をキャッチしています。

using System;
class Program
{
    static void Main()
    {
        int a = 1000000;
        int b = 2000000;
        try
        {
            int result = checked(a * b); // checkedを使用
            Console.WriteLine(result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この例では、aとbの積がint型の最大値を超え、オーバーフローが発生します。

uncheckedの使い方と使いどころ

uncheckedを使用すると、オーバーフローが発生しても例外をスローせず、結果がラップアラウンドします。

以下の例を見てみましょう。

using System;
class Program
{
    static void Main()
    {
        int a = int.MaxValue;
        int b = 1;
        int result = unchecked(a + b); // uncheckedを使用
        Console.WriteLine(result); // ラップアラウンドした結果を表示
    }
}

-2147483648

この例では、int.MaxValueに1を加えた結果がラップアラウンドし、最小値である-2147483648が出力されます。

uncheckedは、パフォーマンスが重要な場面や、オーバーフローを意図的に許可する場合に使用されます。

オーバーフローの例

オーバーフローは、数値演算において型の最大値を超えた場合に発生します。

ここでは、整数型におけるオーバーフローの具体例を示します。

整数型のオーバーフロー例

C#では、int型の最大値は2,147,483,647です。

この値を超える演算を行うと、オーバーフローが発生します。

以下の例では、int型のオーバーフローを示します。

using System;
class Program
{
    static void Main()
    {
        int maxValue = int.MaxValue; // 最大値
        int overflowValue = maxValue + 1; // オーバーフローを引き起こす
        Console.WriteLine(overflowValue); // 結果を表示
    }
}

-2147483648

この例では、int.MaxValueに1を加えた結果、最小値である-2,147,483,648に戻ります。

加算によるオーバーフロー

加算演算においてオーバーフローが発生する例を見てみましょう。

以下のコードでは、2つの大きな整数を加算しています。

using System;
class Program
{
    static void Main()
    {
        int a = 2_000_000_000; // 大きな整数
        int b = 1_000_000_000; // さらに大きな整数
        try
        {
            int result = checked(a + b); // checkedを使用
            Console.WriteLine(result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この例では、aとbの加算でオーバーフローが発生し、例外がスローされます。

減算によるオーバーフロー

減算演算でもオーバーフローが発生することがあります。

以下の例では、最小値に近い整数から大きな整数を引いています。

using System;
class Program
{
    static void Main()
    {
        int a = int.MinValue; // 最小値
        int b = 1; // 小さな整数
        try
        {
            int result = checked(a - b); // checkedを使用
            Console.WriteLine(result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この例では、int.MinValueから1を引くことでオーバーフローが発生し、例外がスローされます。

乗算によるオーバーフロー

乗算演算でもオーバーフローが発生することがあります。

以下の例では、大きな整数同士の乗算を行っています。

using System;
class Program
{
    static void Main()
    {
        int a = 30_000; // 大きな整数
        int b = 100_000; // さらに大きな整数
        try
        {
            int result = checked(a * b); // checkedを使用
            Console.WriteLine(result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この例では、aとbの乗算でオーバーフローが発生し、例外がスローされます。

オーバーフローは、加算、減算、乗算のいずれの演算でも発生する可能性があるため、注意が必要です。

checkedを使うべき場面

checkedを使用することで、オーバーフローを検出し、プログラムの安全性を高めることができます。

以下では、checkedを使うべき具体的な場面について解説します。

金融計算や精度が重要な場面

金融計算では、数値の精度が非常に重要です。

オーバーフローが発生すると、計算結果が大きく変わってしまう可能性があります。

例えば、金額の加算や乗算を行う際には、checkedを使用してオーバーフローを防ぐことが推奨されます。

using System;
class Program
{
    static void Main()
    {
        decimal accountBalance = 1_000_000_000; // 口座残高
        decimal depositAmount = 1_000_000_000; // 預金額
        try
        {
            decimal newBalance = checked(accountBalance + depositAmount); // checkedを使用
            Console.WriteLine("新しい残高: " + newBalance);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

このように、金融計算ではcheckedを使用することで、意図しないオーバーフローを防ぐことができます。

セキュリティ上のリスクを防ぐための使用

オーバーフローは、セキュリティ上のリスクを引き起こす可能性があります。

特に、悪意のあるユーザーが入力したデータによってオーバーフローが発生する場合、プログラムの動作が予期しないものになることがあります。

checkedを使用することで、これらのリスクを軽減できます。

using System;
class Program
{
    static void Main()
    {
        int userInput = int.MaxValue; // ユーザーからの入力(例)
        try
        {
            int result = checked(userInput + 1); // checkedを使用
            Console.WriteLine("結果: " + result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

このように、ユーザーからの入力を扱う際には、checkedを使用してオーバーフローを検出することが重要です。

デバッグ時にオーバーフローを検出するための使用

デバッグ時には、オーバーフローを早期に検出することが重要です。

checkedを使用することで、開発中にオーバーフローが発生した場合にすぐに気づくことができます。

これにより、問題を早期に修正することが可能になります。

using System;
class Program
{
    static void Main()
    {
        int a = 1_000_000;
        int b = 2_000_000;
        try
        {
            int result = checked(a + b); // checkedを使用
            Console.WriteLine("結果: " + result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

デバッグ時にcheckedを使用することで、オーバーフローの原因を特定しやすくなります。

パフォーマンスとcheckedのトレードオフ

checkedを使用することでオーバーフローを検出できますが、パフォーマンスに影響を与えることがあります。

特に、大量の数値演算を行う場合、checkedを使用することで処理速度が低下する可能性があります。

そのため、パフォーマンスが重要な場面では、uncheckedを使用することも検討する必要があります。

使用方法	メリット	デメリット
checked	オーバーフローを検出できる	パフォーマンスが低下する可能性
unchecked	パフォーマンスが向上する	オーバーフローを検出できない

このように、checkedとuncheckedの使用は、状況に応じて選択することが重要です。

checkedの応用例

checkedは、さまざまな場面で応用することができます。

ここでは、checkedの具体的な応用例をいくつか紹介します。

カスタムメソッドでのcheckedの使用

カスタムメソッド内でcheckedを使用することで、特定の計算に対してオーバーフローを検出することができます。

以下の例では、加算を行うカスタムメソッドを定義しています。

using System;
class Program
{
    static void Main()
    {
        try
        {
            int result = Add(1_000_000_000, 1_000_000_000); // 大きな数値を加算
            Console.WriteLine("結果: " + result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
    static int Add(int a, int b)
    {
        return checked(a + b); // checkedを使用
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この例では、Addメソッド内でcheckedを使用しており、オーバーフローが発生した場合に例外がスローされます。

ループ内でのcheckedの使用

ループ内での計算にcheckedを使用することで、繰り返し処理の中でオーバーフローを検出することができます。

以下の例では、ループを使って数値を加算しています。

using System;
class Program
{
    static void Main()
    {
        int sum = 0;
        try
        {
            for (int i = 0; i < 10_000; i++)
            {
                sum = checked(sum + i); // checkedを使用
            }
            Console.WriteLine("合計: " + sum);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

合計: 49995000

この例では、ループ内でcheckedを使用しており、オーバーフローが発生した場合には例外がスローされます。

複雑な計算式でのcheckedの使用

複雑な計算式にcheckedを適用することで、オーバーフローを検出することができます。

以下の例では、複数の演算を組み合わせています。

using System;
class Program
{
    static void Main()
    {
        int a = 1_000_000;
        int b = 2_000_000;
        int c = 3_000_000;
        try
        {
            int result = checked(a + b * c); // 複雑な計算式
            Console.WriteLine("結果: " + result);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

オーバーフローが発生しました: Arithmetic operation resulted in an overflow.

この例では、bとcの乗算がオーバーフローを引き起こし、例外がスローされます。

他の例外処理と組み合わせたcheckedの使用

checkedは、他の例外処理と組み合わせて使用することもできます。

以下の例では、checkedを使ってオーバーフローを検出し、他の例外処理と組み合わせています。

using System;
class Program
{
    static void Main()
    {
        int a = 1_000_000;
        int b = 0; // ゼロ除算を引き起こす
        try
        {
            int result = checked(a / b); // ゼロ除算
            Console.WriteLine("結果: " + result);
        }
        catch (DivideByZeroException ex)
        {
            Console.WriteLine("ゼロ除算が発生しました: " + ex.Message);
        }
        catch (OverflowException ex)
        {
            Console.WriteLine("オーバーフローが発生しました: " + ex.Message);
        }
    }
}

ゼロ除算が発生しました: Attempted to divide by zero.

この例では、checkedを使用してオーバーフローを検出しつつ、ゼロ除算の例外もキャッチしています。

これにより、異なる種類の例外を適切に処理することができます。

まとめ

この記事では、C#におけるcheckedの使い方やオーバーフローの概念、具体的な応用例について詳しく解説しました。

checkedを使用することで、数値演算におけるオーバーフローを検出し、プログラムの安全性を高めることが可能です。

特に金融計算やセキュリティ上のリスクを考慮する際には、checkedを積極的に活用することが重要です。

今後のプログラミングにおいて、オーバーフローのリスクを意識し、適切な場面でcheckedを使用することを心がけてください。