如何理解.NET4.0代码契约组件
这篇文章将为大家详细讲解有关如何理解.NET 4.0代码契约组件,文章内容质量较高,因此小编分享给大家做个参考,希望大家阅读完这篇文章后对相关知识有一定的了解。
成都创新互联长期为数千家客户提供的网站建设服务,团队从业经验10年,关注不同地域、不同群体,并针对不同对象提供差异化的产品和服务;打造开放共赢平台,与合作伙伴共同营造健康的互联网生态环境。为沛县企业提供专业的成都网站建设、成都网站设计,沛县网站改版等技术服务。拥有十多年丰富建站经验和众多成功案例,为您定制开发。
代码契约组件是对.NET的重要补充,这次我们将提供更为详细的内容。
如果要在.NET 4.0发布之前使用代码契约,我们可以在Visual Studio项目中引用程序集Microsoft.Contracts.dll,该程序集安装在%PROGRAMFILES%/Microsoft/Contracts/PublicAssemblies目录下。.NET 4.0会在mscorlib.dll中包含契约组件。我们可以指定契约验证,可在编译时(静态)或在运行时(动态)执行校验。
契约包含几种类型:前置条件(Preconditions)、后置条件(Postconditions)、对象不变量(Object Invariants)、断言(Assertions)、假定(Assumptions)、量词(Quantifiers)、接口契约(Interface Contracts)和抽象方法契约(Abstract Method Contracts)。
前置条件使用Contract.Requires()进行定义,如果在编译时使用了符号(Symbol)CONTRACTS_FULL或CONTRACTS_PRECONDITIONS,那么IL中就会包含其编译结果。例如:
Contract.Requires( x ! = null ); |
如下所示,前置条件通常作为方法体中的参数验证,如下所示:
public Rational( int numerator, int denominator) { Contract.Requires( denominator ! = 0 ); this .numerator = numerator; this .denominator = denominator; } |
如果不符合Contract.Requires()指定的条件,就会调用Debug.Assert(false),然后调用Environment.FailFast()。如果不管在编译时使用哪个符号,您都希望程序集中包含前置条件,那么可以使用Contract.RequiresAlways()。
当方法结束时,后置条件表示其结果需要满足的契约。它通过Contract.Ensures()方法指定,如下例所示:
public int Denominator { get { Contract.Ensures( Contract.Result() != 0 ); return this .denominator; } } |
虽然似乎在返回结果之前就指定了条件,实际它还是会在返回结果之后,调用者得到结果之前进行验证。
对象不变量则为每个实例指定条件。
ContractInvariantMethod]protected void ObjectInvariant () { Contract. Invariant ( this .denominator ! = 0 ); } |
至于其他类型的契约,断言表示为Contract.Assert(),假定则表示为Contract.Assume()。一个失败的Assert()会调用Debug.Assert(false)。假定与运行时断言相似,不同之处在于静态检验的方式。假定用于指定“期望”应该符合的条件,而由于某些限制,该条件无法得到编译器的验证。
接口契约为接口指定条件。它们使用在关联于接口的独立类上,因为接口方法只能声明,而不能拥有方法体。对于抽象方法契约同样如此。
以下为一个使用契约的类:
.NET契约类代码示例 |
关于如何理解.NET 4.0代码契约组件就分享到这里了,希望以上内容可以对大家有一定的帮助,可以学到更多知识。如果觉得文章不错,可以把它分享出去让更多的人看到。
文章题目:如何理解.NET4.0代码契约组件
当前URL:http://scyanting.com/article/iecdcj.html