コードインスペクション: 整数分析によるヒューリスティックに到達不可能なケース

このインスペクションは、整数値分析の結果に従って実行されることのない switch ステートメントのケースを報告します。インスペクションは、JetBrains Rider 設定 Ctrl+Alt+S のエディター | インスペクション設定ページで整数演算を分析する⁠ が有効化されている場合にのみ機能します。

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

        void TestSwitch([NonNegativeValue] int input)
        {
            int newValue;
            switch (input)
            {
                case 0:
                    newValue = 1;
                    break;
                case -1:  // Case is heuristically unavailable
                    newValue = 0;
                    break;
                default:
                    newValue = input;
                    break;
            }
        }

            
 

2026 年 6 月 12 日