代码契约组件是对.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)。假定与运行时断语类似，不同之处在于静态查验的办法。假定用于指定“希望”应该契合的条件，而由于某些约束，该条件无法得到编译器的验证。

接口契约为接口指定条件。它们运用在关联于接口的独立类上，由于接口办法只能声明，而不能具有办法体。关于笼统办法契约相同如此。

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

【修改引荐】

1. 浅析.NET渠道编程言语的未来走向
2. .Net渠道下的分布式缓存规划
3. 浅析.NET类型转化的四种办法