知识卡片
契约分清责任
内容
按契约设计用前置条件、后置条件和不变式明确责任。前置条件把检查责任交给调用者，后置条件表达操作承诺，不变式维持类的长期一致性。
参考来源
- 位置：《UML精粹：标准对象建模语言简明指南》第3章《类图：基础》（源文件：_epub-src/EPUB/2.xhtml）
- 结论依据：原文围绕“契约设计使用3种特定的断言”给出定义、对比或使用限制，说明该概念的含义和适用边界，因此可推出本卡片结论。
- 原始内容：契约设计使用3种特定的断言：后置条件、前置条件和不变式。前置条件和后置条件应用于操作。后置条件（post-condition）陈述操作执行后世界看起来应该像什么样子。例如，我们定义数字上...