契約は</p> <pre><code>static public int Q() { return Enumerable.Range(0, 100) .Select(i => i) .First(); } </code></pre> <p>は、次の警告を発し

Question

与えられたコードは空ではありません。

しかし、正確に私が.Ensureに必要なものは、cccheckが満足するように私には分かりません。

Answer 1

このコードでの警告を回避できますか？このコードで

var res = Enumerable.Range(0, 100).Select(i => i).Take(1); //execute one query with TOP1 and store in memory 
Contract.Assume(res.Any()); //or res.Count() > 0 //query already in memory 
return res.First(); //query already in memory 

Answer 2

これが問題を解決し、1が最初に思ったかもしれないとまだその醜いではないので、私の答え（1がより良いアイデアを持っている場合、私はしかし、あなたの提案を開いている）としてそれを掲示しています：

static public int Q() 
{ 
    var e = Enumerable.Range(0, 100) 
     .Select(i => i); 

    Contract.Assume(e.Any()); 
    return e.First(); 
} 

スタティックアナライザーが恐れていた部分は、全体を分割する必要はありませんでした。その部分については、「すべてうまく、信頼しています、私がやっていることを知っています」 。

注：何らかの理由で

どちら

Contract.Assert(e.Count() > 0); 

または

Contract.Assert(e.Any()); 

作品。

重要：他の人が言及して追加のe.Any()呼び出しは（いくつかのケースでは望ましくないことがあるコレクションを、マテリアライズであろうから、これは、すべての場合に適していないかもしれません例えば：それはサードパーティからLINQのだときソース）。