c# - 哪个第 3 方 Code-by-Contract 库最像 MS 的 .NET 4.0 库？

Question

我想通过合同跳入编码。我得到了 VS2010（使用 C# 4.0 编译器），但我必须针对 3.5 框架。

合约库中的哪些第 3 方代码具有最类似于 .NET 4.0 的类和接口？

Answer 1

从用户指南：

从 CLR v4 开始，Contract 类和相关类型驻留在 mscorlib.dll 中。在 CLR v4 之前，这些类型出现在称为 Microsoft .Contracts 的单独程序集中。安装在 %PROGRAMFILES%/Microsoft/Contracts/PublicAssemblies 下的 dll。如果要针对 4.0 之前的 CLR 进行编译，则可能需要添加对此程序集的引用。

如果您想针对 3.5和4.0 使用相同的构建程序集，您可能会遇到一些有趣的问题（我不知道 - 它可能只是工作）但如果您只是使用 3.5，那应该没问题。

我相信，扩展安装到 VS2008 和 VS2010 中。