按照合约的设计
与计算机系统打交道很难，与人打交道更难，作为一个族群，我们花费在交往上的问题时间更长，在过去的几千年里，我们应用于编写软件的坦率的方案就是合约，
合约可一规定你的权利与责任，也规定对方的权力与责任此外，还有怪鱼任何一方没有遵守合约后果的约定。
DBC
为eiffel语言发展了按合约设计的概念。这是一种简单并且强大的技术
实现DBC
如果语言中不实现DBC，只能走这么远了。
语言支持
有内建的DBC 支持的语言自动编译器，你获得的最大的好处因为所有的代码库必须遵守他们的合约
DBC与早崩溃
通过早崩溃，在问题现场找到和诊断问题要容易很多
不变项的其他用法
为目前为止，我们已经讨论了适用于单个方法的前条件和后条件，以及应用于类中的不变项。
原文：https://www.cnblogs.com/sunhongbin/p/11946900.html