程式碼契約
.NET 通過 System.Diagnostics 名稱空間中的 Contracts 類支援契約式設計，並在 .NET 4.0 中引入。Code Contracts API 包括用於程式碼的靜態和執行時檢查的類，並允許你在方法中定義前置條件，後置條件和不變數。前提條件指定在方法可以執行之前引數必須滿足的條件，在方法完成時驗證的後置條件，以及不變數定義在方法執行期間不改變的條件。
為什麼需要程式碼契約？
在應用程式執行時跟蹤應用程式的問題是所有開發人員和管理員最關心的問題之一。跟蹤可以以多種方式執行。例如 -
-
你可以在我們的應用程式上應用跟蹤，並在應用程式執行時獲取應用程式的詳細資訊
-
你可以在執行應用程式時使用事件日誌記錄機制。可以使用事件檢視器檢視訊息
-
你可以在特定時間間隔後應用效能監視，並從應用程式中寫入實時資料。
程式碼約定使用不同的方法來跟蹤和管理應用程式中的問題。而不是驗證從方法呼叫返回的所有內容，程式碼契約在前提條件，後置條件和方法的不變數的幫助下，確保進入和離開方法的所有內容都是正確的。