BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

代码契约组件使用详解

| 作者 Abel Avram 关注 10 他的粉丝 ,译者 张逸 关注 12 他的粉丝 发布于 2009年3月2日. 估计阅读时间: 4 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

InfoQ于不久前发表了.NET代码契约组件提供下载的新闻。这个组件是对.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)。假定与运行时断言相似,不同之处在于静态检验的方式。假定用于指定“期望”应该符合的条件,而由于某些限制,该条件无法得到编译器的验证。

接口契约为接口指定条件。它们使用在关联于接口的独立类上,因为接口方法只能声明,而不能拥有方法体。对于抽象方法契约同样如此。

以下为一个使用契约的类:

contracts

可用链接:InfoQ关于代码契约的新闻代码契约下载(MSI),代码契约的在线文档(PDF),微软研究院的代码契约网站

查看英文原文:Details on Using Code Contracts

 

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

与自己校验抛Exception相比,有啥优势? by happy hippy

请教:
这东西有什么用?自己校验,校验失败就抛出Exception也能达到目的,能否比较下二者的优劣,谢谢/:)

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

1 讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT