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

このインスペクションは、整数値分析の結果に従って、決して実行されない switch 式のアームを報告します。インスペクションは、コードインスペクション | 設定ページの ReSharper オプション Alt+R、O で整数演算を分析するが有効化されている場合のみ動作します。

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

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

            
 

2026 年 6 月 12 日