日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

代碼契約組件是對.NET的重要補充，這次我們將提供更為詳細的內(nèi)容。

創(chuàng)新互聯(lián)公司于2013年開始，是專業(yè)互聯(lián)網(wǎng)技術(shù)服務(wù)公司，擁有項目做網(wǎng)站、成都網(wǎng)站制作網(wǎng)站策劃，項目實施與項目整合能力。我們以讓每一個夢想脫穎而出為使命，1280元蚌埠做網(wǎng)站,已為上家服務(wù),為蚌埠各地企業(yè)和個人服務(wù),聯(lián)系電話:028-86922220

如果要在.NET 4.0發(fā)布之前使用代碼契約，我們可以在Visual Studio項目中引用程序集Microsoft.Contracts.dll，該程序集安裝在%PROGRAMFILES%/Microsoft/Contracts/PublicAssemblies目錄下。.NET 4.0會在mscorlib.dll中包含契約組件。我們可以指定契約驗證，可在編譯時（靜態(tài)）或在運行時（動態(tài)）執(zhí)行校驗。

契約包含幾種類型：前置條件（Preconditions）、后置條件（Postconditions）、對象不變量（Object Invariants）、斷言（Assertions）、假定（Assumptions）、量詞（Quantifiers）、接口契約（Interface Contracts）和抽象方法契約（Abstract Method Contracts）。

前置條件使用Contract.Requires()進行定義，如果在編譯時使用了符號（Symbol）CONTRACTS_FULL或CONTRACTS_PRECONDITIONS，那么IL中就會包含其編譯結(jié)果。例如：

Contract.Requires( x ! = null )；

如下所示，前置條件通常作為方法體中的參數(shù)驗證，如下所示：

public Rational( int numerator, int denominator) 
{    Contract.Requires( denominator ! = 0 );    
     this .numerator = numerator;    
     this .denominator = denominator;
}

如果不符合Contract.Requires()指定的條件，就會調(diào)用Debug.Assert(false)，然后調(diào)用Environment.FailFast()。如果不管在編譯時使用哪個符號，您都希望程序集中包含前置條件，那么可以使用Contract.RequiresAlways()。

當方法結(jié)束時，后置條件表示其結(jié)果需要滿足的契約。它通過Contract.Ensures()方法指定，如下例所示：

public int Denominator {    
   get {        
         Contract.Ensures( Contract.Result() != 0 );   
         return this .denominator;    
       }
}

雖然似乎在返回結(jié)果之前就指定了條件，實際它還是會在返回結(jié)果之后，調(diào)用者得到結(jié)果之前進行驗證。

對象不變量則為每個實例指定條件。

ContractInvariantMethod]protected void ObjectInvariant () {    
Contract. Invariant ( this .denominator ! = 0 );
   }

至于其他類型的契約，斷言表示為Contract.Assert()，假定則表示為Contract.Assume()。一個失敗的Assert()會調(diào)用Debug.Assert(false)。假定與運行時斷言相似，不同之處在于靜態(tài)檢驗的方式。假定用于指定“期望”應(yīng)該符合的條件，而由于某些限制，該條件無法得到編譯器的驗證。

接口契約為接口指定條件。它們使用在關(guān)聯(lián)于接口的獨立類上，因為接口方法只能聲明，而不能擁有方法體。對于抽象方法契約同樣如此。

以下為一個使用契約的類：