资源描述
单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,Design by Contract,Practice,郭东伟,Language Support in C/C+,和其他语言相比，,C/C+,特别注重效率，因此不受任何程序员控制的运行期内部检查机制,如：指针检查、数组下标检查、运行期类型检查等,断言的使用（非关键字）,assert,ASSERT,assert(),用法,assert,宏的原型定义在,中，其作用是如果它的条件返回错误，则终止程序执行,一般在,Debug,版有效，在,Release,版不起作用,用法：,在函数开始处检验传入参数的合法性,每个,assert,最好只检验一个条件,不要使用有副作用的语句,assert,和后面的语句应空一行,以形成逻辑和视觉上的一致感,有的地方,assert,不能代替条件过滤,例子,double sqrt(double x),assert(x=0);/pre-condition,/.,/.,/.,assert(fabs(y*y-x)0,./Set the refresh interval,如：,Postconditions,Postconditions are best implemented as asserts,whether or not,they are specified in,public,methods.,/Returns a BigInteger of value(this-1 mod m),public BigInteger modInverse(BigInteger m),if(m.signum 0 and precisionRequired 10e-9,ensure abs(answer*answer-x)10e-15,keywords,require else,are used for,preconditions,and,or,the original and the new,preconditions,keywords,ensure,then,are used for,postconditions,and,and,the,original and the new,postconditions,.,Eiffel,的例子,component,CUSTOMER_MANAGER,count:,INTEGER,id_active(an_id:CUSTOMER_ID):,BOOLEAN,add(a_customer:BASIC_CUSTOMER_DETAILS),require,id_not_already_active,not id_active(a_customer.id),ensure,count_increased,count=old count+1,customer_id_now_active,id_active(a_customer.id),name_for(an_id:CUSTOMER_ID):,STRING,require,id_active:,id_active(anid),set_name(an_id:CUSTOMER_ID;a_name:,STRING,),require,id_active:,id_active(anid),ensure,name_set:,name_for(an_id).is_equal(a_name),invariant,count_never_negative:,count=0,end,Effiel,运行时检查,Stopped in object 0 xE96978,Class:CUSTOMER_MANAGER,Feature:add,Problem:Precondition violated,Tag:id_not_already_active,Arguments:,a_customer:BASIC_CUSTOMER_DETAILS0 xE9697C,Call Stack:,CUSTOMER_MANAGER:add,Was called by CUSTOMER_MANAGER_UIF change_customer,提前崩溃原则,尽早在错误点崩溃,便于发现错误,便于定位错误,不回避错误，避免鸵鸟态度,前置条件和后置条件处进行检查,断言与单元测试,错误和异常,错误,Error,应该预料到，一般能在调用的上一级解决,函数调用返回值检查,系统调用状态检查,异常,Exception,不能预料原因,如无法打开必须的文件,网络传输错误,通常无法在本地解决，以至于不能预计会在调用层次的哪一级（直到用户交互）解决,严重失效,Fault,不能预料出现，而且可能在任何地点出现,内存溢出,外部硬件错误,通常无法在程序内解决,异常处理,非结构化异常处理,If then,就地处理,结构化异常处理,throw,try catch,可以以类的方式定义异常的类别和层次,重新审视,DbC,调用者（应用程序等）和被调用者（库函数、组件库等）是平等的，都有权利和义务的说明。,检查前置条件是一种权利；而传统上模块中检查错误被认为是一种义务,If(pointer=NULL),assert(pointer!=NULL),当出现错误，也就是契约（特别是前置条件）遭到破坏时，通常需要先检查调用者,重新审视,DbC,明确错误和异常的关系,契约遭到破坏，是一种错误,满足前置条件下，无法正常得到结果，是一种异常，需要抛出,设计接口必须设计契约,尽可能将环境在准备好，然后传递给被调用者,int ReadFile(const char*fn),FILE*fp=fopen(fn);,assert(fp);,int ReadFile(FILE*fp),assert(fp);,
展开阅读全文