详解.NET 4.0代码契约组件

开发 后端
.NET中的代码契约组件是.NET平台的重要补充,本文详细介绍了.NET 4.0的代码契约,并对契约种类和使用做了详细讲解。

代码契约组件是对.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契约类代码示例

【编辑推荐】

  1. 浅析.NET平台编程语言的未来走向
  2. .Net平台下的分布式缓存设计
  3. 浅析.NET类型转换的四种方法
责任编辑:佚名 来源: InfoQ
相关推荐

2009-03-23 10:54:12

.NET契约式编程编程思想

2009-03-11 10:29:23

代码契约.NETCLR

2009-07-24 10:00:38

.NET 4.0内存映

2015-07-21 15:35:47

代码总结源码

2009-12-04 09:14:05

.NET 4.0

2009-12-28 10:04:59

.NET 4.0数组

2010-07-02 09:25:37

.NET 4.0可扩展

2009-12-18 09:38:27

.NET 4.0并行计

2009-12-30 10:21:36

.NET 4.0

2009-12-14 16:04:23

MyEclipse 6

2009-12-18 10:24:28

VS 2010代码

2009-12-15 13:39:43

2009-12-14 10:42:11

VS 2008代码

2021-12-30 11:30:13

人工智能机器学习技术

2009-12-15 17:29:59

VS 2008代码

2020-06-05 14:48:11

零代码低代码开发

2022-06-30 07:48:06

Dooring低代码零代码

2021-11-29 17:29:14

帆软智数大会

2010-01-14 16:21:14

VC++6.0代码

2021-11-04 08:06:47

代码编排平台
点赞
收藏

51CTO技术栈公众号