контракта, что обеспечивает IEnumerable не является пустым

Question

Данный код

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

выдает следующее предупреждение:

warning : CodeContracts: requires unproven: Any(source) 

Если удалить .Select() положение он исчезает.

Но мне непонятно, что именно мне нужно, чтобы .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

Поскольку это решает проблему и до сих пор не так уродлив, как можно было бы подумать сначала, я отправляю его в качестве ответа (если у Вас есть идеи получше, я открыт для ваших предложений, хотя):

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 от 3 участника источник).