代码检查：根据整数分析启发式不可达的 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,
            };
        }

            
 

最后修改日期： 2025年 9月 27日