什么时候应该使用 C# 4.0 附带的代码合约？

Question

我正在解决一个关于 SO 的问题，该问题是关于 c# 4.0 的新功能 和 jon skeet 的答案有 C# 4.0 的代码契约功能..但我真的不明白何时使用它们..有什么建议吗...

Answer 1

只要有可能。例如，在方法开头使用保护子句的任何地方，

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

您都应该使用

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

Contract 的优点在于，它们会公开，并且可以成为文档的一部分，而无需额外的操作。就你而言，因为保护条款不是公开的，只能通过一些繁重的工作才能放入文档中。因此，通过Contract，您可以在代码中更清晰地表达需求和承诺。

Answer 2

合约的真正美妙之处在于，您不必硬连线那些丑陋的参数名称字符串......

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