Comment Contract.Exists ajoute-t-il de la valeur?

Question

Je commence à peine à apprendre à propos de la bibliothèque de contrats de code qui est fournie en standard avec VS2010. Une chose que je vois immédiatement, c'est ce que signifient certaines clauses contractuelles.

Par exemple, comment ces deux instructions sont-elles différentes?

Contract.Requires(!mycollection.Any(a => a.ID == newID)); 
Contract.Requires(!Contract.Exists(mycollection, a => a.ID == newID)); 

En d'autres termes, qu'est-ce que Contract.Exists font en pratique, que ce soit pour un développeur en utilisant ma fonction, ou pour le système d'analyse de code statique?

Answer 1

Ok, j'ai trouvé la réponse. Selon le Manuel d'utilisation des Contrats de Code, section 2.7.2:

"Il est également possible d'utiliser la méthode d'extension System.Linq.Enumerable.Any au lieu de Contract.Exists."

Donc, ils sont équivalents. Je vais utiliser Any au lieu d'Exists, donc c'est cohérent avec le reste de notre code.

Answer 2

La version qui utilise Contract.Exists est préférée en raison de sa nature déclarative. Un autre avantage est que le framework connaît ce contrat et qu'il a plus de chance d'être "pris" dans l'analyse statique.