7
的區別我查了微軟網站上的差異,但無法真正看到差異。鏈接的網站都低於Contract.Requires and Contract.Ensures
任何額外的解釋將是巨大的
使用Visual Studio C#
的區別我查了微軟網站上的差異,但無法真正看到差異。鏈接的網站都低於Contract.Requires and Contract.Ensures
任何額外的解釋將是巨大的
使用Visual Studio C#
Requires
是前提,這意味着指定的條件必須爲真之前的與被調用的方法相關聯。 Ensures
是後置條件,這意味着該方法保證指定的條件將爲真在方法調用完成後。
可能違反前提條件和/或後置條件而該方法正在執行:分別在進入和退出方法時完成測試。 不變條件是一個契約,它說明指定的條件總是成立。
閱讀Bertrand Meyer的Object-Oriented Software Construction瞭解更多[更多]細節。 Meyer的This paper更短[更短]。
不錯的一個。我還會在pluralsight.com上推薦'可證明代碼'或'代碼合同'課程。他們使用微軟代碼合同,通過合同給出了一個非常好的深入設計 –