¿Qué hacer cuando se usa Contract.Assert (true) y el método debe devolver algo?

Question

Tengo un poco de código con la siguiente lógica:

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

En teoría, siempre hay un elemento que es lo que sea, por lo que este método debería plantear ningún problema. En cualquier caso, he puesto una afirmación sobre el final del método sólo para estar seguro:

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

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

El problema es que a medida que este método tiene que devolver algo, y el compilador no entiende que la afirmación romperá la ejecución del programa. Antes de usar contratos, en este tipo de situaciones solía arrojar una excepción que resolvía el problema. ¿Cómo manejarías esto con Contract.Assert()? ¿Regresar nulo o por defecto (element_type) después de la llamada Contract.Assert() sabiendo que nunca se llamará y se cerrará el compilador? ¿O hay alguna otra manera más elegante de hacer esto?

Gracias

Answer 1

usted podría ir con

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

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

Se introduce una ruptura, pero que tiene un aspecto más limpio alrededor de la vuelta.

aún más limpio sería

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

Editar como @devoured señaló lo anterior sería golpeado toda la lista

más limpio y sin el dónde

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

final de edición

Eso simplemente explota si no se encuentra nada.

Pero si realmente quiere la aserción que podría ser

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

pero que se repetirá toda la lista también.

Answer 2

Creo que sería mejor que con un Contract.Requires (es decir, una condición previa) que un Contract.Assert aquí. La condición previa para su fragmento es que elementList contiene al menos un elemento donde se cumple la condición.

Debería ser explícito al respecto en lugar de confiar en un Assert(false), que requiere que el lector entienda el resto de la función y siga el control de flujo para deducir las situaciones en las que se alcanza el Assert(false).

Por lo tanto, me gustaría volver a escribir como:

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