Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/EmptyTag/148.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
C# MS代码契约运行时检查(非静态检查)的替代方案_C# - Fatal编程技术网

C# MS代码契约运行时检查(非静态检查)的替代方案

C# MS代码契约运行时检查(非静态检查)的替代方案,c#,C#,我正在寻找MS代码合同的轻量级替代品。基本上是合同的备选方案。要求和联系。确保。我甚至不关心重写-只是一些简单的东西,我可以插入检查参数和结果。例如,我确实找到了,但现在已经4岁了 Greg您可以查看Lokad共享库或其中的一部分:出于好奇,您在代码契约中发现了什么“重量级”?总体来说,我喜欢它,但它在Silverlight应用程序中,当我尝试启用运行时检查时,我得到一个错误,说RuntimeContractsFlags不能添加到已知类型的列表中,因为它已经存在。一个我无法解决的错误。我敢肯定,

我正在寻找MS代码合同的轻量级替代品。基本上是合同的备选方案。要求和联系。确保。我甚至不关心重写-只是一些简单的东西,我可以插入检查参数和结果。例如,我确实找到了,但现在已经4岁了


Greg

您可以查看Lokad共享库或其中的一部分:

出于好奇,您在代码契约中发现了什么“重量级”?总体来说,我喜欢它,但它在Silverlight应用程序中,当我尝试启用运行时检查时,我得到一个错误,说RuntimeContractsFlags不能添加到已知类型的列表中,因为它已经存在。一个我无法解决的错误。我敢肯定,在你的情况下,寻找替代方案不是正确的方法。最好解决您的特定问题。是的,我相信您是对的。遗憾的是,自2011年以来似乎没有新的下载:(@MatíasFidemrAzer是的,我认为大多数LIB的开发已经停止,因为MS代码契约在大多数情况下都是一个很好的解决方案。@blueling,谢谢,这看起来很有趣,我也很喜欢流畅的界面。@blueling BTW CodeContracts很好,但契约的编译器仍然是MS的研究项目。这非常令人遗憾。CodeContractscts是在.NET 4.0中引入的。我们是在谈论2009年还是2010年初。CC编译器非常慢,在激活静态检查时非常慢。我仍然想知道如何使用PostSharp执行一个新的实现契约设计的库。我相信这将是最终的解决方案,不是吗?R#已经这样做了吗?