ASSERT

原创 2011年01月25日 10:31:00

编写代码时,我们总是会做出一些假设,断言就是用于在代码中捕捉这些假设,可以将断言看作是异常处理的一种高级形式。断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言,而在部署时禁用断言。同样,程序投入运行后,最终用户在遇到问题时可以重新起用断言。

 

常见的断言特点:

      前置条件断言:代码执行之前必须具备的特性  后置条件断言:代码执行之后必须具备的特性

  前后不变断言:代码执行前后不能变化的特性

 

断言使用方法:

  断言可以有两种形式  1.assert Expression1  2.assert Expression1:Expression2

  其中Expression1应该总是一个布尔值,Expression2是断言失败时输出的失败消息的字符串。如果Expression1为假,则抛出一个 AssertionError,这是一个错误,而不是一个异常,也就是说是一个不可控制异常(unchecked Exception),AssertionError由于是错误,所以可以不捕获,但不推荐这样做,因为那样会使你的系统进入不稳定状态。

 

何时需要使用断言:

  1.可以在预计正常情况下程序不会到达的地方放置断言 :assert false  

      2.断言可以用于检查传递给私有方法的参数。(对于公有方法,因为是提供给外部的接口,所以必须在方法中有相应的参数检验才能保证代码的健壮性) 

    3.使用断言测试方法执行的前置条件和后置条件

  4.使用断言检查类的不变状态,确保任何情况下,某个变量的状态必须满足。(如age属性应大于0小于某个合适值)

 

什么时候不需要使用断言:

  断言语句不是永远会执行,可以屏蔽也可以启用  因此: 

    1.不要使用断言作为公共方法的参数检查,公共方法的参数永远都要执行

  2.断言语句不可以有任何边界效应,不要使用断言语句去修改变量和改变方法的返回值

 

 

VC中TRACE ASSERT VERIFY之用法.doc

  • 2010年03月09日 19:39
  • 20KB
  • 下载

Java 之 assert (断言)

我们知道C/C++语言中有断言的功能(assert)。在Java SE 1.4版本以后也增加了断言的特性。 断言是为了方便调试程序,并不是发布程序的组成部分。理解这一点是很关键的。 默认情况下,J...
  • czjuttsw
  • czjuttsw
  • 2013年01月05日 14:02
  • 11074

STM32中assert_param的使用

  • 2015年06月26日 16:28
  • 64KB
  • 下载

vc中ASSERT()和VERIFY()区别

  • 2015年06月09日 19:09
  • 29KB
  • 下载

#define assert_param(expr) ((void)0) 这是个宏定义,但是我真是不知道(void)0能执行什么操作

问题:#define assert_param(expr) ((void)0) 这是个宏定义,但是我真是不知道(void)0能执行什么操作 具体的定义和用法在下面 void MY_NVIC_SetVe...

assert.h头文件

  • 2014年12月03日 15:35
  • 689B
  • 下载

assert_param-转载.txt

  • 2011年12月12日 20:15
  • 2KB
  • 下载

Python 3语法小记(六)条件、循环和assert、pass、del

条件: if 条件:     语句块 elif:     语句块 else:     语句块 elif 表示 else if 这居然是合法的!!!1 >>> if 1 < x < 2: p...
  • jcjc918
  • jcjc918
  • 2013年08月01日 13:06
  • 10585

assert函数

  • 2012年03月10日 22:21
  • 50KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:ASSERT
举报原因:
原因补充:

(最多只允许输入30个字)