整数値の分析 (積分演算)

JetBrains Rider は、コード内の整数値の流れをトラックし、冗長なまたは誤っている可能性のあるステートメントを報告できます。すべての C# 整数数値型 — int、 uint、 byte、 sbyte、 short、 ushort、 long、 ulong — をサポートし、次の問題について警告します。

常に true または false に評価される関係 / 等式演算子
int 値をチェックする到達不能な switch ケース
1 による乗算や 0 の加算など、意味のない算術演算（リテラルまたは定数を除く: JetBrains Rider は、 x + 0 のような式が意図的なものであると想定します）
int オーバーフローの可能性
0 による除算の可能性
System.Math メソッドの呼び出しで発生する可能性のあるエラー。
対応する基になる型を持つ列挙型での上記の問題。

整数値分析を切り替える

整数値の分析はデフォルトで有効化されています。必要に応じて、JetBrains Rider 設定 Ctrl+Alt+S のエディター | インスペクション設定ページで整数演算を分析する⁠ チェックボックスをオフにすることで無効化できます。

仕組み

JetBrains Rider は、その整数を生成または影響を与える可能性のあるすべてのステートメントや式の考えられる結果に従って、各整数の可能な値の範囲を絞り込みます。いくつかの例を考えてみましょう。

JetBrains Rider は、以下の例の temp < 0 が常に false と評価されると推測できます。なぜなら、 Math.Abs は常に非負の値を返すためです。

        void TestInput(int input)
        {
            var temp = Math.Abs(input);
            // do something
            if(temp < 0) // Expression is always false
                Console.WriteLine("Some output");
        }

        
  

次の例では、JetBrains Rider は、最後の return までに input の値が -100 ... 100 の範囲内にあり、より大きな divider で除算するとゼロに向かって切り捨てられると推測します。

        int TestDivision(int input, int delta)
        {
            const int divider = 500;
            if(input < -100 || input > 100)
                return input;
            input = input / divider;
            // do something
            return delta + input; // Addition of 0
        }

        
  

アノテーションを使用して分析を絞り込む

整数値の分析には、2 つの JetBrains.Annotations 属性（[NonNegativeValue] と [ValueRange(from, to)] ）があります。

これらの属性を int を返す型メンバーおよび int パラメーターで使用して、既知の制約を指定し、分析の精度を向上させることができます。

これは、メソッドパラメーターに [NonNegativeValueAttribute] でアノテーションを付けて、メソッド本体内の分析を改善する例です。パラメーターが負ではないと分かっている場合、JetBrains Rider はそのパラメーターに対するすべての冗長な操作を報告できます：

        void TestSwitch([NonNegativeValue] int input)
        {
            var newValue = input switch
            {
                0 => 1,
                -1 => 0, // Case is heuristically unreachable
                _ => input,
            };

            if (input < 0) // Expression is always false
                Console.WriteLine("some output");
        }

            
  

次の例は、メソッドにアノテーションを付けると、その使用箇所に関する冗長なチェックを見つけるのにどのように役立つかを示しています。

        [ValueRange(1,6)]
        int RollDice() => // my random generator

        void Play()
        {
            var firstRoll = RollDice();
            if (firstRoll < 1 || firstRoll > 6) // Expression is always false
                throw new ArgumentOutOfRangeException();
            // roll again
        }

        
  

2026 年 6 月 12 日