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

栏目: ASP.NET · 发布时间: 6年前

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

阅读关于System.Diagnostics.Contracts.Contract受静态类影响的静态类后,我很高兴,并立即开始对Call.Requires()和Contract.Ensures()的调用进行编码.

我想这只是因为我的代码是非常棒的,没有bug的,检查那些电话实际上做的只是直到最近才出现.一个错误滑过来,我意识到这些电话没有做任何事情!我本来以为他们至少在违反条件时抛出异常,但没有这样的运气.

我错过了什么吗?有人知道这是什么意思吗?

the Contract Class page at MSDN
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.

http://stackoverflow.com/questions/2883717/so-do-c4-0-code-contracts-actually-do-anything


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

查看所有标签

猜你喜欢:

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

系统程序员成长计划

系统程序员成长计划

李先静 / 人民邮电出版社 / 2010-04 / 45.00

在学习程序开发的过程中,你是否总是为自己遇到的一些问题头疼不已,你是否还在为写不出代码而心急如焚?作为软件开发人员,你是否时时为自己如何成为一名合格的程序员而困惑不已?没关系,本书将为你排忧解难。 这是一本介绍系统程序开发方法的书。书中结合内容详尽的代码细致讲述了不少底层程序开发基础知识,并在逐步深入的过程中介绍了一些简单实用的应用程序,最后还讲述了一些软件工程方面的内容,内容全面,语言生动......一起来看看 《系统程序员成长计划》 这本书的介绍吧!

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

图片转BASE64编码
图片转BASE64编码

在线图片转Base64编码工具

XML 在线格式化
XML 在线格式化

在线 XML 格式化压缩工具