7
的區別我查了微軟網站上的差異，但無法真正看到差異。鏈接的網站都低於Contract.Requires and Contract.Ensures
任何額外的解釋將是巨大的
使用Visual Studio C＃
A
回答
7
Requires是前提，這意味着指定的條件必須爲真之前的與被調用的方法相關聯。 Ensures是後置條件，這意味着該方法保證指定的條件將爲真在方法調用完成後。
可能違反前提條件和/或後置條件而該方法正在執行：分別在進入和退出方法時完成測試。 不變條件是一個契約，它說明指定的條件總是成立。
閱讀Bertrand Meyer的Object-Oriented Software Construction瞭解更多[更多]細節。 Meyer的This paper更短[更短]。
相關問題
- 1. Contract.Requires vs Contract.Require
- 2. Contract.Ensures如何工作？
- 3. Contract.Ensures
- 4. Contract.Requires usage
- 5. Contract.Requires拋出PEX錯誤
- 6. Contract.Ensures在多個對象/類鏈碼未經證實的合同
- 7. Contract.Ensures一個OverflowException異常
- 8. Contract.Ensures和異常處理
- 9. 有趣的C＃Contract.Requires錯誤與評論？
- 10. 爲什麼靜態分析忽略雙重<= and > =要求？
- 11. Sql：「Where」and「And」
- 12. rails and rmagick and webfaction
- 13. Dynamic PDO AND and OR
- 14. 爲什麼Contract.Ensures（Contract.Result <...>！= null）不起作用？
- 15. 我可以對IQueryable和IEnumerable執行Contract.Ensures嗎？
- 16. Contract.Ensures應該用於finalizer和Dispose方法嗎？
- 17. 我應該對任何方法結果執行Contract.Ensures嗎？
- 18. &&（AND）and || （或）在IF陳述
- 19. $ this_array = array（「this」，「and」，「this」，「and」，「th」）
- 20. ！important and display：none and .height（）weirdness
- 21. Alloy Look and Feel and Anti-Aliasing
- 22. （OrElse and Or）和（AndAlso and And） - 何時使用？
- 23. Overloading == and！=
- 24. 在Solr查詢中寫AND AND
- 25. PHP str_replace不會取代「AND AND」
- 26. MySQL高級查詢多個AND AND OR
- 27. Multiple Select and Join with LINQ and Lambda
- 28. 用'and'替換爲'and'在PHP
- 29. Sublime Text 2 and Emmet and wrapping lines
- 30. Python string.join（list）last and entry with「and」
不錯的一個。我還會在pluralsight.com上推薦'可證明代碼'或'代碼合同'課程。他們使用微軟代碼合同，通過合同給出了一個非常好的深入設計 –