Vertrag, der die IEnumerable gewährleistet, ist nicht leer

Question

Der angegebene Code

static public int Q() 
{ 
    return Enumerable.Range(0, 100) 
     .Select(i => i) 
     .First(); 
} 

die folgende Warnung aussendet:

warning : CodeContracts: requires unproven: Any(source) 

Wenn ich .Select() Klausel entfernen sie verschwindet.

Aber es ist mir nicht klar, was genau ich brauche .Ensure, so dass die cccheck zufrieden war.

Answer 1

Können Sie die Warnung mit diesem Code vermeiden?

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

Da dies das Problem löst und ist immer noch nicht so hässlich wie man zunächst vielleicht gedacht haben, ich es als Antwort bin Entsendung (wenn man bessere Ideen hat Ich bin offen für Ihre Anregungen obwohl):

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

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

Also ich sollte nicht den ganzen Ausdruck teilen müssen, aber der Teil, für den der statische Analysator Angst hatte, und für diesen Teil konnte ich versichern, dass es "alles in Ordnung ist, vertraue mir, ich weiß, was ich tue" .

Eine Anmerkung:

aus irgendeinem Grund weder

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

oder

Contract.Assert(e.Any()); 

Arbeit.

Wichtige: wie andere Leute erwähnen, könnte dies für alle Fälle nicht geeignet, da der zusätzliche e.Any() Aufruf die Sammlung materialisieren würde, was in einigen Fällen unerwünscht sein kann (zB: wenn es eine LINQ aus einer 3rd-Party Quelle).