详解.NET4.0代码契约组件

代码契约组件是对.NET的重要补充，这次我们将提供更为详细的内容。

创新互联公司于2013年开始，是专业互联网技术服务公司，拥有项目做网站、成都网站制作网站策划，项目实施与项目整合能力。我们以让每一个梦想脱颖而出为使命，1280元蚌埠做网站,已为上家服务,为蚌埠各地企业和个人服务,联系电话:028-86922220

如果要在.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)。假定与运行时断言相似，不同之处在于静态检验的方式。假定用于指定“期望”应该符合的条件，而由于某些限制，该条件无法得到编译器的验证。

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

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

标题名称：详解.NET4.0代码契约组件
网页URL：http://www.gawzjz.com/qtweb2/news36/23686.html

网站建设、网络推广公司-创新互联，是专注品牌与效果的网站制作，网络营销seo公司；服务项目有等

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 创新互联