Altough我已经知道Code Contracts已经有一段时间了，因为我在Java中使用过它，我想开始在C＃中使用它们，因为它们是C＃4.0的一部分。
我正在寻找学习材料，书籍或视频。也欢迎Altough教程，我想要阅读全面的内容，而不是典型的“这里是你如何使用需求，这里是你如何使用Ensures”。我正在寻找在这个领域非常突出的东西。
由于
答案 0 :(得分：4)
Jon Skeet在第二版 C＃in Depth 中有一整章专门介绍它们。根据上次MEAP更新，大约有40页。这不是最终的，因为正如Joel所说，它还没有出来，但你可以买它并获得MEAP版本的访问权限：http://www.manning.com/skeet2/
C# 4.0 in a Nutshell 在Ch。中涵盖了它。 13，“诊断和代码合同”。根据目录中的章节标题，我估计约有17页的主题。
我想安德鲁·特罗塞尔森的 Pro C# 2010 and the .NET 4 Platform 书将涵盖它，但我无法找到它。
答案 1 :(得分：1)
我听说Jon Skeet在深度的下一个C＃中覆盖了它们，但它还没有出现。
答案 2 :(得分：1)
虽然不是真正的书，但可以通过Code Contracts software下载的官方文档非常好。
有关具体问题，您可以使用官方Code Contracts forum。开发人员似乎非常敏感。
顺便说一下： 我的理解是代码契约不是C＃4.0的一部分。相反，它们是.NET 4.0 BCL的一部分，可作为.NET 3.5的单独程序集提供。 .NET 4.0和3.5都要求您安装其他软件以使用合同。