.NET 4.0 中代码契约的实际用途是什么？

Question

为了充分理解和利用新的 .NET Framework 4.0 提供的新功能和增强功能，我想获取 真实世界应用程序示例“http://msdn.microsoft.com/en-us/library/system.diagnostics.contracts.aspx”rel="noreferrer">代码合同。

1. 有人有应用此功能的好示例吗？

我想要一个带有简短说明的代码示例，以帮助我启动并运行它。

Answer 1

来自代码契约用户手册< /a>：

契约允许您在运行时的代码中表达前置条件、后置条件和对象不变量
检查、静态分析和文档。

代码合约用于静态验证；想象一下，如果在编译时，您不仅发现了语法错误，还发现了逻辑错误。这就是静态程序验证的愿景。

真实世界示例

您可以使用合约（和静态验证）来降低测试成本……特别是回归测试。举个例子，假设我编写了一些代码来满足一些业务需求......但后来，性能需要改变，我需要进行优化。如果我首先编写合同，那么当我的新优化代码得到验证时，如果它不再满足原始合同，我将在 IDE 中收到一条错误消息，就像我遇到编译时错误一样。因此，您几乎可以立即发现并解决错误，这比一轮测试的成本还要少。

Answer 2

在即将出版的书中有一个关于代码契约的免费章节C# 深入探讨，第二版。一个叫 Jon Skeet 的人，你们中的一些人可能很熟悉他:)

至于实际用途。您可以在代码中的任何位置使用它们，但特别是如果您正在开发很多人都会使用的框架/API 类型库，我希望它们会非常方便。与在运行时发现您没有处理某些边缘情况相比，对代码进行静态验证可以节省大量时间。

您可以随心所欲地记录您的方法用法，但人们真的会阅读该文档吗？方法 y 中的字符串参数 x 是否允许为空？代码合约可以提供该信息，从而消除猜测。

下面是这种情况的一个示例：

static int CountWhitespace(string text)
{
    Contract.Requires<ArgumentNullException>(text != null, "text");
    return text.Count(char.IsWhiteSpace);
}

如果有人尝试将可能为 null 的字符串传递给 CountWhitespace，验证将会发出警告。此外，它还会在运行时抛出ArgumentNullException。

我最近才将我的私有类库转换为 .NET 4.0，但我计划很快向其中添加代码契约。

Answer 3

.Net 中有很多地方使用了契约。
>>来源<<

Answer 4

您是否曾经见过 NullReferenceException，并希望编译器能够在编译时向您发出警告，以避免发现困难 - 程序崩溃？

使用代码契约，您可以编写如下内容：

Contract.Requires(foo != null);

这不仅仅是运行时检查 - 您可以对其进行设置，以便如果您使用可能为 null 的参数调用此函数，您将收到编译错误。

这是一个现实世界的例子：

Address GetAddress(Customer customer)
{
    Contract.Requires<ArgumentNullException>(customer != null, "customer");
    return addressBook.FindCustomer(customer);
}