Was tun bei Verwendung von Contract.Assert (true) und die Methode muss etwas zurückgeben?

Question

Ich habe ein Stück Code, mit der folgenden Logik:

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

In der Theorie gibt es immer ein Element, das, was auch immer ist, so dass diese Methode sollte keine Probleme bereiten. Auf jedem Fall habe ich eine Aussage am Ende des Verfahrens stellt nur sicher sein:

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

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

Das Problem ist, dass diese Methode etwas zurückgeben muß, und der Compiler nicht, dass die Behauptung nicht versteht wird die Programmausführung unterbrechen. Vor der Verwendung von Verträgen habe ich in solchen Situationen eine Exception geworfen, die das Problem gelöst hat. Wie würden Sie das mit Contract.Assert() handhaben? Zurückgeben von Null oder Standard (element_type) nach dem Aufruf von Contract.Assert() in dem Wissen, dass es nie aufgerufen wird und den Compiler herunterfährt? Oder gibt es eine andere elegantere Art, dies zu tun?

Dank

Answer 1

könnten Sie gehen mit

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

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

Es eine Pause führt, aber es sieht Reiniger um die Rückkehr.

Noch sauberer wäre

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

bearbeiten als @devoured wies die oben würde

Reiniger ohne wo

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

Ende bearbeiten die ganze Hitliste

Das explodiert gerade, wenn nichts gefunden wird.

Aber wenn Sie wirklich die assert wünschen könnte es

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

sein, aber das wird die ganze Liste iterieren.

Answer 2

Ich denke, Sie wären besser mit einer Contract.Requires (d. H. Eine Vorbedingung) als eine Contract.Assert hier. Voraussetzung für Ihr Snippet ist, dass elementList mindestens ein Element enthält, für das die Bedingung gilt.

Sie sollten dies explizit sein, anstatt sich auf eine Assert(false) zu verlassen, die erfordert, dass der Leser den Rest der Funktion versteht und der Flusssteuerung folgt, um die Situationen abzuleiten, in denen die Assert(false) erreicht wird.

So würde ich umschreiben als:

//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);