那么C#4.0代码合同实际上做什么呢？

内容简介：阅读关于System.Diagnostics.Contracts.Contract受静态类影响的静态类后,我很高兴,并立即开始对Call.Requires()和Contract.Ensures()的调用进行编码.我想这只是因为我的代码是非常棒的,没有bug的,检查那些电话实际上做的只是直到最近才出现.一个错误滑过来,我意识到这些电话没有做任何事情！我本来以为他们至少在违反条件时抛出异常,但没有这样的运气.我错过了什么吗？有人知道这是什么意思吗？

You must use a binary rewriter to  insert run-time enforcement of  contracts. Otherwise, contracts such  as the Contract.Ensures method can  only be tested statically and will not  throw exceptions during run time if a  contract is violated. You can download  the binary rewriter CCRewrite from  Code Contracts on the MSDN DevLabs Web  site. CCRewrite comes with a Visual  Studio add-in that enables you to  activate run-time contract enforcement  from the project Properties page. The  binary rewriter and the Visual Studio  add-in do not ship with Visual Studio  2010 or the Windows SDK.

以上所述就是小编给大家介绍的《那么C#4.0代码合同实际上做什么呢？》，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持！

关注我们，获取更多IT资讯^_^

查看所有标签

• 实际上你已经懂的react高阶组件
• DevOps工程师实际上是做什么的？
• C/C++三元运算符实际上是否具有与赋值运算符相同的优先级？
• 算法实际应用集
• 基于实际场景的架构攻击
• 理解Go接口的实际应用

本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。