コード検査: ヒューリスティックに到達できないコード

JetBrains Rider は、値、NULL 値可能性、整数演算などを分析し、これらの分析結果を使用して実行されないコードを識別します。

以下の例では、このインスペクションは Console.WriteLine("Error"); を到達不能として報告します。これは、list が null でない場合にのみプログラムが foreach ループに入ることができるためです。このループ内では条件 list == null は常に false となり、結果としてこの条件内のコードは実行されません。

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

    

最終更新日: 2024 年 5 月 27 日

関連ページ：

コードインスペクション設定を構成する

設計時コードインスペクションを構成する：デフォルトでは、JetBrains Rider はサポートされている言語に対応するすべてのファイルで設計時コードインスペクションを有効にします。必要に応じて、無効にすることができます。設計時コードインスペクションが有効かどうかにかかわらず、コードインスペクションを特定の範囲でいつでも実行できます。「鉛筆」ウィジェットを使用して、エディターから直接インスペクション設定をすばやく調整するか、設定でより詳細な構成を行うことができます。を押すか、メニューから（W...

価値と無効性の分析

JetBrains Rider は、価値分析を実行して、可能な「null」逆参照ならびに冗長ブール比較および null ・チェックを見つけるのを支援します。Null 許容値を分析するさまざまな方法：JetBrains Rider は、いくつかの方法で値を分析できます。言語構成体の動作を理解します。次の例では、パラメーターが明示的に null 可能性をチェックされたという事実に基づいて、JetBrains Rider はの値が実際に 'null' であると合理的に想定し、対応する警告を表示する...

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

JetBrains Rider は、コード内の整数値のフローを追跡し、冗長または場合によっては誤ったステートメントを報告できます。すべての C# 整数数値型 — 、、、、 — をサポートし、次の問題について警告します。常にまたはに評価される関係 / 等式演算子、値をチェックする到達不能なケース、による乗算やの加算など、意味のない算術演算（リテラルまたは定数を除く）: JetBrains Rider は、のような式が意図的なものであると想定しています）、オーバーフローの可能性、による除算の可能性、メソッド...