ReSharper - Anyの後の 'System.NullReferenceException'の可能性あり

Question

私はReSharper Ultimate 2016.2を使用していますが、以前のバージョンでもこれを見てきました。 ReSharperは私にと言う警告を与えるでしょう の後に私がFirstOrDefaultを使うとき、 'System.NullReferenceException'が可能です。以下の例：

Foo[] items = GetItems(); 
var myName = "MyName"; 
if (items.Any(x => x.Name == myName)) 
{ 
    var item = items.FirstOrDefault(x => x.Name == myName); 
    var name = item.Name; // Possible 'System.NullReferenceException' 
} 

警告が正しいか、上記のコードは安全ですか？

警告を無効にすることができますが、それは重要なことではありません。 NullReferenceExceptionが発生する可能性がないことを確認したい。私が最初にAnyとチェックしてから、FirstOrDefaultは1つのアイテムを返すべきです。または私は何かを逃していますか？

上記のコードは、単にMCVEです。

UPDATE：コメント欄で述べたように

、コードが最適化された（及び簡略化）することができます。問題はコード内の問題を解決する方法ではありません。しかし、ReSharperの状態で実際にNullReferenceExceptionが発生する可能性がある場合は、

Answer 1

への呼び出しに置き換える必要があります。これは常に論理的に真である、あなたの変数があればブロック内で割り当てられていることを確信している割り当てられていない変数のコンパイラ使用により放出されたエラーのような。簡単に言えば。

void Main() 
{ 

    int a; 
    Environment.CurrentDirectory = "C:\\temp"; 
    if(Environment.CurrentDirectory == "C:\\temp") 
     a = 1; 
    // Error - Use of unassigned variable 
    Console.WriteLine(a); 
} 

ここでは、実行時に、あなたの変数の状態、人間の脳はできるがどうなるか、コンパイル時に静的アナライザは、知っておくべき（またはより良いがを理解する）ので、このレベルにあなたのコードを解析しようとするのは不可能です変数を代入しない方法がないことを確認してください（同じプロパティを混乱させる他のスレッドはありませんが、プロパティの動作についての参照元を確認しました）が、コンパイラはこのコードの意味を同じ深さで分析する必要がありますこの時点では、私たちはそれを持っていません。 Resharperにも同じルールが適用され、必要なものはありませんインテリジェンス必要なものすべてを行う（現在）

Answer 2

FirstOrDefaultのためです。条件が一致しない場合は、クラスに対してNULLを返します。 ReSharperは現時点ではAnyを考慮していません。

あなたはFirst