c# - C# 4.0 中的代码契约书籍

Question

虽然我已经知道代码合同一段时间了，因为我在 Java 中使用过它，但我想开始在 C# 中使用它们，因为它们是 C# 4.0 的一部分。

我正在寻找学习材料、书籍或视频。粗略的教程也很受欢迎，我想阅读一些全面的东西，而不是典型的“这是你如何使用 Requires，这是你如何使用 Ensures”。我正在寻找在这个领域真正脱颖而出的东西。

谢谢

score 4 · Accepted Answer

Jon Skeet 在C# in Depth的第 2 版中有一整章专门介绍它们。根据上次 MEAP 更新，它大约有 40 页。这不是最终版本，因为正如 Joel 所说，它还没有发布，但您可以购买它并访问 MEAP 版本： http: //www.manning.com/skeet2/

C# 4.0 in a Nutshell涵盖了它。13，“诊断和代码合同”。根据目录中的章节标题，我估计该主题大约有 17 页。

我想 Andrew Troelsen 的Pro C# 2010 和 .NET 4 Platform书籍将涵盖它，但我无法找到它的 TOC。

score 1 · Accepted Answer

1

我听说 Jon Skeet 在下一个 C# 中深入介绍了它们，但它还没有发布。

于 2010-03-31T00:36:08.583 回答

score 1 · Accepted Answer

虽然不是真正的书，但可通过Code Contracts 软件下载的官方文档非常好。

对于具体问题，您可以使用官方代码合同论坛。开发人员似乎反应灵敏。

顺便说一句：我的理解是代码合同不是 C# 4.0 的一部分。相反，它们是 .NET 4.0 BCL 的一部分，可作为 .NET 3.5 的单独程序集使用。.NET 4.0 和 3.5 都要求您安装额外的软件才能使用合同。

3 回答 3