最近阅读了《程序员的修炼之道:从小工到专家》第四章:“注重实效的偏执”首先我明白了一个人的精力是有限的,不可能写出完美的软件,所以
我们会对自己编写的代码可能出现的错误书写另外的代码进行处理。我们要明确每个软件要做的事,规定每个方法应该发挥的作用,要控制好可能
影响每个方法的结果的因素。我明白了要通过合约进行设计,并对输入方法的参数进行控制,要在代码中加入断言进行方法用真判断,当问题发生
时,能够找到出错原因。我了解不变项的重要性以及语义不变项的概念。当使用资源完毕时,要记得释放,不然程序可能会出现读写异常等错误,
分配资源要有始有终。我还明白了如何在一些语言分配资源,还明白了要检查配平。
什么是正确的程序?不多不少,做它声明要做的事情的程序。用文档记载这样的声明,并进行校验,是按合约设计(简称DBC)的核心所在。 软件
系统中的每一个函数和方法都会做某件事情。在开始做某件事情之前,例程对世界的状态可能有某种期望,并且有能力称述系统结束时的状态,Meyer
这样描述这些期望和称述:1、前条件——为调用例程必须为真的条件,例程的需求。违反前条件时,例程不应被调用。传递好数据是调用者的责任,
例如,一个长期运行的,对请求提供服务的程序,很可能会在其主处理循环的顶部的地方等待下一个请求的到达。
TRANSLATE with