《-基于契约编程-实践》-课件设计（公开).pptVIP

* * * * * * * * * * * * * Design by Contract — Practice 郭东伟 Language Support in C/C++ 和其他语言相比，C/C++特别注重效率，因此不受任何程序员控制的运行期内部检查机制 如：指针检查、数组下标检查、运行期类型检查等 断言的使用（非关键字） assert ASSERT assert()用法 assert宏的原型定义在assert.h中，其作用是如果它的条件返回错误，则终止程序执行 一般在Debug版有效，在Release版不起作用 用法： 在函数开始处检验传入参数的合法性 每个assert最好只检验一个条件 不要使用有副作用的语句 assert和后面的语句应空一行,以形成逻辑和视觉上的一致感 有的地方,assert不能代替条件过滤 例子 double sqrt(double x) { assert( x=0 ); //pre-condition //.... //.... //.... assert( fabs(y*y-x) eps ); //post-condition return y; } ASSERT和VERIFY 在VC环境下一般使用ASSERT和VERIFY 在Debug模式下作用基本一致，二者都对表达式的值进行计算，如果值为非0，则什么事也不做；如果值为0，则输出诊断信息。 在Release模式下效果完全不一样。ASSERT不计算表达式的值，也不会输出诊断信息；VERIFY计算表达式的值，但不管值为0还是非0都不会输出诊断信息。 因为 VERIFY() 违反了断言的思想，不能使程序代码和调试代码完全分离，最终可能会带来很多麻烦。因此，建议尽量少用不用这个宏。 Assert方式的缺点 不能直观地掌握出错地点 不能被捕获和重新处理 出错时不一定要中止，可能上层调用能够解决 如打开文件 在Debug版对性能有一定影响 Language Support in Java assert Expression1; assert Expression1 : Expression2 ; 语法: Expression2 can be any primitive type 从J2SE1.4之后，Java提供一些断言的支持，使用assert保留字 Expression1 must have type boolean or a compile-time error occurs. enabled or disabled 两种形式的 assert. e.g. it could serve as a unique integer code for the assertion Semantics: If assertions are disabled in a class, the assert statements contained in that class have no effect. If assertions are enabled, Expression1 is evaluated: — If it evaluates to false, an AssertionError is thrown. — If Expression1 evaluates to true, Expression2 is not evaluated. If Expression2 is present, then this is evaluated and passed to the constructor of the AssertionError; otherwise the parameterless constructor is used. assert Expression1; assert Expression1 : Expression2 ; new AssertionError(value) returns an assertion error that has the string representation of the value as the errors detail message. If an exception is thrown while either expression is being evaluated, the assert statement completes abruptly, throwing this exception. Although the assert construct is not a full-blown DbC facility, it ca