c# - 哪种 C#.NET 的契约式设计框架？

Question

我正在考虑使用 .NET 4 在 C# 中使用合同设计的个人项目。

我一直在阅读有关微软尝试按合同框架设计的信息：http: //msdn.microsoft.com/en-us/devlabs/dd491992.aspx

但是有很多选择，我很困惑 - 那么哪个是最好的，为什么？各自的优缺点是什么？

Answer 1

真的有很多选择吗？我没听说过很多。还有其他的 AOP 框架，还有 Spec# 之类的东西，但我没有遇到很多像 Code Contracts 这样的项目。

鉴于它正在由 Microsoft 积极开发，集成到 Visual Studio 中，核心合同类作为 .NET 4 的一部分，除非你有一个非常令人信服的理由来使用替代方案，否则我会选择它。

对我来说，代码契约的最大缺点是静态检查器仅适用于 Visual Studio Premium/Ultimate。