Quand utiliser les contrats de code fournis avec C# 4.0?

Question

Je traversais une question sur le SO qui allait new features of c# 4.0 et jon la réponse au pigeon d'argile avait Code de fonction des contrats de C# 4.0 .. Mais je ne peux vraiment pas comprendre quand les utiliser .. Toute suggestion ...

Answer 1

Chaque fois que possible. Par exemple, partout où vous utiliseriez une clause de garde au début d'une méthode comme

public void Write(TextWriter tw, object o) { 
    if(tw == null) { 
     throw new ArgumentNullException("tw"); 
    } 
    if(o == null) { 
     throw new ArgumentNullException("o"); 
    } 
    tw.WriteLine(o.ToString()); 
} 

vous devriez plutôt utiliser

public void Write(TextWriter tw, object o) { 
    Contract.Requires(tw != null); 
    Contract.Requires(o != null); 
    tw.WriteLine(o.ToString()); 
} 

Ce qui est beau dans Contract est qu'ils deviennent publics et peuvent être une partie de la documentation sans travail supplémentaire de votre part où la clause de garde n'était pas publique et ne pouvait être mise dans la documentation qu'avec quelques gros travaux. Par conséquent, avec Contract vous pouvez plus clairement exprimer les exigences et les promesses dans votre code.

Answer 2

ce qui est vraiment beau avec des contrats est que vous n'avez pas à fil dur ces cordes de nom de l'argument laid ...

if(tw == null) throw new ArgumentNullException("tw");