コレクションアクセス分析

JetBrains Rider は、コレクションアイテムの値を分析するだけでなく、使用する各コレクション全体も分析します。このコレクションへの読み取りアクセスがあっても、コレクションが満たされない、変更されない場合は警告します

JetBrains Rider warns you that a collection is read before ever being filled or modified.

コレクションが決して読み込まれない場合

JetBrains Rider warns you that a collection is never read.

すべての標準コレクションタイプは、デフォルトでこの方法で分析されます。必要に応じて、この分析を IEnumerable から派生したカスタムコレクションに適用することもできます。この場合、JetBrains Rider に、コレクションの public メソッドの呼び出しがコレクションのコンテンツにどのように影響するかを伝える必要があります。そのためには、コレクションクラスのメソッドを [CollectionAccessAttribute] でマークします。[CollectionAccessAttribute] には、4 つのフラグのいずれかが必要です: None、Read、ModifyExisitingContent、UpdatedContent （最後の 2 つのフラグの違いは、UpdatedContent は、マークされた関数がコレクションに新しい要素を追加できることを意味します）。これを説明する簡単な例を次に示します。

Using JetBrains.Annotations to improve code analysis of collection access

最終更新日: 2024 年 2 月 11 日

関連ページ：

価値と無効性の分析

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

コードアノテーション属性

フレームワークは、以下で説明する多くの属性を提供します。これらの属性をコードで使用するには、ソースコードのアノテーションセクションの説明に従ってを参照する必要があります。アノテーション属性：CanBeNullAttribute マークされた要素の値がになることがあることを示します。そのため、使用前にのチェックが必要です。サンプル [CanBeNull] object Test() => null; void UseTest() { var p = Test(); var s = p.ToSt...