R＃のフォローアップに関する警告：可能な「System.InvalidOperationException」

Question

a.AnswerIdのタイプがlong?である次の式があります。 ReSharperは、選択機能で可能なInvalidOperationExceptionを警告します。これが実際に起こるケースはありますか？あなたはa.AnswerIdが値を持っていることをWhereにチェックしているので

long[] ids = answers.Where(a => a.AnswerId.HasValue) 
        .Select(a => a.AnswerId.Value) 
        .ToArray(); 

Answer 1

（コーナーケースが細かすぎる）（別のスレッドが同時にデータを変更されない限り）、a.AnswerId.ValueはInvalidOperationExceptionをスローすることはありません。 Resharperはコード解析能力はかなり良いですが、すべてを見つけることはできません。この場合、WhereはSelectの.Valueを安全に呼び出すことを認識していません。したがって、この警告は無視しても問題ありません。

Answer 2

残念ながら、ReSharperはしばしば偽陽性となります。この場合、WhereとSelectの呼び出しで、AnswerIdが同じ値を返す限り、問題はありません。 （AnswerIdには最初にアクセスしたときに数値を返すクレイジーな実装がありません。null 2回目）

Answer 3

残念ながら、ReSharperはLINQラムダシーケンスを通して条件チェックを追跡することはできません。これは既知の問題です。