合同要求和合同确保的差异
本文关键字：合同 确保 求和 | 更新日期: 2023-09-27 18:37:08
我在微软网站上查找了差异，但实际上看不到差异。 网站链接如下
- 合同.确保
- 合同要求
任何额外的解释都会很棒
使用 Visual Studio c#
Requires是一个 前提条件，这意味着在调用方法之前指定的条件必须为真。 Ensures 是一个后置条件，这意味着该方法保证在方法调用完成后指定的条件将为 true。
可能会违反前置条件和/或后置条件：测试分别在进入和退出方法时完成。不变条件是一种合约，它说指定的条件始终成立。
阅读Bertrand Meyer的面向对象软件构造，了解更多[更多]细节。迈耶的这篇论文更短[更短]。