Design by Contract（契约式设计）

Design by Contract是Bertrand Meyer总结的一项设计技巧

Design by Contract的核心是断言（assertion）。所谓“断言”，是指永远为真的布尔型语句，如果不为真，则程序必然存在错误。通常情况下，检查断言的时机，应该局限于调试（debug）阶段，而不是代码的实际执行阶段。实际上，完成的程序永远不应期望断言会被检查。

Design by Contract使用了三类断言：后继条件（post-conditions），前提条件（pre-conditions），以及不变量（invariants）。前驱条件与后继条件都是针对操作（operation）而言的。所谓