.NET 4.0中的新功能介紹：契約式設計 (Design By Contracts)

什麼是契約 我們先來看一個很簡單的例子： Void WordList.Insert(string word) 這個函數負責將word以升序插入到WordList中的單詞列表中，word不可以爲NULL。 上面這些說明文字都是用來描述此函數的行爲的。當使用該函數的調用者看到這些說明文字的時候，便知道函數應該如何調用以及在不同情況下的函數行爲，換言之，上面這段說明文字簡單的描述了函數調用者和被調用者的

>>阅读原文<<