使用Contract.Assert（true）时该怎么办，该方法必须返回什么？

Question

我有一些代码有以下逻辑：

//pseudo-code 
foreach (element in elementList) { 
    if (element is whatever) 
     return element; 
    } 
} 

从理论上来说，总是有什么是一个元素，那么此方法应不构成问题。在任何情况下，我已经把断言的方法结束只是要确定：

//pseudo-code 
foreach (element in elementList) { 
    if (element is whatever) 
     return element; 
    } 
} 

Contract.Assert(false, "Invalid state!"); 

的问题是，由于此方法返回的东西，和编译器不明白断言会破坏程序的执行。在使用合同之前，在这种情况下，我曾经抛出异常，解决了这个问题。你如何处理这与Contract.Assert（）？在Contract.Assert（）调用后返回null或default（element_type）知道它永远不会被调用并关闭编译器？或者还有没有其他更优雅的方式来做到这一点？

感谢

Answer 1

你可以去

var result = null; 
foreach (element in elementList) { 
    if (element is whatever) 
     result = element; 
     break; 
    } 
} 

Contract.Assert(result != null, "Invalid state!"); 
return result; 

它引入了一个突破，但它环顾四周返回干净。

即使吸尘器将

return elementList.Where(e => e is whatever).First(); 

编辑为@devoured指出，上述将打击整个列表

清洁没有地方

return elementList.First(e => e is whatever); 

末编辑

如果找不到任何东西，那只会炸掉。

但是，如果你真的想断言它可能是

var results = elementList.Where(e => e is whatever); 
Contract.Assert(results.Count() == 1, "Boo"); 
return results.First(); 

但会遍历整个列表了。

Answer 2

我想你会比在这里的Contract.Assert更好一个Contract.Requires（即一个先决条件）。你的代码片段的前提条件是elementList至少包含一个条件成立的元素。

您应该明确地说明这一点，而不是依靠Assert(false)，这需要读者了解其余的功能，并按照流程控制推导出达到Assert(false)的情况。

所以，我会为改写：

//precondition (checked only in debug builds) 
Contract.Require(elementList.Where(e => e is whatever).Count > 0,"elementList requires at least one element meeting condition whatever"); 
//do work (throws in release builds, never reached in debug ones) 
return elementList.First(e => e is whatever);