<b>概念：</b>本文中的”引入契約式設計”是指我們應該對應該對輸入和輸出進行驗證，以確定系統不會出現我們所想象不到的異常和得不到我們想 要的結果。
<b>正文：</b>契約式設計規定方法應該對輸入和輸出進行驗證，這樣你便可以保證你得到的資料是可以工作的，一切都是按預期進行的，如果不是按 預期進行，異常或是錯誤就應該被傳回，下面我們舉的例子中，我們方法中的參數可能會值為null的情況，在這種情況下由于我們沒有驗 證，NullReferenceException異常會報出。另外在方法的結尾處我們也沒有保證會傳回一個正确的decimal值給調用方法的對象。
這會增強整個系統的穩定性和健壯性。
本文轉自KnightsWarrior51CTO部落格，原文連結：http://blog.51cto.com/knightswarrior/342482 ，如需轉載請自行聯系原作者
![關于建立者模式[圖]](data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACwAAAAAAQABAAACAkQBADs=)