2019年11月16日
《程序员修炼之道：从小工到专家》读后感（4)
摘要： 注重实效的偏执1.按合约设计DBC关注用文档记载并约定软件的权利与责任，以确保程序的正确性。要注意调用某个函数时的前条件，后条件和类不变项。所以例程和任何潜在的调用者之间的合约可理解为：如果调用这满足了例程的所有前条件，例程应该在保证其完成时，所有的后条件和类不变项将为真。2.死程序不说谎当程序中某 阅读全文
posted @ 2019-11-16 13:27 祈欢 阅读(152) 评论(0) 推荐(0) 编辑