代码检查：启发式不可达代码

此外，ReSharper 会分析值和可空性以及整数运算，并利用这些分析结果识别从未执行的代码。

在下面的示例中，此检查将 Console.WriteLine("Error"); 报告为不可达代码，因为程序只能在 foreach 循环的 list 不为空时进入该循环。因此，在此循环中，条件 list == null 将始终为假，结果是，此条件内的任何代码都不会执行。

        
class Sample
{
    void Test(IEnumerable<string> list)
    {
        foreach (var str in list)
        {
            if (list == null)
                Console.WriteLine("Error"); // Code is unreachable
        }
    }
}

    
 

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