Wann sollte man Code-Verträge verwenden, die mit C# 4.0 geliefert werden?

Question

ich wurde durch eine Frage auf SO geht die Antwort über new features of c# 4.0 und jon Skeet war, hatte-Code Contracts Funktion von C# 4.0 .. aber ich kann nicht wirklich verstehen, wenn sie zu benutzen .. Jede Vorschlag ...

Answer 1

möglich Wann immer. Zum Beispiel, dass überall würden Sie eine Schutzklausel zu Beginn eines Verfahrens wie

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()); 
} 

verwenden Sie stattdessen

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

Was schön ist Contract verwenden sollten, ist, dass sie öffentlich werden und kann gemacht werden, Teil der Dokumentation ohne zusätzliche Arbeit Ihrerseits, wo die Wächterklausel nicht öffentlich war und nur mit schwerem Aufwand in die Dokumentation aufgenommen werden konnte. Daher können Sie mit Contract Anforderungen und Versprechen in Ihrem Code klarer ausdrücken.

Answer 2

was mit Verträgen wirklich schön ist, dass Sie nicht diese hässlichen Argument Name Strings harten Draht haben ...

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