我正在考虑在C使用.NET 4的个人项目中使用契约式设计。
我一直在阅读有关微软试图按合同设计框架的文章: http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
但是有很多选择,我很困惑-那么哪一个是最好的,为什么?每种方法的优缺点是什么?
有很多选择吗?我没听说过很多。还有其他的AOP框架,还有像spec这样的东西,但是我没有遇到过很多像代码契约这样的项目。
考虑到微软正在积极开发它,并将其集成到Visual Studio中,核心合同类作为.NET 4的一部分,我同意这一点,除非你有一个真正令人信服的理由使用另一种方法。
对我来说,代码契约最大的缺点是静态检查器只在Visual Studio高级/终极版中可用。