第4章 注重实效的偏执
这一章讨论了一个现实的问题，那就是一个程序员不可能写出完美的代码。就像我们平常的作业一样，很少能完美符合要求，总会或多或少存在一些不合理之处，这些不合理让我们程序成为了不完美的，但要去修正往往需要很大的精力。真正懂得实效的程序员会利用这种情况。
我们注重实效的话，往往就好在编码的时候进行预防工作，标记上容易出错的代码，而书本中的程序员甚至连自己都不会信任，防范会更加紧密。而能做到防范性的就是按照合约设计。
合约规定了我们的权利与责任，此外也规定了不遵守的后果，遵照合约进行开发双方都能受益。就像书中提到的DBC协议，为的是确保程序正确性，也就是在使用程序之前要用文档记录要做事情的程序。软件系统中每一个函数和方法都是做某种事情，再开始做之前，合约会寻杂找对应的条件，包括了前条件和后条件，也就是需求和结束，这样便完成了一个合约。
说实话我实在不能明白这些的意义，可能在未来就会运用的上吧。