¿Cuándo se deben usar los contratos de código que viene con C# 4.0?

Question

yo estaba pasando por una pregunta sobre el SO que era alrededor de new features of c# 4.0 y la respuesta de Jon Skeet tenían Código función de los contratos de C# 4.0 .. pero realmente no puede entender cuándo usarlos .. Cualquier sugerencia ...

Answer 1

Siempre que sea posible. Por ejemplo, en cualquier lugar en que se usan una cláusula de guardia en el comienzo de un método como

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

se debe utilizar en lugar

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

Lo que es bello sobre Contract es que se hacen públicos y se pueden hacer parte de la documentación sin ningún trabajo adicional de su parte, ya que la cláusula de guardia no era pública y solo podía incluirse en la documentación con un poco de trabajo pesado. Por lo tanto, con Contract puede expresar más claramente los requisitos y las promesas en su código.

Answer 2

lo que es realmente precioso, con contratos es que usted no tiene que cablear esas cadenas de nombres de argumento feas ...

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