第四章:注重实效的偏执
这章讲的是程序员如何把“你不可能写出完美的软件”这一压抑的事情转变为有利条件。
按合约设计(DBC):指的是做某事的期望和陈述。 前条件,开始之前的必要条件。后条件,执行后悔导致的状态。类不变项,类确保在调用者看来,该条件总是为真。
死程序不说谎:要崩溃不要破坏,因为死程序带来的危害通常比坏程序小得多。
何时使用异常:当犯的错误一样时。
怎样配平资源:要有始有终。嵌套分配,对象与异常。
配平与异常:如果抛出异常,怎么保证发生异常之前的所有资源得到处理?这个取决于语言。