引入契約式設計

2021-07-22 17:38:45 字數 859 閱讀 8814

契約式設計規定方法應該對輸入和輸出進行驗證，這樣你便可以保證你得到的資料是可以工作的，一切都是按預期進行的，如果不是按預期進行，異常或是錯誤就應該被返回，下面我們舉的例子中，我們方法中的引數可能會值為null的情況，在這種情況下由於我們沒有驗證，nullreferenceexception異常會報出。另外在方法的結尾處我們也沒***會返回乙個正確的decimal值給呼叫方法的物件。

```


using system;


using system.collections.generic;


using system.linq;


using system.text;


namespace lostechies.daysofrefactoring.samplecode.day25_designbycontract


}}
對上面的**重構是很簡單的，首先我們處理不會有乙個null值的customer物件，檢查我們最少會有乙個product物件。在返回訂單總和之前先確保我們會返回乙個有意義的值。如果上面說的檢查有任何乙個失敗，我們就丟擲對應的異常，並在異常裡說明錯誤的詳細資訊，而不是直接丟擲nullreferenceexception。

using system;


using system.collections.generic;


using system.linq;


using system.text;


using microsoft.contracts;


namespace lostechies.daysofrefactoring.samplecode.designbycontract.after


}}

契約式程式設計

契約是減少大型專案成本的突破性技術。契約由先驗條件 後驗條件 錯誤和不變數等概念組成。契約可以而加到 c 中而無需對語言加以改造，但是卻十分笨拙且不一致。在語言內部支援契約的目的是 給契約乙個一致的觀感 提供工具支援 使編譯器能夠根據從契約中收集的資訊生成更好的 易於管理並強制實行契約 處理契約繼承...

契約式設計（DbC）感想（一）

契約式設計可以理解為正則程式設計的一種實踐 如果用我的三腳貓能力將這種實踐方法形式化的話，大致如下 如有不正確處，請不吝指正 1 對於方法method的precondition postcondition function regularmthod regularfunction general c...

Design by Contract（契約式設計）

design by contract 是bertrand meyer 總結的一項設計技巧 design by contract 的核心是斷言 assertion 所謂 斷言 是指永遠為真的布林型語句，如果不為真，則程式必然存在錯誤。通常情況下，檢查斷言的時機，應該侷限於除錯 debug 階段，而不是...